Abstract
The aim of this paper is to investigate the interplay between knowledge shared by a group of agents and its coalition ability. We characterize this relation in the standard context of imperfect information concurrent game. We assume that whenever a set of agents form a coalition to achieve a goal, they share their knowledge before acting. Based on this assumption, we propose a new semantics for alternating-time temporal logic with imperfect information and perfect recall. It turns out this semantics is sufficient to preserve all the desirable properties of coalition ability in traditional coalitional logics. Meanwhile, we also show that the fixed-point characterisations of coalition operators which normally fail in the context of imperfect information can be recovered through the interplay of epistemic and coalition modalities. This work provides a partial answer to the question: which kind of group knowledge is required for a group to achieve their goals in the context of 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
Notes
- 1.
It is worth to mention that [23] proposed a way to embed actions to a state so that the state-based equivalence can achieve the same meaning.
References
Ågotnes, T., Goranko, V., Jamroga, W.: Alternating-time temporal logics with irrevocable strategies. In: TARK 2007, pp. 15–24. ACM (2007)
Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM 49(5), 672–713 (2002)
Belardinelli, F.: Reasoning about knowledge and strategies: epistemic strategy logic. In: SR 2014, pp. 27–33 (2014)
Belardinelli, F.: A logic of knowledge and strategies with imperfect information. In: LAMAS 2015 (2015)
Bolander, T., Braüner, T.: Tableau-based decision procedures for hybrid logic. J. Logic Comput. 16(6), 737–763 (2006)
Bulling, N., Jamroga, W.: Comparing variants of strategic ability: how uncertainty and memory influence general properties of games. Auton. Agent. Multi-Agent Syst. 28(3), 474–518 (2014)
Bulling, N., Jamroga, W., Popovici, M.: Agents with truly perfect recall in alternating-time temporal logic. In: Proceedings of AAMAS 2014, pp. 1561–1562 (2014)
Chatterjee, K., Henzinger, T.A., Piterman, N.: Strategy logic. Inf. Comput. 208(6), 677–693 (2010)
Diaconu, R., Dima, C.: Model-checking alternating-time temporal logic with strategies based on common knowledge is undecidable. Appl. Artif. Intell. 26(4), 331–348 (2012)
van Ditmarsch, H., Halpern, J.Y., van der Hoek, W.: Handbook of Epistemic Logic. College Publications, London (2015)
van Ditmarsch, H., Knight, S.: Partial information and uniform strategies. In: Bulling, N., van der Torre, L., Villata, S., Jamroga, W., Vasconcelos, W. (eds.) CLIMA 2014. LNCS, vol. 8624, pp. 183–198. Springer, Heidelberg (2014)
Goranko, V., Van Drimmelen, G.: Complete axiomatization and decidability of alternating-time temporal logic. Theoret. Comput. Sci. 353(1), 93–117 (2006)
Herzig, A.: Logics of knowledge and action: critical analysis and challenges. In: Autonomous Agents and Multi-Agent Systems, pp. 1–35 (2014)
Herzig, A., Lorini, E.: A dynamic logic of agency I: STIT, capabilities and powers. J. Logic Lang. Inform. 19(1), 89–121 (2010)
Herzig, A., Troquard, N.: Knowing how to play: uniform choices in logics of agency. In: AAMAS 2006, pp. 209–216. ACM (2006)
van der Hoek, W., Pauly, M.: Modal logic for games and information. In: Handbook of Modal Logic, vol. 3, pp. 1077–1148 (2006)
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)
Jamroga, W., Bulling, N.: Comparing variants of strategic ability. In: IJCAI 2011, pp. 252–257 (2011)
Jamroga, W., van der Hoek, W.: Agents that know how to play. Fundamenta Informaticae 63(2), 185–219 (2004)
Jamroga, W.: Some remarks on alternating temporal epistemic logic. In: FAMAS 2003, pp. 133–140. Citeseer (2003)
Kuhn, H.W.: Extensive games and the problem of information. Contrib. Theor. Games 2(28), 193–216 (1953)
Pauly, M.: A modal logic for coalitional power in games. J. Logic Comput. 12(1), 149–166 (2002)
Ruan, J., Thielscher, M.: Strategic and epistemic reasoning for the game description language GDL-II. In: ECAI, pp. 696–701 (2012)
Schobbens, P.Y.: Alternating-time logic with imperfect recall. Electron. Notes Theoret. Comput. Sci. 85(2), 82–93 (2004)
Thielscher, M.: A general game description language for incomplete information games. In: AAAI 2010, pp. 994–999 (2010)
Van Otterloo, S., Jonker, G.: On epistemic temporal strategic logic. Electron. Notes Theoret. Comput. Sci. 126, 77–92 (2005)
Zhang, D., Thielscher, M.: A logic for reasoning about game strategies. In: AAAI 2015, pp. 1671–1677 (2015)
Acknowledgments
We are grateful to Heng Zhang for his valuable help, and special thanks are due to three anonymous referees for their insightful comments. This research was partially supported by A key project of National Science of China titled with A study on dynamic logics for games (15AZX020).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Jiang, G., Zhang, D., Perrussel, L. (2015). Knowledge Sharing in Coalitions. In: Pfahringer, B., Renz, J. (eds) AI 2015: Advances in Artificial Intelligence. AI 2015. Lecture Notes in Computer Science(), vol 9457. Springer, Cham. https://doi.org/10.1007/978-3-319-26350-2_22
Download citation
DOI: https://doi.org/10.1007/978-3-319-26350-2_22
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-26349-6
Online ISBN: 978-3-319-26350-2
eBook Packages: Computer ScienceComputer Science (R0)