Знайдено документів: 1
Інформація × Реєстраційний номер 0493U003183, Кандидатська дисертація На здобуття к.т.н. Дата захисту 29-06-1993 Статус Запланована Назва роботи Машинные методы построения вывода в некоторых неклассических исчислениях Здобувач Романенко Игорь Борисович, Керівник Коваль В.Н. Опонент Литвинов В.В. Опонент Дегтярев А.И. Опис Объект исследования: Процесс автоматического построения вывода в неклассических логиках. Цель исследования: Разработать исчисления резолюционного типа для ДСМ-логики и ситуационной логики. Методы исследования и аппаратура: Методы математической логики. теории множеств, теории графов, современные методы программирования. Аппаратура ПЭВМ IВМ. Теоретические результаты и новизна: Разработаны резолюционные исчисления и доказана их полнота. Предложены расширенные правила поглощения и факторизации. Практические результаты и новизна: Разработана методика создания и реализованы экспериментальные версии программ автоматического поиска вывода для ДСМ-логики и ситуационной логики. Предмет и степень внедрения: Программа для ДСМ-логики внедрена в рамках систем СНЕSS (ВИНИТИ РАН). Сфера (область) использования: Экспертные и другие интеллектуальные системы. Дата реєстрації 1993-06-29 Додано в НРАТ 2020-05-17 Закрити
Дисертація кандидатська
Машинные методы построения вывода в некоторых неклассических исчислениях
Романенко Игорь Борисович. Машинные методы построения вывода в некоторых неклассических исчислениях : к.т.н. : спец.. 05.25.05 - : дата захисту 1993-06-29; Статус: Захищена; Институт кибернетики им. В.М.Глушкова НАН Украины. – , 0493U003183.
Знайдено документів: 1

Оновлено: 2026-03-28


Роздрукувати цю сторінку