?
A Case-Based Reasoning Approach to Program Synthesis
.
Корухова Ю. С., Fastovets N.
Глушко А. А., Незнанов А. А., В кн.: Перспективные материалы и технологии (ПМТ-2024) : Сборник докладов Международной научно-технической конференции ИПТИП РТУ МИРЭА, Москва, 12–16 апреля 2024 годаТ. 1.: М.: РТУ МИРЭА, 2024. С. 380–385.
Работа раскрывает основные принципы, проектные решения и инструменты, которые легли в основу программной системы для анализа результатов реальных экспериментов и проведения вычислительных экспериментов в химии и материаловедения. Акцент сделан на формализации знания на нескольких уровнях и повышении эффективности работы экспертов предметной области за счёт обогащения классического представления данных разделяемыми онтологиями. Это, в свою очередь, облегчает ...
Добавлено: 29 апреля 2026 г.
Петров К. А., Логос 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 г.