Статья: РАЗРАБОТКА ПРОТОТИПА РЕШАТЕЛЯ ДЛЯ РАСШИРЕННЫХ ШАГОВЫХ ТЕОРИЙ ЛОГИКИ ВЫСКАЗЫВАНИЙ (2022)

Читать онлайн

В настоящее время проводятся активные исследования возможностей использования неклассических логик в моделировании рассуждений когнитивного агента. В статье рассматривается проблема разработки и реализации прототипа решателя расширенных шаговых теорий в случае, когда решения по управлению сложным техническим объектом принимаются в условиях жестких временных ограничений. Рассматривается логическая система, основанная на использовании шаговых теорий с двумя видами отрицания, - система расширенных шаговых теорий. Использование двух видов отрицания позволяет выводить как истинные факты, так и факты-убеждения, что важно при моделировании рассуждений человека. Основное внимание уделяется вопросу организации процедуры вывода на основе использования неклассических логик в моделировании рассуждений когнитивного агента. Приводятся основные этапы разработки прототипа расширенных шаговых теорий с использованием литералов логики высказываний. Для каждого компонента решателя описаны его функции, задачи, входные и выходные данные. Обоснован выбор системы вывода clingo, поддерживающей формирование расширенных логических программ Answer Set Programming (ASP) как инструмента реализации решателя. Приведены алгоритмы трансляции расширенных шаговых теорий в логическую программу, соответствующую синтаксису ASP. При организации логического вывода использован алгоритм циклической обработки множеств убеждений расширенных шаговых теорий в среде clingo. Основные этапы работы этого алгоритма рассмотрены на примере, где разбираются этапы работы решателя и приводятся результаты, представленные в синтаксисе clingo. Пример работы решателя демонстрирует основные особенности расширенных шаговых теорий в задачах жесткого реального времени, такие как отказ от логического всеведения, самопознание и темпоральная чувствительность. В дальнейшем планируется рассмотреть применимость созданного решателя к более сложной формальной системе - логике предикатов первого порядка.

Ключевые фразы: РАСШИРЕННАЯ ШАГОВАЯ ТЕОРИЯ, РЕШАТЕЛЬ, АКТИВНАЯ ЛОГИКА, ОГРАНИЧЕНИЯ ПО ВРЕМЕНИ, ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ
Автор (ы): Фоминых Игорь Борисович (Fominyh I. B.), Фомина Марина Владимировна (Fomina M. V.), Гулякина Наталья Анатольевна (Gulyakina N. A.), Кравченко К. С. (Kravchenko K. S.), Алексеев Н. П. (Alekseev N. P.)
Журнал: ПРОГРАММНЫЕ ПРОДУКТЫ И СИСТЕМЫ

Идентификаторы и классификаторы

УДК
621.398. Телемеханика. Телеметрия. Установки для телеиндикации, телеметрии, телеуправления
eLIBRARY ID
49573380
Для цитирования:
ФОМИНЫХ И. Б., ФОМИНА М. В., ГУЛЯКИНА Н. А., КРАВЧЕНКО К. С., АЛЕКСЕЕВ Н. П. РАЗРАБОТКА ПРОТОТИПА РЕШАТЕЛЯ ДЛЯ РАСШИРЕННЫХ ШАГОВЫХ ТЕОРИЙ ЛОГИКИ ВЫСКАЗЫВАНИЙ // ПРОГРАММНЫЕ ПРОДУКТЫ И СИСТЕМЫ. 2022. Т. 35 № 2
Текстовый фрагмент статьи
Моя история просмотров (10)