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

Authors:
Nicolas Troquard
Affiliations:
Laboratory for Applied Ontology, Institute of Cognitive Sciences and Technologies (CNR), Povo, Italy 38123
Venue:
Autonomous Agents and Multi-Agent Systems
Year:
2014

Citing 15
Cited 0

On the complexity of epistemic reasoning

Proceedings of the Fourth Annual Symposium on Logic in computer science
A guide to completeness and complexity for modal logics of knowledge and belief

Artificial Intelligence
Dynamic Logic

Dynamic Logic
Alternating-time temporal logic

Journal of the ACM (JACM)
A Role Based Model for the Normative Specification of Organized Collective Agency and Agents Interaction

Autonomous Agents and Multi-Agent Systems
Agency and the Logic of Ability

Proceedings of the Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence: Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications
Specifying and reasoning with institutional agents

ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Knowing how to play: uniform choices in logics of agency

AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Embedding Alternating-time Temporal Logic in Strategic Logic of Agency

Journal of Logic and Computation
A normal simulation of coalition logic and an epistemic extension

TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
Model Checking Strategic Equilibria

Model Checking and Artificial Intelligence
A logic of delegation

Artificial Intelligence
Coalitional agency and evidence-based ability

Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
Deontic and Action Logics for Organized Collective Agency, Modeled through Institutionalized Agents and Roles

Fundamenta Informaticae - Deontic Logic in Computer Science
Strategic games and truly playable effectivity functions

Autonomous Agents and Multi-Agent Systems

Quantified Score

Hi-index	0.00

Visualization

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.