×

Grounding power on actions and mental attitudes. (English) Zbl 1285.68170

Summary: 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).

MSC:

68T27 Logic in artificial intelligence
03B45 Modal logic (including the logic of norms)
68T42 Agent technology and artificial intelligence

Software:

SQEMA
PDFBibTeX XMLCite
Full Text: DOI HAL