?
A Case-Based Reasoning Approach to Program Synthesis
.
Корухова Ю. С., Fastovets N.
Петров К. А., Логос 2025 Т. 35 № 5 С. 93–114
Концепт задействования отсылает к идее контингентности границы тела/техники и в этом качестве выступает основанием для появления множественных онтологий тел в текстах Аннмари Мол. Однако задействование не означает бесконечной податливости тела. Для авторов, работающих в рамках исследований науки и технологий, тело обладает собственной несводимой материальностью. Исследуя опыт больных сахарным диабетом, Мол и Джон Ло показывают существующие ...
Добавлено: 18 ноября 2025 г.
Новикова А. В., Вестник Пермского национального исследовательского политехнического университета. Механика (Вестник ПНИПУ. Механика)*** 2013 № 07 С. 138–145
Рассмотрены взгляды отечественных и зарубежных ученых в лингвистике, логике и философии на теорию возможных миров; представлены децентрированные модели возможных миров. ...
Добавлено: 31 октября 2023 г.
Samoylova K., Замятина Е. Б., Proceedings of the Institute for System Programming of the RAS 2022 Vol. 34 No. 2 P. 67–76
Добавлено: 13 февраля 2023 г.
Обсуждаются проблемы интеграции информации в областях с интенсивным использованием данных. Проанализированы существующие подходы к интеграции. Предложен новый подход к интеграции, основанный на онтологической и продукционной моделях знаний, а также формальная теоретико-множественная модель, лежащая в его основе. Практические преимущества подхода продемонстрированы на примере концептуализации задачи выявления ключевых мостов из области анализа социальных сетей. ...
Добавлено: 22 октября 2022 г.
27 сентября Правительственной комиссией по цифровому развитию утверждена Концепция развития технологий машиночитаемого права. По мнению Минэкономразвития, машиночитаемое право будет востребовано в законотворчестве, судопроизводстве, при заключении сделок, стандартизации и сертификации. Мы обратились к экспертам с просьбой прокомментировать новый документ. Какое влияние он окажет на развитие права? Какие вызовы несет в себе распространение машиночитаемого права? ...
Добавлено: 29 декабря 2021 г.
Добавлено: 14 декабря 2021 г.
Лычкина Н. Н., , in: World Organization of Systems and Cybernetics 18. Congress-WOSC2021: Systems Approach and Cybernetics: Engaging for the Future of MankindVol. 495.: Springer, 2022. Ch. III P. 191–204.
Добавлено: 31 октября 2021 г.
Гельцер Б. И., Горбач Т. А., Грибова В. В. и др., Труды Института системного программирования РАН 2021 Т. 33 № 4 С. 99–116
В работе проводится сравнение трех методов синтаксического анализа текстов жалоб пациентов, извлеченных из электронных медицинских карт. В качестве контрольного теста используются существующие библиотеки синтаксического анализа текста. В качестве альтернативы предлагается использование онтологии для исправления ошибок, допущенных синтаксическим анализатором, либо полное формирование синтаксических зависимостей по данным, хранимым в онтологии. В статье показано что ограниченный набор правил, ...
Добавлено: 20 октября 2021 г.
Сапарина И. О., Осокин А. А., , in: Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing (EMNLP).: Association for Computational Linguistics, 2021. P. 8984–8998.
Добавлено: 14 октября 2021 г.
Лычкина Н. Н., , in: Systems approach and cybernetics, directed towards the future of mankind. Collection of materials of the 18th Congress WOSC2021 “Systems approach and cybernetics, directed to the future of mankind”.: M.: Cogito-Centre–IPRAS Publishing House, 2021. P. 153–154.
Добавлено: 12 октября 2021 г.
Дударев В. А., Киселева Н. Н., В кн.: XV Российская конференция (с международным участием) по теплофизическим свойствам веществ (РКТС-15), 15–19 октября 2018, Москва. Сборник тезисов.: [б.и.], 2019. С. 112–112.
В последние годы популярным становится использование онтологий (на OWL) для описания предметных областей и создания фундамента для интеграции тематических информационных систем (ИС). Например, в неорганическом материаловедении известны несколько онтологий, использующихся для консолидации информации [1, 2]. Одним из их существенных недостатков является неоправданное упрощение описания самого рассматриваемого вещества (или материала).
Важность многоуровневого описания химического объекта показывается на ...
Добавлено: 31 октября 2019 г.
Замятин Д. Н., В кн.: На самой черте горизонта: платоновские пространства. Поэтика Андрея Платонова. Сборник 4 / Ред. Е. А. Яблоков. — М.: ПОЛИМЕДИА, 2019. — 176 с.: М.: Полимедиа, 2019. С. 17–41.
Роман Андрея Платонова «Чевенгур» – пример мощного пространственного воображения, трансформирующего онтологии самого языка, в данном случае – русского. В то же время этот роман является феноменологическим свидетельством решающего изменения самих пространственных онтологий, связанного с «взрывом» представлений о пространстве-времени начала XX века . Вместе с тем, реальность событий и ключевого нарратива «Чевенгура» оказывается действительно «судьбоносной», если ...
Добавлено: 27 сентября 2019 г.
Герасимова О. А., Kikot S., Захарьящев М. В., , in: Description Logic, Theory Combination, and All That.: Berlin: Springer, 2019. P. 329–351.
It has recently been shown that first-order- and datalog-rewritability of ontology-mediated queries (OMQs) with expressive ontologies can be checked in NExpTime using a reduction to CSPs. In this paper, we present a case study for OMQs with Boolean conjunctive queries and a fixed ontology consisting of a single covering axiom 𝐴 -> 𝐹 v 𝑇, A -> F v T, possibly supplemented with ...
Добавлено: 29 июля 2019 г.
Berlin: Springer, 2019.
This Festschrift has been put together on the occasion of Franz Baader's 60th birthday to celebrate his fundamental and highly influential scientific contributions. The 30 papers in this volume cover several scientific areas that Franz Baader has been working on during the last three decades, including description logics, term rewriting, and the combination of decision procedures. We hope that ...
Добавлено: 29 июля 2019 г.