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