Vladimir V. Rybakov, “Multi-agents' temporal logic using operations of static agents' knowledge”, Журн. СФУ. Сер. Матем. и физ., 2022, том 15, выпуск 1,страницы 114

Multi-agents' temporal logic using operations of static agents' knowledge

[Мультиагентная временная логика с операциями статистического знания агентов]

Vladimir V. Rybakov^abc

^a Siberian Federal University, Krasnoyarsk, Russian Federation
^b HSE University, Moscow, Russian Federation
^c A. P. Ershov Institute of Informatics Systems, Novosibirsk, Russian Federation

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

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

УДК: 512.54

Получена: 31.05.2021
Исправленный вариант: 10.09.2021
Принята: 21.10.2021

Язык публикации: английский

DOI: 10.17516/1997-1397-2022-15-1-114-124