2009 | OriginalPaper | Buchkapitel
Getting Together: A Unified Perspective on Modal Logics for Coalitional Interaction
verfasst von : Cédric Dégremont, Lena Kurzen
Erschienen in: Logic, Rationality, and Interaction
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Cooperation of agents is a major issue in fields such as computer science, economics and philosophy. The conditions under which coalitions are formed occur in various situations involving multiple agents.
Various modal logic (ML) frameworks have been developed for reasoning about coalitional power; an important one is Coalition Logic (
CL
) [7], using modalities of the form 〈[
C
〉]
φ
saying “coalition
C
has a joint strategy to ensure that
φ
”.
CL
has neighborhood semantics but can be simulated on Kripke models [3]. Another class of cooperation logics explicitly represents the strategies and actions by which groups can achieve something [8].