Search academic texts

Information × Registration Number 0493U003183, Candidate dissertation Status к.т.н. Date 29-06-1993 popup.evolution o Title Author Романенко Игорь Борисович, popup.head Коваль В.Н. popup.opponent Литвинов В.В. popup.opponent Дегтярев А.И. Description Объект исследования: Процесс автоматического построения вывода в неклассических логиках. Цель исследования: Разработать исчисления резолюционного типа для ДСМ-логики и ситуационной логики. Методы исследования и аппаратура: Методы математической логики. теории множеств, теории графов, современные методы программирования. Аппаратура ПЭВМ IВМ. Теоретические результаты и новизна: Разработаны резолюционные исчисления и доказана их полнота. Предложены расширенные правила поглощения и факторизации. Практические результаты и новизна: Разработана методика создания и реализованы экспериментальные версии программ автоматического поиска вывода для ДСМ-логики и ситуационной логики. Предмет и степень внедрения: Программа для ДСМ-логики внедрена в рамках систем СНЕSS (ВИНИТИ РАН). Сфера (область) использования: Экспертные и другие интеллектуальные системы. Registration Date 1993-06-29 popup.nrat_date 2020-05-17 Close