Author | Rybakov, Vladimir V. | en |
Author | Рыбаков, Владимир В. | ru_RU |
Accessioned Date | 2021-12-16T04:31:30Z | |
Available Date | 2021-12-16T04:31:30Z | |
Issued Date | 2022-02 | |
URI (for links/citations) | https://elib.sfu-kras.ru/handle/2311/144955 | |
Abstract | 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 part | en |
Abstract | Исследуется мультиагентная временная логика с нестандартными нетранзитивными
отношениями временной достижимости и операциями статического знания агентов. Находится
алгоритм, решающий проблему выполнимости и разрешимости | ru_RU |
Language | en | en |
Publisher | Сибирский федеральный университет. Siberian Federal University | en |
Subject | temporal logic | en |
Subject | multi-agency | en |
Subject | non-classical logics | en |
Subject | information | en |
Subject | knowledge representation | en |
Subject | deciding algorithms | en |
Subject | decidability | en |
Subject | computability | en |
Subject | временная логика | ru_RU |
Subject | мультиагентность | ru_RU |
Subject | неклассические логики | ru_RU |
Subject | информация | ru_RU |
Subject | представление знаний | ru_RU |
Subject | разрешающие алгоритмы | ru_RU |
Subject | разрешимость | ru_RU |
Subject | выполнимость | ru_RU |
Title | Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge | en |
Alternative Title | Мультиагентная временная логика с операциями статистического знания агентов | ru_RU |
Type | Journal Article | en |
Contacts | Rybakov, Vladimir V.: Siberian Federal University Krasnoyarsk, Russian Federation A.P. Ershov Institute of Informatics Systems Novosibirsk, Russian Federation; Vladimir_Rybakov@mail.ru | en |
Contacts | Рыбаков, Владимир В.: Сибирский федеральный университет Красноярск, Российская Федерация; Институт систем информатики им. А. П. Ершова Новосибирск, Российская Федерация | ru_RU |
Pages | 114–124 | ru_RU |
DOI | 10.17516/1997-1397-2022-15-1-114-124 | |
Journal Name | Журнал Сибирского федерального университета. Математика и физика, 2021. Journal of Siberian Federal University. Mathematics & Physics, 2022, 15 (1) | en |