Paper Info
Title
Reasoning about coalitional agency and ability in the logics of "bringing-it-about"
Abstract
The logics of "bringing-it-about" have been part of a prominent tradition for the formalization of individual and institutional agency. They are the logics to talk about what states of affairs an acting entity brings about while abstracting away from the means of action. Elgesem's proposal analyzes the agency of individual agents as the goal-directed manifestation of an individual ability. It has become an authoritative modern reference. The first contribution of this paper is to extend Elgesem's logic of individual agency and ability to coalitions. We present a general theory and later propose several possible specializations. As a second contribution, we offer algorithms to reason with the logics of bringing-it-about and we analyze their computational complexity.
Year
DOI
Venue
2014
10.1007/s10458-013-9229-x
Autonomous Agents and Multi-Agent Systems
Keywords
Field
DocType
Logic,Bringing-it-about,Coalitions,Agency,Ability,Complexity
Cognitive science,Computer science,Artificial intelligence,Machine learning,Computational complexity theory
Journal
Volume
Issue
ISSN
28
3
1387-2532
Citations 
PageRank 
References 
7
0.45
24
Authors
1
Name
Order
Citations
PageRank
Nicolas Troquard126629.54