Knowledge and Strategic Ability for Model Checking: A Refined Approach

Authors:
Wojciech Jamroga
Affiliations:
Department of Informatics, Clausthal University of Technology, Germany
Venue:
MATES '08 Proceedings of the 6th German conference on Multiagent System Technologies
Year:
2008

Citing 5
Cited 0

Alternating-time temporal logic

Journal of the ACM (JACM)
On the Relationship Between BDI Logics and Standard Logics of Concurrency

Autonomous Agents and Multi-Agent Systems
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic

Logic of Programs, Workshop
Agents that Know How to Play

Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
A framework for reasoning about rational agents

Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a translation that reduces epistemic operators to strategic operators in the context of model checking. The translation is a refinement of the one from [4], and it improves on the previous scheme in two ways. First, it does not suffer any blowup in the length of formulae (the one from [4] did). Second, the new translation is defined in a more general setting: additional constraints can be imposed on strategy profiles that agents can execute. We show the applicability of such a general translation on the case of strategic abilities under imperfect information.