Интранзитивные временные многоагентные логики, информация и знание, разрешимость : научное издание

Описание

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

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

Идентификатор DOI: 10.17377/smzh.2017.58.514

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

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

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

Издание

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

Выпуск журнала: Т. 58, 5

Номера страниц: 1128-1143

ISSN журнала: 00374474

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

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

Авторы

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