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

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

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

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

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

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

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

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

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

ISSN журнала: 00374474

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

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

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

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