|
ПРОЦЕССЫ УПРАВЛЕНИЯ
Абдуктивные рассуждения в задачах объяснения наблюдаемого
С. Н. Васильев Институт проблем управления им. В. А. Трапезникова РАН, Москва, Россия
Аннотация:
В проблематику искусственного интеллекта, управления и принятия решений при неполной или недостоверной информации входит широкий класс задач абдуктивного объяснения, в том числе задачи в терминах “причина–эффект”. Работа посвящена логическому формированию гипотез, объясняющих наблюдаемое. Предлагаются средства представления знаний и вывода гипотез. Вводится язык, обладающий свойством так называемой подстановочности. Свойства языка и вводимых в нем исчислений обеспечивают абдукцию путем сочетания дедукции с гипотезированием. В отличие от известных логических методов абдукции, предложенные средства обеспечивают получение гипотез (минорант), необходимых и достаточных для формального объяснения наблюдаемого. На основе минорант в сочетании с базовой теорией предметной области формируются достоверные причины наблюдаемого или находятся релевантные обстоятельства, выводящие на эти причины. При этом в ситуациях наличия также эмпирических данных эти причины и обстоятельства могут формироваться и в правдоподобных версиях. Рассматриваются примеры из техники и медицины.
Ключевые слова:
абдуктивные рассуждения, правдоподобный вывод, объяснение наблюдаемого, диагностика, искусственный интеллект, интеллектное управление.
Поступило: 01.06.2020 После доработки: 01.06.2020 Принято к публикации: 04.06.2020
Образец цитирования:
С. Н. Васильев, “Абдуктивные рассуждения в задачах объяснения наблюдаемого”, Докл. РАН. Матем., информ., проц. упр., 493 (2020), 90–94; Dokl. Math., 102:1 (2020), 337–341
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/danma101 https://www.mathnet.ru/rus/danma/v493/p90
|
Статистика просмотров: |
Страница аннотации: | 138 | PDF полного текста: | 62 | Список литературы: | 17 |
|