Title | ||
---|---|---|
Interactions between knowledge and time in a first-order logic for multi-agent systems: completeness results |
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. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1613/jair.3547 | Journal of Artificial Intelligence Research |
Keywords | DocType | Volume |
perfect recall,typical property,multi-agent system,unique initial state,first-order temporal-epistemic logic,first-order extension,multiagent system,monodic fragment,corresponding class,first-order logic,completeness result | Journal | abs/1401.5849 |
Issue | ISSN | Citations |
1 | Journal Of Artificial Intelligence Research, Volume 45, pages
1-45, 2012 | 7 |
PageRank | References | Authors |
0.50 | 33 | 53 |