Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций
Конференция: 16th KES International Conference on Agents and Multi-Agent Systems: Technologies and Applications, KES-AMSTA 2022
Год издания: 2022
Идентификатор DOI: 10.1007/978-981-19-3359-2_1
Ключевые слова: agents, agents knowledge, information, multi-agency, multi-valuations, relational models, satisfiability problem, temporal logic
Аннотация: This paper studies temporal multi-agent’s relational models with distinct time accessibility relations for agents. Distinct valuations of truth values for agents’ are also allowed, and a global valuation is the one which in a sense summarizes the opinion of agents. Some illustrating examples are provided (cf. displayed in paper belПоказать полностьюow formulas (1.2), (1.3)). From mathematical point of view, we deal with satisfiability problem for formulas, and we construct a mathematical algorithm (cf. Theorem 1.3) verifying satisfiability. Also we prove that the problem of admissibility for inference rules in some such logics is decidable. Open problems from the area are proposed. © 2022, The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.
Журнал: Smart Innovation, Systems and Technologies
Выпуск журнала: Vol. 306
Номера страниц: 3-12
ISSN журнала: 21903018
Издатель: Springer Science and Business Media Deutschland GmbH