Программный решатель для расширенных шаговых теорий логики высказываний
ответные множества множество убеждений расширенные шаговые теории логический решатель
Программа предназначена для обработки и решения задач, записанных на языке расширенных шаговых теорий логики высказываний. Программный решатель управляет процессом логического вывода в соответствии с принципами расширенных шаговых теорий, в частности управляет изменением часов, активацией правил вывода. Программный решатель позволяет отслеживать и модифицировать множество убеждений на каждом шаге вывода и предоставляет ответ в виде итогового множества убеждений.
в системах поддержки принятия решений
Игорь
Фоминых
Борисович
профессор
Доктор технических наук
Профессор
-
-
РОССИЯ
Виктор
Драгунов
Карпович
проректор по научной работе
РОССИЯ
28.23.20
Формирование решений в интеллектуальной среде. Модели рассуждений
01.02.EP
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
Николай
Алексеев
Павлович
разработка исходного текста программы 40%
РОССИЯ
Кристина
Кравченко
Сергеевна
разработка исходного текста программы 10%
РОССИЯ
Александр
Маслов
Игоревич
разработка исходного текста программы 40%
РОССИЯ
Игорь
Фоминых
Борисович
разработка исходного текста программы 10%
РОССИЯ
РФФИ
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ УЧРЕЖДЕНИЕ "РОССИЙСКИЙ ФОНД ФУНДАМЕНТАЛЬНЫХ ИССЛЕДОВАНИЙ"
1037739411489
Организация
Федеральное государственное бюджетное учреждение "Российский фонд фундаментальных исследований"
Федеральные государственные бюджетные учреждения
ФГБОУ ВО "НИУ "МЭИ"
федеральное государственное бюджетное образовательное учреждение высшего образования "Национальный исследовательский университет "МЭИ"
1027700251644
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные бюджетные учреждения