Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of Artificial Intelligence Research Année : 2012

Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results

Résumé

We investigate a class of first-order temporal-epistemic logics for reasoning about multi-agent systems. We encode typical properties of systems including perfect recall, synchronicity, no learning, and having a unique initial state in terms of variants of quantified interpreted systems, a first-order extension of interpreted systems. We identify several monodic fragments of first-order temporal-epistemic logic and show their completeness with respect to their corresponding classes of quantified interpreted systems.
Fichier non déposé

Dates et versions

hal-00833246 , version 1 (12-06-2013)

Identifiants

  • HAL Id : hal-00833246 , version 1

Citer

Francesco Belardinelli, Alessio Lomuscio. Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results. Journal of Artificial Intelligence Research, 2012, 45, pp.1--45. ⟨hal-00833246⟩
54 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More