Temporal Logic in Multi-agent Environment


Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций

Конференция: 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


  • Rybakov V.V. (Institute of Mathematics and Fundamental Informatics, Siberian Federal University, Krasnoyarsk, Russian Federation, Institute of Informatics Systems, Siberian Branch of RAS, Novosibirsk, Russian Federation, National Research University - High School of Economics, Moscow, Russian Federation)

Вхождение в базы данных