Coalitions in Action Logic

Borgo, Stefano

Coalitions in Action Logic

Download BibTeX Cite

Proceedings of the Twentieth International Joint Conference on Artificial Intelligence. Pages 1822-1826.

Abstract

If modal logics for coalitions need to be applied, one must know how to translate coalition power into agents' actions. To these days, the connection between coalition power and the actions of the agents has not been studied in the literature. This paper fills the gap by presenting a semantic translation from Pauly's Coalition Logic to a (fragment of an) action logic. The interpretation of the empty coalition in Pauly's system and the representation of the notion of ability are discussed.

Stefano Borgo. 2007. Coalitions in Action Logic. In Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, IJCAI-07. IJCAI, 1822–1826. https://ijcai.org/proceedings/2007/294

@inproceedings{ijcai2007p294,
  title     = {Coalitions in Action Logic},
  author    = {Borgo, Stefano},
  booktitle = {Proceedings of the Twentieth International Joint Conference on
               Artificial Intelligence, {IJCAI-07}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Ramon López de Mántaras},
  pages     = {1822--1826},
  year      = {2007},
  url       = {https://ijcai.org/proceedings/2007/294},
}

TY  - CPAPER
TI  - Coalitions in Action Logic
AU  - Borgo, Stefano
T2  - Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, IJCAI-07
PB  - International Joint Conferences on Artificial Intelligence
PY  - 2007
SP  - 1822
EP  - 1826
UR  - https://ijcai.org/proceedings/2007/294
ER  -