|
Algebraic and logical methods in computer science and artificial intelligence
The satisfiability problem in linear multi-agent knowledge logic based on $\mathbb{N}$
N. A. Protsenko, V. V. Rybakov Siberian Federal University, Krasnoyarsk, Russian Federation
Abstract:
In this paper we explore the linear logic of multi-agent knowledge using multivalued models. The logic of the language contains the unary operators $K_{j}$ — $j$ — the agent knows, $ULK_{G}$ — unstable local knowledge, $E_{G}$ — stable local knowledge in the group, and the binary logical operator $AP_{G}$ - the majority opinion. We will show some examples that demonstrate the diversity of this language and its capabilities. Technically we prove decidability of satisfiability problem in the resulting models for our multi-agent logic, develop verification technique and provide some examples.
Keywords:
modal logic, temporal logic, common knowledge, deciding algorithms, multi-agent logic.
Received: 27.02.2024 Revised: 20.05.2024 Accepted: 21.05.2024
Citation:
N. A. Protsenko, V. V. Rybakov, “The satisfiability problem in linear multi-agent knowledge logic based on $\mathbb{N}$”, Bulletin of Irkutsk State University. Series Mathematics, 49 (2024), 124–134
Linking options:
https://www.mathnet.ru/eng/iigum579 https://www.mathnet.ru/eng/iigum/v49/p124
|
Statistics & downloads: |
Abstract page: | 46 | Full-text PDF : | 6 | References: | 3 |
|