|
Algebraic and logical methods in computer science and artificial intelligence
Relational version of the multi-agent computation tree logic $\mathcal{CTLK}$
Stepan I. Bashmakov, Kirill A. Smelykh Siberian Federal University, Krasnoyarsk, Russian Federation
Abstract:
This paper deals with multi-agent computation tree logic — $\mathcal{CTLK}$ (Computation Tree Logic with Knowledge). Each agent represents its own computational route of the initial problem, and new branches of possible computational routes spawn new agents. The logic $\mathcal{CTLK}$ is a natural enrichment of $\mathcal{CTL}$ by new knowledge operators. We introduce alternative to automata Kripke's relational semantics, describes properties of $\mathcal{CTLK}^{Rel}$-frame and proves finite approximability.
Keywords:
multi-agent logic, branching temporal logic, Kripke relational semantics, filtration method, finite approximability.
Received: 15.08.2023 Revised: 04.12.2023 Accepted: 06.12.2023
Citation:
Stepan I. Bashmakov, Kirill A. Smelykh, “Relational version of the multi-agent computation tree logic $\mathcal{CTLK}$”, Bulletin of Irkutsk State University. Series Mathematics, 47 (2024), 78–92
Linking options:
https://www.mathnet.ru/eng/iigum556 https://www.mathnet.ru/eng/iigum/v47/p78
|
Statistics & downloads: |
Abstract page: | 33 | Full-text PDF : | 26 | References: | 6 |
|