Higher-order coalition logic

Guido Boella, Dov M. Gabbay, Valerio Genovese, Leendert Van Der Torre

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

6 Scopus citations

Abstract

We introduce and study higher-order coalition logic, a multi modal monadic second-order logic with operators [{x}ψ]φ expressing that the coalition of all agents satisfying ψ(x) can achieve a state in which φ holds. We use neighborhood semantics to model extensive games of perfect information with simultaneous actions and we provide a framework reasoning about agents in the same way as it is reasoning about their abilities. We illustrate higher-order coalition logic to represent and reason about coalition formation and cooperation, we show a more general and expressive way to quantify over coalitions than quantified coalition logic, we give an axiomatization and prove completeness.

Original languageEnglish
Title of host publicationECAI 2010
PublisherIOS Press
Pages555-560
Number of pages6
ISBN (Print)9781607506058
DOIs
StatePublished - 2010
Externally publishedYes
Event2nd Workshop on Knowledge Representation for Health Care, KR4HC 2010, held in conjunction with the 19th European Conference in Artificial Intelligence, ECAI 2010 - Lisbon, Portugal
Duration: 17 Aug 201017 Aug 2010

Publication series

NameFrontiers in Artificial Intelligence and Applications
Volume215
ISSN (Print)0922-6389
ISSN (Electronic)1879-8314

Conference

Conference2nd Workshop on Knowledge Representation for Health Care, KR4HC 2010, held in conjunction with the 19th European Conference in Artificial Intelligence, ECAI 2010
Country/TerritoryPortugal
CityLisbon
Period17/08/1017/08/10

Fingerprint

Dive into the research topics of 'Higher-order coalition logic'. Together they form a unique fingerprint.

Cite this