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

Francesco Belardinelli, Alessio Lomuscio

JAIR 2012 pp. 1-45

doi:10.1613/JAIR.3547 /jair/2012/belardinelli2012jair-interactions/

Abstract

We investigate a class of first-order temporal-epistemic logics for reasoning about multiagent 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.

PDF JAIR Semantic Scholar

Cite

Text

Belardinelli and Lomuscio. "Interactions Between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results." Journal of Artificial Intelligence Research, 2012. doi:10.1613/JAIR.3547

Markdown

[Belardinelli and Lomuscio. "Interactions Between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results." Journal of Artificial Intelligence Research, 2012.](https://mlanthology.org/jair/2012/belardinelli2012jair-interactions/) doi:10.1613/JAIR.3547

BibTeX

@article{belardinelli2012jair-interactions,
  title     = {{Interactions Between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results}},
  author    = {Belardinelli, Francesco and Lomuscio, Alessio},
  journal   = {Journal of Artificial Intelligence Research},
  year      = {2012},
  pages     = {1-45},
  doi       = {10.1613/JAIR.3547},
  volume    = {45},
  url       = {https://mlanthology.org/jair/2012/belardinelli2012jair-interactions/}
}