Правдоподобные выводы и правдоподобные рассуждения

Работа посвящена центральному элементу любой «интеллектоподобной» системы формальным моделям рассуждений (правдоподобных рассуждений, выводов) и методам их автоматической реализации в компьютерных системах. Дается классификация типов выводов и краткая характеристика исторического развития соответствующих теорий. Подробно представлен так называемый ДСМ-метод автоматического порождения гипотез, используемый в решателе типа «правдоподобный вывод + достоверный вывод» логической информационно-вычислительной системы (ЛИВС).
Библ. 75.