Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results - Archive ouverte HAL Access content directly
Journal Articles Journal of Artificial Intelligence Research Year : 2012

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

(1) , (2)
1
2

Abstract

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.
Not file

Dates and versions

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

Identifiers

  • HAL Id : hal-00833246 , version 1

Cite

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⟩
26 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More