RUS  ENG
Полная версия
ЖУРНАЛЫ // Сибирский математический журнал // Архив

Сиб. матем. журн., 2017, том 58, номер 5, страницы 1128–1143 (Mi smj2924)

Эта публикация цитируется в 18 статьях

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

В. В. Рыбаков

Сибирский федеральный университет, Институт математики, пр. Свободный, 79, Красноярск 660041

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

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

УДК: 510.64+510.65+510.66

MSC: 35R30

Статья поступила: 12.12.2016

DOI: 10.17377/smzh.2017.58.514


 Англоязычная версия: Siberian Mathematical Journal, 2017, 58:5, 875–886

Реферативные базы данных:


© МИАН, 2024