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