article

Agents that Know How to Play

Authors:

Wojciech Jamroga,

Wiebe van der HoekAuthors Info & Claims

Fundamenta Informaticae, Volume 63, Issue 2-3

Pages 185 - 219

Published: 01 May 2004 Publication History

Abstract

We look at ways to enrich Alternating-time Temporal Logic (ATL) - a logic for specification and verification of multi-agent systems - with a notion of knowledge. Starting point of our study is a recent proposal for a system called Alternating-time Temporal Epistemic Logic (ATEL). We show that, assuming that agents act under uncertainty in some states of the system, the notion of allowable strategy should be defined with some caution. Moreover, we demonstrate a subtle difference between an agent knowing that he has a suitable strategy and knowing the strategy itself. We also point out that the agents should be assumed similar epistemic capabilities in the semantics of both strategic and epistemic operators. Trying to implement these ideas, we propose two different modifications of ATEL. The first one, dubbed Alternating-time Temporal Observational Logic (ATOL), is a logic for agents with bounded recall of the past. With the second, ATEL-R*, we present a framework to reason about both perfect and imperfect recall, in which we also incorporate operators for reasoning about the past. We identify some feasible subsystems of this expressive system.

References

[1]

{1} Alur, R., de Alfaro, L., Henzinger, T. A., Krishnan, S., Mang, F., Qadeer, S., Rajamani, S., Tasiran, S.: MOCHA User Manual, Technical report, University of Berkeley, 2000.

[2]

{2} Alur, R., Henzinger, T. A., Kupferman, O.: Alternating-Time Temporal Logic, Proceedings of the 38th Annual Symposium on Foundations of Computer Science (FOCS), IEEE Computer Society Press, 1997, Available at citeseer.ist.psu.edu/170985.html.

[3]

{3} Alur, R., Henzinger, T. A., Kupferman, O.: Alternating-Time Temporal Logic, Lecture Notes in Computer Science, 1536, 1998, 23-60, Available at citeseer.ist.psu.edu/174802.html.

Digital Library

[4]

{4} Alur, R., Henzinger, T. A., Kupferman, O.: Alternating-Time Temporal Logic, Journal of the ACM, 49, 2002, 672-713, Updated, improved, and extended text. Available at www.cis.upenn.edu/alur/jacm02.pdf.

Digital Library

[5]

{5} van Benthem, J.: Games in Dynamic Epistemic Logic, Bulletin of Economic Research, 53(4), 2001, 219-248, Proceedings of LOFT-4.

[6]

{6} van Benthem, J.: The Epistemic Logic of IF Games (Hintikka Self-Applied), 2002, Under preparation. To appear in the Hintikka Volume, Library of Living Philosophers. Available at http://staff.science.uva.nl/~johan/H-H.pdf.

[7]

{7} van Ditmarsch, H.: Knowledge Games, Ph.D. Thesis, University of Groningen, 2000.

[8]

{8} Dunin-Keplicz, B., Verbrugge, R.: A Tuning Machine for Collective Commitments, Proceedings of Formal Approaches to Multi-Agent Systems (FAMAS 2003) (B. Dunin-Keplicz, R. Verbrugge, Eds.), 2003.

[9]

{9} Emerson, E. A.: Temporal and Modal Logic, in: Handbook of Theoretical Computer Science (J. van Leeuwen, Ed.), vol. B, Elsevier Science Publishers, 1990, 995-1072.

[10]

{10} Emerson, E. A., Halpern, J. Y.: "Sometimes" and "Not Never" Revisited: On Branching versus Linear Time Temporal Logic, Journal of the ACM, 33(1), 1986, 151-178.

[11]

{11} Fagin, R., Halpern, J. Y., Moses, Y., Vardi, M. Y.: Reasoning about Knowledge, MIT Press: Cambridge, MA, 1995.

[12]

{12} Goranko, V.: Coalition Games and Alternating Temporal Logics, Proc. of the 8th Conference on Theoretical Aspects of Rationality and Knowledge (TARK VIII) (J. van Benthem, Ed.), Morgan Kaufmann, 2001, Corrected version. Available at http://general.rau.ac.za/maths/goranko/papers/gltl31.pdf.

[13]

{13} Goranko, V., van Drimmelen, G.: Complete Axiomatization and Decidability of the Alternating-time Temporal Logic, 2003, Submitted.

[14]

{14} Goranko, V., Jamroga, W.: Comparing Semantics of Logics for Multi-agent Systems, Synthese, 2004, 139(2), pp. 241-280.

[15]

{15} Hafer, T., Thomas, W.: Computation tree logic CTL^* and Path Quantifiers in the Monadic Theory of the Binary Tree, in: Proceedings of 14th ICALP, Karlsruhe (F. Baader, G. Brewka, T. Eiter, Eds.), vol. 267 of Lecture Notes in Computer Science, Springer, 1987, 269-279.

[16]

{16} Hintikka, J., Sandu, G.: Game-Theoretical Semantics, in: Handbook of Logic and Language (J. van Benthem, A. ter Meulen, Eds.), Elsevier: Amsterdam, 1997, 361-410.

[17]

{17} van der Hoek, W., Wooldridge, M.: Tractable Multiagent Planning for Epistemic Goals, Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-02) (C. Castelfranchi, W. Johnson, Eds.), ACM Press, New York, 2002.

Digital Library

[18]

{18} van der Hoek, W., Wooldridge, M.: Cooperation, Knowledge and Time: Alternating-time Temporal Epistemic Logic and its Applications, Studia Logica, 75(1), 2003, 125-157.

[19]

{19} van der Hoek, W., Wooldridge, M.: Model Checking Cooperation, Knowledge and Time - A Case Study, Research in Economics, 57(3), 2003, 235-265.

[20]

{20} van der Hoek, W., Wooldridge, M.: Towards a Logic of Rational Agency, Logic Journal of the IGPL, 11(2), 2003, 135-160.

[21]

{21} Huth, M., Ryan, M.: Logic in Computer Science: Modeling and reasoning about systems, Cambridge University Press, 2000.

Digital Library

[22]

{22} Jamroga, W.: Some Remarks on Alternating Temporal Epistemic Logic, Proceedings of Formal Approaches to Multi-Agent Systems (FAMAS 2003) (B. Dunin-Keplicz, R. Verbrugge, Eds.), 2003.

[23]

{23} Jonker, G.: Feasible Strategies in Alternating-time Temporal Epistemic Logic, 2003, Master thesis.

[24]

{24} Laroussinie, F.: About the expressive power of CTL combinators, Information Processing Letters, 54(6), 1995, 343-345.

Digital Library

[25]

{25} Laroussinie, F., Schnoebelen, P.: A hierarchy of temporal logics with past, Theoretical Computer Science, 148(2), 1995, 303-324.

Digital Library

[26]

{26} Moore, R.: A Formal Theory of Knowledge and Action, in: Formal Theories of the Commonsense World (J. Hobbs, R. Moore, Eds.), Ablex Publishing Corp., 1985.

[27]

{27} Morgenstern, L.: Knowledge and the Frame Problem, International Journal of Expert Systems, 3(4), 1991.

[28]

{28} von Neumann, J., Morgenstern, O.: Theory of Games and Economic Behaviour, Princeton University Press: Princeton, NJ, 1944.

[29]

{29} Quine, W.: Quantifiers and Propositional Attitudes, Journal of Philosophy, 53, 1956, 177-187.

[30]

{30} Schnoebelen, P.: The Complexity of Temporal Model Checking, Advances in Modal Logics, Proceedings of AiML 2002, World Scientific, 2003.

[31]

{31} Schobbens, P. Y.: Alternating-Time Logic with Imperfect Recall, Electronic Notes in Theoretical Computer Science, 85(2), 2004.

[32]

{32} Wooldridge, M.: Reasoning about Rational Agents, MIT Press: Cambridge, Mass, 2000.

Cited By

Kuncová ABroersen JDuijf HRamírez Abarca A(2025)Ability and knowledge: from epistemic transition systems to labelled stit modelsAutonomous Agents and Multi-Agent Systems10.1007/s10458-024-09661-w39:1Online publication date: 1-Jun-2025
https://dl.acm.org/doi/10.1007/s10458-024-09661-w
Niewiadomski ANazarczuk MPrzychodzki MKacprzak MPenczek WZbrzezny ADastani MSichman JAlechina NDignum V(2024)SMT4SMTL: A Tool for SMT-Based Satisfiability Checking of SMTLProceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems10.5555/3635637.3663297(2815-2817)Online publication date: 6-May-2024
https://dl.acm.org/doi/10.5555/3635637.3663297
Kamiński MKurpiewski DJamroga WDastani MSichman JAlechina NDignum V(2024)STV+KH: Towards Practical Verification of Strategic Ability for Knowledge and Information FlowProceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems10.5555/3635637.3663296(2812-2814)Online publication date: 6-May-2024
https://dl.acm.org/doi/10.5555/3635637.3663296
Show More Cited By

Agents that Know How to Play
1. Theory of computation
  1. Logic

Recommendations

Agents that Know How to Play
Multiagent Systems (FAMAS'03)

We look at ways to enrich Alternating-time Temporal Logic (ATL) - a logic for specification and verification of multi-agent systems - with a notion of knowledge. Starting point of our study is a recent proposal for a system called Alternating-time ...
First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment
Logic, Language, Information and Computation

We investigate quantified interpreted systems, a computationally grounded semantics for a first-order temporal epistemic logic on linear time. We report a completeness result for the monodic fragment of a language that includes LTL modalities as well as ...
Temporal Languages for Epistemic Programs

This paper adds temporal logic to public announcement logic (PAL) and dynamic epistemic logic (DEL). By adding a previous-time operator to PAL, we express in the language statements concerning the muddy children puzzle and sum and product . We also ...

Comments

Information & Contributors

Information

Published In

cover image Fundamenta Informaticae

Fundamenta Informaticae Volume 63, Issue 2-3

Multiagent Systems (FAMAS'03)

May 2004

201 pages

ISSN:0169-2968

Issue’s Table of Contents

Publisher

IOS Press

Netherlands

Publication History

Published: 01 May 2004

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

103
Total Citations
View Citations
6
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 13 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Kuncová ABroersen JDuijf HRamírez Abarca A(2025)Ability and knowledge: from epistemic transition systems to labelled stit modelsAutonomous Agents and Multi-Agent Systems10.1007/s10458-024-09661-w39:1Online publication date: 1-Jun-2025
https://dl.acm.org/doi/10.1007/s10458-024-09661-w
Niewiadomski ANazarczuk MPrzychodzki MKacprzak MPenczek WZbrzezny ADastani MSichman JAlechina NDignum V(2024)SMT4SMTL: A Tool for SMT-Based Satisfiability Checking of SMTLProceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems10.5555/3635637.3663297(2815-2817)Online publication date: 6-May-2024
https://dl.acm.org/doi/10.5555/3635637.3663297
Kamiński MKurpiewski DJamroga WDastani MSichman JAlechina NDignum V(2024)STV+KH: Towards Practical Verification of Strategic Ability for Knowledge and Information FlowProceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems10.5555/3635637.3663296(2812-2814)Online publication date: 6-May-2024
https://dl.acm.org/doi/10.5555/3635637.3663296
Lespérance YDe Giacomo GRostamigiv MKhan SWooldridge MDy JNatarajan S(2024)Abstraction of situation calculus concurrent game structuresProceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence and Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence and Fourteenth Symposium on Educational Advances in Artificial Intelligence10.1609/aaai.v38i9.28933(10624-10634)Online publication date: 20-Feb-2024
https://dl.acm.org/doi/10.1609/aaai.v38i9.28933
Dima CJamroga WAgmon NAn BRicci AYeoh W(2023)Computationally Feasible StrategiesProceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems10.5555/3545946.3598712(784-792)Online publication date: 30-May-2023
https://dl.acm.org/doi/10.5555/3545946.3598712
Tabatabaei MJamroga WAgmon NAn BRicci AYeoh W(2023)Playing to Learn, or to Keep Secret: Alternating-Time Logic Meets Information TheoryProceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems10.5555/3545946.3598710(766-774)Online publication date: 30-May-2023
https://dl.acm.org/doi/10.5555/3545946.3598710
Gladyshev MAlechina NDastani MDoder DMarquis PSon TKern-Isberner G(2023)Group responsibility for exceeding risk thresholdProceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning10.24963/kr.2023/32(322-332)Online publication date: 2-Sep-2023
https://dl.acm.org/doi/10.24963/kr.2023/32
Fu CTurrini AHuang XSong LFeng YZhang L(2023)Model Checking for Probabilistic Multiagent SystemsJournal of Computer Science and Technology10.1007/s11390-022-1218-638:5(1162-1186)Online publication date: 1-Sep-2023
https://dl.acm.org/doi/10.1007/s11390-022-1218-6
Jamroga WKurpiewski DMalvone VGroß TViganò L(2022)How to measure usable securityJournal of Computer Security10.3233/JCS-21004930:3(381-409)Online publication date: 1-Jan-2022
https://dl.acm.org/doi/10.3233/JCS-210049
Bulling NGoranko V(2022)Combining quantitative and qualitative reasoning in concurrent multi-player gamesAutonomous Agents and Multi-Agent Systems10.1007/s10458-021-09531-936:1Online publication date: 1-Apr-2022
https://dl.acm.org/doi/10.1007/s10458-021-09531-9
Show More Cited By

View Options

View options

Media

Figures

Other

Tables

View Issue’s Table of Contents