TY - GEN
T1 - Higher-order coalition logic
AU - Boella, Guido
AU - Gabbay, Dov M.
AU - Genovese, Valerio
AU - Van Der Torre, Leendert
PY - 2010
Y1 - 2010
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=77956041066&partnerID=8YFLogxK
U2 - 10.3233/978-1-60750-606-5-555
DO - 10.3233/978-1-60750-606-5-555
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:77956041066
SN - 9781607506058
T3 - Frontiers in Artificial Intelligence and Applications
SP - 555
EP - 560
BT - ECAI 2010
PB - IOS Press
T2 - 2nd Workshop on Knowledge Representation for Health Care, KR4HC 2010, held in conjunction with the 19th European Conference in Artificial Intelligence, ECAI 2010
Y2 - 17 August 2010 through 17 August 2010
ER -