Geodesic
Computing Truth of Logical Statements in Multi-Agents' Environment
Žurnal Sibirskogo federalʹnogo universiteta. Matematika i fizika, Tome 6 (2013) no. 3, pp. 315-328

Voir la notice de l'article provenant de la source Math-Net.Ru

This paper describes logical models and computational algorithms for logical statements (specs) including various versions of Chance Discovery (CD). The approach is based at temporal multi-agent logic. Prime question is how to express most essential properties of CD in terms of temporal logic (branching time multi-agents' logic or a linear one), how to define CD by formulas in logical language. We, as an example, introduce several formulas in the language of temporal multi-agent logic which may express essential properties of CD. Then we study computational questions (in particular, using some light modification of the standard filtration technique we show that the constructed logic has the finite-model property with effectively computable upper bound; this proves that the logic is decidable and provides a decision algorithm). At the final part of the paper we consider interpretation of CD via uncertainty and plausibility in an extension of the linear temporal logic LTL and computation for truth values (satisfiability) of its formulas.
Keywords: temporal logics, multi-agent logics, chance discovery, Kripke–Hintikka models.
Mots-clés : CD 
@article{JSFU_2013_6_3_a4,
     author = {David McLean and Vladimir V. Rybakov},
     title = {Computing {Truth} of {Logical} {Statements} in {Multi-Agents'} {Environment}},
     journal = {\v{Z}urnal Sibirskogo federalʹnogo universiteta. Matematika i fizika},
     pages = {315--328},
     publisher = {mathdoc},
     volume = {6},
     number = {3},
     year = {2013},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/JSFU_2013_6_3_a4/}
}
TY  - JOUR
AU  - David McLean
AU  - Vladimir V. Rybakov
TI  - Computing Truth of Logical Statements in Multi-Agents' Environment
JO  - Žurnal Sibirskogo federalʹnogo universiteta. Matematika i fizika
PY  - 2013
SP  - 315
EP  - 328
VL  - 6
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/JSFU_2013_6_3_a4/
LA  - en
ID  - JSFU_2013_6_3_a4
ER  - 
%0 Journal Article
%A David McLean
%A Vladimir V. Rybakov
%T Computing Truth of Logical Statements in Multi-Agents' Environment
%J Žurnal Sibirskogo federalʹnogo universiteta. Matematika i fizika
%D 2013
%P 315-328
%V 6
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/JSFU_2013_6_3_a4/
%G en
%F JSFU_2013_6_3_a4
David McLean; Vladimir V. Rybakov. Computing Truth of Logical Statements in Multi-Agents' Environment. Žurnal Sibirskogo federalʹnogo universiteta. Matematika i fizika, Tome 6 (2013) no. 3, pp. 315-328. http://geodesic.mathdoc.fr/item/JSFU_2013_6_3_a4/