Сибирский федеральный университет

Тип публикации: статья из журнала

Год издания: 2018

Ключевые слова: мультиагентные логики, информация, знания, Временные логики, мультиозначивания, проблема выполнимости, разрешающие алгоритмы

Аннотация: Исследованы мультиагентные логики с использованием временных реляционных моделей с мультиозначиваниями. Основное отличие от обычных реляционных моделей состоит во введении различных означиваний для различных агентов и построении глобального означивания на основе данных агентов. Обсуждается важность этого подхода и на примерах показано, что это не просто механическое соединение стандартных временных моделей, этот подход позволяет более точное моделирование вычисления истинностных значений в многоагентной окружающей среде. Для выражения свойств таких моделей вводится логический язык, использующий временные формулы, и определяются логики, базирующиеся на таких моделях. Главная проблема исследования - проблема выполнимости. При ее решении найден разрешающий алгоритм для выполнимости. Обсуждаются интересные открытые проблемы и возможные направления дальнейших исследований.

Журнал: Сибирский математический журнал

Выпуск журнала: Т. 59, № 4

Номера страниц: 897-911

ISSN журнала: 00374474

Место издания: Новосибирск

Издатель: Федеральное государственное бюджетное учреждение науки Институт математики им. С.Л. Соболева Сибирского отделения Российской академии наук

• Рыбаков Владимир Владимирович (Сибирский федеральный университет)

• Ядро РИНЦ (eLIBRARY.RU)
• Список ВАК