Show simple item record

Rybakov, Vladimir V.en
Рыбаков, Владимир В.ru_RU
2021-12-16T04:31:30Z
2021-12-16T04:31:30Z
2022-02
https://elib.sfu-kras.ru/handle/2311/144955
We study an agents’ temporal logic with non-standard none-transitive temporal accessibility relations and operations of static agents’ knowledge. The main mathematical problem we work with is existence of algorithms for solving satisfiability problem. The problem is resolved and the algorithm is found. Some open problems are suggested in the concluding parten
Исследуется мультиагентная временная логика с нестандартными нетранзитивными отношениями временной достижимости и операциями статического знания агентов. Находится алгоритм, решающий проблему выполнимости и разрешимостиru_RU
enen
Сибирский федеральный университет. Siberian Federal Universityen
temporal logicen
multi-agencyen
non-classical logicsen
informationen
knowledge representationen
deciding algorithmsen
decidabilityen
computabilityen
временная логикаru_RU
мультиагентностьru_RU
неклассические логикиru_RU
информацияru_RU
представление знанийru_RU
разрешающие алгоритмыru_RU
разрешимостьru_RU
выполнимостьru_RU
Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledgeen
Мультиагентная временная логика с операциями статистического знания агентовru_RU
Journal Articleen
Rybakov, Vladimir V.: Siberian Federal University Krasnoyarsk, Russian Federation A.P. Ershov Institute of Informatics Systems Novosibirsk, Russian Federation; Vladimir_Rybakov@mail.ruen
Рыбаков, Владимир В.: Сибирский федеральный университет Красноярск, Российская Федерация; Институт систем информатики им. А. П. Ершова Новосибирск, Российская Федерацияru_RU
114–124ru_RU
10.17516/1997-1397-2022-15-1-114-124
Журнал Сибирского федерального университета. Математика и физика, 2021. Journal of Siberian Federal University. Mathematics & Physics, 2022, 15 (1)en


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record


DSpace software copyright © 2002-2015  DuraSpace
Theme by 
@mire NV