Временные мультиагентные логики с мультиозначиваниями : научное издание

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

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

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

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

Ссылки на полный текст

Издание

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

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

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

ISSN журнала: 00374474

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

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

Авторы

Вхождение в базы данных

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.