Главная Новости Оформление статьи Архив Авторы Поиск Вход
Номера
2019: 1
2018: 1 2 3 4 5 6
2017: 1 2 3 4 5 6
2016: 1 2 3 4 5 6
2015: 1 2 3 4 5 6
2014: 1 2 3 4 5 6
2013: 1 2 3 4 5 6
2012: 1 2 3 4 5 6
2011: 1 2 3 4 5 6
2010: 1 2 3 4 5 6
2009: 1 2 3 4 5 6
2008: 1 2 3 4 5 6
2007: 1 2 3 4 5 6
2006: 1 2 3 4 5 6
2005: 1 2 3 4 5 6
2004: 1 2 3 4 5 6
2003: 1 2 3 4 5 6
2002: 1 2 3 4 5 6
2001: 1 2 3 4 5 6
2000: 1 2 3 4 5 6
1999: 1 2 3 4 5 6
1998: 1 2 3 4 5 6
1997: 1 2 3 4 5 6
1996: 1 2 3 4 5 6
1995: 1 2 3 4 5 6
1994: 1 2 3 4 5 6
1993: 1 2 3 4 5 6

СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ

АННОТАЦИИ

Рыбаков В. В. Интранзитивные временные многоагентные логики, информация и знание, разрешимость // Том 58 (2017), Номер 5, стр. 1128–1143 
Многоагентные и временные логики
образуют активную область в науках об
информации и искуcственном интеллекте. Преимущественно внимание уделялось
временным логикам с транзитивным отношением времени.
 Но это не выглядит как очень надежное допущение, так как нетранзитивность
отношения передачи информации легко может быть продемонстрирована примерами.
В данной статье вводятся и изучаются многоагентные временные логики,
базирующиеся на нетранзитивном времени. Другое новшество состоит в
рассмотрении течения времени с пробелами с неполной информацией.
Найдены разрешающие алгоритмы для
технически наиболее важной части,
состоящей в решении проблем выполнимости и
разрешимости. Приводится список интересных открытых проблем.
© Сибирский Математический Журнал, 2003-2006