CINECA IRIS Institutional Research Information System
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Torino.
AperTO è l'archivio istituzionale Open Access destinato a raccogliere, rendere visibile e conservare la produzione scientifica dell'Università degli Studi di Torino.
EnglishWe 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 |
File in questo prodotto:
http://hdl.handle.net/2318/87320
Copyright © 2021