Reasoning about coalitional agency and ability in the logics of “bringing-it-about”

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...

Full description

Saved in:
Bibliographic Details
Published in:Autonomous agents and multi-agent systems 2014-05, Vol.28 (3), p.381-407
Main Author: Troquard, Nicolas
Format: Article
Language:English
Subjects:
Algorithmics. Computability. Computer arithmetics
Applied sciences
Artificial Intelligence
Computer Science
Computer science
control theory
systems
Computer Systems Organization and Communication Networks
Exact sciences and technology
Software Engineering/Programming and Operating Systems
Theoretical computing
User Interfaces and Human Computer Interaction
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:1387-2532
1573-7454
DOI:10.1007/s10458-013-9229-x