Grounding power on actions and mental attitudes

Emiliano Lorini (1, 2) , Nicolas Troquard (3) , Andreas Herzig (1, 2) , Jan Broersen (4)

1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
2 CNRS - Centre National de la Recherche Scientifique
3 University of Liverpool
4 Universiteit Utrecht / Utrecht University [Utrecht]

The main objective of this work is to develop a logic called IAL (Intentional Agency Logic) in which we can reason about mental states of agents, action occurrences, and agentive and group powers. IAL will be exploited for a formal analysis of different forms of power such as an agent i's power of achieving a certain result and an agent i's power over another agent j (alias social power).

Mots clés: Modal logic; BDI; Agency; Social powers

Domaines: Intelligence artificielle [cs.AI]; Apprentissage [cs.LG]; Logique en informatique [cs.LO]; Informatique et langage [cs.CL]

Emiliano Lorini, Nicolas Troquard, Andreas Herzig, Jan Broersen. Grounding power on actions and mental attitudes. Logic Journal of the IGPL, 2013, Special issue of best papers of FAMAS 2007, 21 (3), pp.311-331. ⟨10.1093/jigpal/jzr039⟩. ⟨hal-01153715⟩