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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time Temporal Logic. Journal of the ACM 49, 672–713 (2002)
Clarke, E.M., Emerson, E.A.: Design and synthesis of synchronization skeletons using branching time temporal logic. In: Kozen, D. (ed.) Logic of Programs 1981. LNCS, vol. 131, pp. 52–71. Springer, Heidelberg (1982)
Gerbrandy, J.: Bisimulations on Planet Kripke. PhD thesis, University of Amsterdam (1999)
Goranko, V., Jamroga, W.: Comparing semantics of logics for multi-agent systems. Synthese 139(2), 241–280 (2004)
Jamroga, W.: Reducing knowledge operators in the context of model checking. Technical Report IfI-07-09, Clausthal University of Technology (2007)
Jamroga, W., Bulling, N.: A framework for reasoning about rational agents. In: Proceedings of AAMAS 2007, pp. 592–594 (2007)
Jamroga, W., van der Hoek, W.: Agents that know how to play. Fundamenta Informaticae 63(2–3), 185–219 (2004)
Meyer, J.-J.C.: A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic. Notre Dame Journal of Formal Logic 29(1), 109–136 (1988)
Schild, K.: On the relationship between BDI logics and standard logics of concurrency. Autonomous Agents and Multi Agent Systems, 259–283 (2000)
Schobbens, P.Y.: Alternating-time logic with imperfect recall. Electronic Notes in Theoretical Computer Science 85(2) (2004)
van der Hoek, W., Roberts, M., Wooldridge, M.: Social laws in alternating time: Effectiveness, feasibility and synthesis. Synthese (2005)
van der Hoek, W., Wooldridge, M.: Cooperation, knowledge and time: Alternating-time Temporal Epistemic Logic and its applications. Studia Logica 75(1), 125–157 (2003)
van Otterloo, S., van der Hoek, W., Wooldridge, M.: Knowledge as strategic ability. Electronic Lecture Notes in Theoretical Computer Science 85(2) (2003)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jamroga, W. (2008). Knowledge and Strategic Ability for Model Checking: A Refined Approach. In: Bergmann, R., Lindemann, G., Kirn, S., Pěchouček, M. (eds) Multiagent System Technologies. MATES 2008. Lecture Notes in Computer Science(), vol 5244. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87805-6_10
Download citation
DOI: https://doi.org/10.1007/978-3-540-87805-6_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-87804-9
Online ISBN: 978-3-540-87805-6
eBook Packages: Computer ScienceComputer Science (R0)