nach oben

Erschienen in:

2015 | OriginalPaper | Buchkapitel

Knowledge Sharing in Coalitions

verfasst von : Guifei Jiang, Dongmo Zhang, Laurent Perrussel

Erschienen in: AI 2015: Advances in Artificial Intelligence

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel Finding Within-Organisation Spatial Information on the Web

Nächstes Kapitel Possibilistic Inferences in Answer Set Programming

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.

Å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)MathSciNetCrossRefMATH

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)MathSciNetCrossRefMATH

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)CrossRef

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)MathSciNetCrossRefMATH

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)CrossRef

10.

van Ditmarsch, H., Halpern, J.Y., van der Hoek, W.: Handbook of Epistemic Logic. College Publications, London (2015)

11.

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)

12.

Goranko, V., Van Drimmelen, G.: Complete axiomatization and decidability of alternating-time temporal logic. Theoret. Comput. Sci. 353(1), 93–117 (2006)MathSciNetCrossRefMATH

13.

Herzig, A.: Logics of knowledge and action: critical analysis and challenges. In: Autonomous Agents and Multi-Agent Systems, pp. 1–35 (2014)

14.

Herzig, A., Lorini, E.: A dynamic logic of agency I: STIT, capabilities and powers. J. Logic Lang. Inform. 19(1), 89–121 (2010)MathSciNetCrossRefMATH

15.

Herzig, A., Troquard, N.: Knowing how to play: uniform choices in logics of agency. In: AAMAS 2006, pp. 209–216. ACM (2006)

16.

van der Hoek, W., Pauly, M.: Modal logic for games and information. In: Handbook of Modal Logic, vol. 3, pp. 1077–1148 (2006)

17.

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)MathSciNetCrossRefMATH

18.

Jamroga, W., Bulling, N.: Comparing variants of strategic ability. In: IJCAI 2011, pp. 252–257 (2011)

19.

Jamroga, W., van der Hoek, W.: Agents that know how to play. Fundamenta Informaticae 63(2), 185–219 (2004)MathSciNetMATH

20.

Jamroga, W.: Some remarks on alternating temporal epistemic logic. In: FAMAS 2003, pp. 133–140. Citeseer (2003)

21.

Kuhn, H.W.: Extensive games and the problem of information. Contrib. Theor. Games 2(28), 193–216 (1953)MathSciNetMATH

22.

Pauly, M.: A modal logic for coalitional power in games. J. Logic Comput. 12(1), 149–166 (2002)MathSciNetCrossRefMATH

23.

Ruan, J., Thielscher, M.: Strategic and epistemic reasoning for the game description language GDL-II. In: ECAI, pp. 696–701 (2012)

24.

Schobbens, P.Y.: Alternating-time logic with imperfect recall. Electron. Notes Theoret. Comput. Sci. 85(2), 82–93 (2004)MathSciNetCrossRefMATH

25.

Thielscher, M.: A general game description language for incomplete information games. In: AAAI 2010, pp. 994–999 (2010)

26.

Van Otterloo, S., Jonker, G.: On epistemic temporal strategic logic. Electron. Notes Theoret. Comput. Sci. 126, 77–92 (2005)CrossRefMATH

27.

Zhang, D., Thielscher, M.: A logic for reasoning about game strategies. In: AAAI 2015, pp. 1671–1677 (2015)

Titel: Knowledge Sharing in Coalitions
verfasst von: Guifei Jiang
Dongmo Zhang
Laurent Perrussel
Verlag: Springer International Publishing
Buch: AI 2015: Advances in Artificial Intelligence
Print ISBN: 978-3-319-26349-6

Electronic ISBN: 978-3-319-26350-2

Copyright-Jahr: 2015
DOI: https://doi.org/10.1007/978-3-319-26350-2_22

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"