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

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

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

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

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

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

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

Издание

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

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

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

ISSN журнала: 00374474

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

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

Авторы

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

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

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