Probabilistic Alternating-Time Temporal Logic of Incomplete Information and Synchronous Perfect Recall

Authors

  • Xiaowei Huang The University of New South Wales
  • Kaile Su Griffith University, Brisbane
  • Chenyi Zhang University of Queensland

DOI:

https://doi.org/10.1609/aaai.v26i1.8214

Keywords:

Alternating-time temporal logic, incomplete information, probability, perfect recall

Abstract

A probabilistic variant of ATL* logic is proposed to work with multi-player games of incomplete information and synchronous perfect recall. The semantics of the logic is settled over probabilistic interpreted system and partially observed probabilistic concurrent game structure. While unexpectedly, the model checking problem is in general undecidable even for single-group fragment, we find a fragment whose complexity is in 2-EXPTIME. The usefulness of this fragment is shown over a land search scenario.

Downloads

Published

2021-09-20

How to Cite

Huang, X., Su, K., & Zhang, C. (2021). Probabilistic Alternating-Time Temporal Logic of Incomplete Information and Synchronous Perfect Recall. Proceedings of the AAAI Conference on Artificial Intelligence, 26(1), 765-771. https://doi.org/10.1609/aaai.v26i1.8214

Issue

Section

AAAI Technical Track: Knowledge Representation and Reasoning