Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций
Конференция: International KES Conference on Agent and Multi-Agent Systems-Technologies and Applications, KES-AMSTA 2021
Год издания: 2021
Идентификатор DOI: 10.1007/978-981-16-2994-5_17
Ключевые слова: admissible rules, deciding algorithms, knowledge, multi-agents’ logic, non-transitive time, temporal logic
Аннотация: The paper studies temporal logic implementing multi-agent’s approach and formalizing knowledge and uncertainty. We consider non-transitive linear time and multi-valued models—the ones using separate valuations Vj for the agent’s knowledge of facts and sum
Журнал: Smart Innovation, Systems and Technologies
Выпуск журнала: Vol. 241
Номера страниц: 205-214
ISSN журнала: 21903018
Издатель: Springer Science and Business Media Deutschland GmbH