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

No Thumbnail Available
File version
Author(s)
Huang, Xiaowei
Su, Kaile
Zhang, Chenyi
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)

Jörg Hoffmann and Bart Selman

Date
2012
Size
File type(s)
Location

Toronto, Ontario, Canada

License
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

Journal Title
Conference Title

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence

Book Title
Edition
Volume
Issue
Thesis Type
Degree Program
School
DOI
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement
Item Access Status
Note
Access the data
Related item(s)
Subject

Computational logic and formal languages

Persistent link to this record
Citation