|
Эта публикация цитируется в 18 научных статьях (всего в 18 статьях)
Интранзитивные временные многоагентные логики, информация и знание, разрешимость
В. В. Рыбаков Сибирский федеральный университет, Институт математики, пр. Свободный, 79, Красноярск 660041
Аннотация:
Многоагентные и временные логики образуют активную область в науках об информации и искуcственном интеллекте. Преимущественно внимание уделялось временным логикам с транзитивным отношением времени. Но это не выглядит как очень надежное допущение, так как нетранзитивность отношения передачи информации легко может быть продемонстрирована примерами. В данной статье вводятся и изучаются многоагентные временные логики, базирующиеся на нетранзитивном времени. Другое новшество состоит в рассмотрении течения времени с пробелами с неполной информацией. Найдены разрешающие алгоритмы для технически наиболее важной части, состоящей в решении проблем выполнимости и разрешимости. Приводится список интересных открытых проблем.
Ключевые слова:
временная логика, вычислимость, информация, многоагентные логики, выполнимость разрешимость, не транзитивное время.
Статья поступила: 12.12.2016
Образец цитирования:
В. В. Рыбаков, “Интранзитивные временные многоагентные логики, информация и знание, разрешимость”, Сиб. матем. журн., 58:5 (2017), 1128–1143; Siberian Math. J., 58:5 (2017), 875–886
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj2924 https://www.mathnet.ru/rus/smj/v58/i5/p1128
|
Статистика просмотров: |
Страница аннотации: | 191 | PDF полного текста: | 63 | Список литературы: | 40 | Первая страница: | 5 |
|