RUS  ENG
Полная версия
ЖУРНАЛЫ // Доклады Российской академии наук. Математика, информатика, процессы управления // Архив

Докл. РАН. Матем., информ., проц. упр., 2020, том 493, страницы 90–94 (Mi danma101)

ПРОЦЕССЫ УПРАВЛЕНИЯ

Абдуктивные рассуждения в задачах объяснения наблюдаемого

С. Н. Васильев

Институт проблем управления им. В. А. Трапезникова РАН, Москва, Россия

Аннотация: В проблематику искусственного интеллекта, управления и принятия решений при неполной или недостоверной информации входит широкий класс задач абдуктивного объяснения, в том числе задачи в терминах “причина–эффект”. Работа посвящена логическому формированию гипотез, объясняющих наблюдаемое. Предлагаются средства представления знаний и вывода гипотез. Вводится язык, обладающий свойством так называемой подстановочности. Свойства языка и вводимых в нем исчислений обеспечивают абдукцию путем сочетания дедукции с гипотезированием. В отличие от известных логических методов абдукции, предложенные средства обеспечивают получение гипотез (минорант), необходимых и достаточных для формального объяснения наблюдаемого. На основе минорант в сочетании с базовой теорией предметной области формируются достоверные причины наблюдаемого или находятся релевантные обстоятельства, выводящие на эти причины. При этом в ситуациях наличия также эмпирических данных эти причины и обстоятельства могут формироваться и в правдоподобных версиях. Рассматриваются примеры из техники и медицины.

Ключевые слова: абдуктивные рассуждения, правдоподобный вывод, объяснение наблюдаемого, диагностика, искусственный интеллект, интеллектное управление.

УДК: 51.01+517.11

Поступило: 01.06.2020
После доработки: 01.06.2020
Принято к публикации: 04.06.2020

DOI: 10.31857/S2686954320040190


 Англоязычная версия: Doklady Mathematics, 2020, 102:1, 337–341

Реферативные базы данных:


© МИАН, 2024