Some Things are Easier for the Dumb and the Bright Ones (Beware the Average!)

Some Things are Easier for the Dumb and the Bright Ones (Beware the Average!)

Wojciech Jamroga, Michał Knapik

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence
Main track. Pages 1734-1740. https://doi.org/10.24963/ijcai.2019/240

Model checking strategic abilities in multi-agent systems is hard, especially for agents with partial observability of the state of the system. In that case, it ranges from NP-complete to undecidable, depending on the precise syntax and the semantic variant. That, however, is the worst case complexity, and the problem might as well be easier when restricted to particular subclasses of inputs. In this paper, we look at the verification of models with "extreme" epistemic structure, and identify several special cases for which model checking is easier than in general. We also prove that, in the other cases, no gain is possible even if the agents have almost full (or almost nil) observability. To prove the latter kind of results, we develop generic techniques that may be useful also outside of this study.
Keywords:
Knowledge Representation and Reasoning: Computational Complexity of Reasoning
Agent-based and Multi-agent Systems: Agent Theories and Models
Agent-based and Multi-agent Systems: Formal Verification, Validation and Synthesis