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.
Titolo: | Higher-Order Coalition Logic | |
Autori Riconosciuti: | ||
Autori: | G. Boella;D. M. Gabbay;V. Genovese;L. v. der Torre. | |
Data di pubblicazione: | 2010 | |
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. | |
Editore: | IOS Press | |
Titolo del libro: | Frontiers in Artificial Intelligence and Applications | |
Volume: | 215 | |
Pagina iniziale: | 555 | |
Pagina finale: | 560 | |
Nome del convegno: | European Conference on Artificial Intelligence - ECAI 2010 | |
Luogo del convegno: | Lisbona | |
Anno del convegno: | 16-20 agosto 2010 | |
Digital Object Identifier (DOI): | 10.3233/978-1-60750-606-5-555 | |
ISBN: | 9781607506058 | |
URL: | http://www.booksonline.iospress.nl/Content/View.aspx?piid=17810 | |
Appare nelle tipologie: | 04A-Conference paper in volume |