Романенко И. Б. Машинные методы построения вывода в некоторых неклассических исчислениях

Объект исследования: Процесс автоматического построения вывода в неклассических логиках. Цель исследования: Разработать исчисления резолюционного типа для ДСМ-логики и ситуационной логики. Методы исследования и аппаратура: Методы математической логики. теории множеств, теории графов, современные методы программирования. Аппаратура ПЭВМ IВМ. Теоретические результаты и новизна: Разработаны резолюционные исчисления и доказана их полнота. Предложены расширенные правила поглощения и факторизации. Практические результаты и новизна: Разработана методика создания и реализованы экспериментальные версии программ автоматического поиска вывода для ДСМ-логики и ситуационной логики. Предмет и степень внедрения: Программа для ДСМ-логики внедрена в рамках систем СНЕSS (ВИНИТИ РАН). Сфера (область) использования: Экспертные и другие интеллектуальные системы.