Rational Capability in Concurrent Games

We extend concurrent game structures (CGSs) with a simple notion of preference over computations and define a minimal notion of rationality for agents based on the concept of dominance. We use this notion to interpret a CL and an ATL languages that extend the basic CL and ATL languages with modalities for rational capability, namely, a coalition’s capability to rationally enforce a given property. For each of these languages, we provide results about the complexity of satisfiability checking and model checking as well as about axiomatization.

Authors

• Yinfeng Li
• Emiliano Lorini
• Munyque Mittelmann LIPN, CNRS, Université Sorbonne Paris Nord

Keywords

• Logics for Multi-Agent Systems
• Rationality
• Strategic Reasoning