A Hybrid of Tense Logic $S4_T$ and Multi-Agent Logic with Interacting Agents
Žurnal Sibirskogo federalʹnogo universiteta. Matematika i fizika, Tome 1 (2008) no. 4, pp. 399-409
Voir la notice de l'article provenant de la source Math-Net.Ru
In this paper we introduce a temporal multi-agent logic $S4_T^\mathcal{IA}$, which implements interacting agents. Logic $S4_T^\mathcal{IA}$ is defined semantically as the set of all formulas of the appropriate propositional language that are valid in special Kripke models. The models are based on $S4$-like time frames, i.e., with reflexive and transitive time-accessibility relations. Agents knowledge-accessibility relations $R_i$, defined independently for each individual agent, are $S5$-relations on $R$-time clusters, and interaction of the agents consists of passing knowledge along arbitrary paths of such relations. The key result of the paper is an algorithm for checking satisfiability and recognizing theorems of $S4_T^\mathcal{IA}$. We also prove the effective finite model property for the logic $S4_T^\mathcal{IA}$.
Keywords:
multi-agent logics, tense logics, knowledge representation, satisfiability, decidability, inference rules.
@article{JSFU_2008_1_4_a4,
author = {Vladimir V. Rybakov and Sergej V. Babenyshev},
title = {A {Hybrid} of {Tense} {Logic} $S4_T$ and {Multi-Agent} {Logic} with {Interacting} {Agents}},
journal = {\v{Z}urnal Sibirskogo federalʹnogo universiteta. Matematika i fizika},
pages = {399--409},
publisher = {mathdoc},
volume = {1},
number = {4},
year = {2008},
language = {en},
url = {http://geodesic.mathdoc.fr/item/JSFU_2008_1_4_a4/}
}
TY - JOUR AU - Vladimir V. Rybakov AU - Sergej V. Babenyshev TI - A Hybrid of Tense Logic $S4_T$ and Multi-Agent Logic with Interacting Agents JO - Žurnal Sibirskogo federalʹnogo universiteta. Matematika i fizika PY - 2008 SP - 399 EP - 409 VL - 1 IS - 4 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/JSFU_2008_1_4_a4/ LA - en ID - JSFU_2008_1_4_a4 ER -
%0 Journal Article %A Vladimir V. Rybakov %A Sergej V. Babenyshev %T A Hybrid of Tense Logic $S4_T$ and Multi-Agent Logic with Interacting Agents %J Žurnal Sibirskogo federalʹnogo universiteta. Matematika i fizika %D 2008 %P 399-409 %V 1 %N 4 %I mathdoc %U http://geodesic.mathdoc.fr/item/JSFU_2008_1_4_a4/ %G en %F JSFU_2008_1_4_a4
Vladimir V. Rybakov; Sergej V. Babenyshev. A Hybrid of Tense Logic $S4_T$ and Multi-Agent Logic with Interacting Agents. Žurnal Sibirskogo federalʹnogo universiteta. Matematika i fizika, Tome 1 (2008) no. 4, pp. 399-409. http://geodesic.mathdoc.fr/item/JSFU_2008_1_4_a4/