A Logic of Sights

Cédric Dégremont (1) , Soumya Paul (1) , Nicholas Asher (1, 2)

1 IRIT-MELODI - MEthodes et ingénierie des Langues, des Ontologies et du DIscours
2 CNRS - Centre National de la Recherche Scientifique

We study labeled transition systems where at each state an agent is aware of and hence reasons about only a part of the entire system (called the ‘sight’). We develop a logic for such systems: the ‘logic of sights’. We explore its model theory, give an axiomatization and prove its completeness. We show that the logic is a fragment of the loosely guarded fragment of first-order logic. We show that the satisfiability problem of the logic is PSPACE-complete and the combined complexity of its model-checking problem is in PTIME. Finally we discuss its relation to other logics as well as extensions.

Mots clés: Modal logic; Bounded rationality; Temporal logics; Sights; Dynamic logics; Labeled transition systems

Domaines: Intelligence artificielle [cs.AI]; Apprentissage [cs.LG]; Logique en informatique [cs.LO]; Informatique et langage [cs.CL]

Cédric Dégremont, Soumya Paul, Nicholas Asher. A Logic of Sights. Journal of Logic and Computation, 2017, 27 (4), pp.1225-1305. ⟨10.1093/logcom/exv077⟩. ⟨hal-01659308⟩