A dynamic logic of institutional actions

Authors:
Andreas Herzig;Emiliano Lorini;Nicolas Troquard
Affiliations:
University of Toulouse, CNRS, IRIT, France;University of Toulouse, CNRS, IRIT, France;Laboratory of Applied Ontology, ISTC-CNR, Italy
Venue:
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Year:
2011

Citing 12
Cited 0

Ramification and causality

Artificial Intelligence
Dynamic epistemic logic with assignment

Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Logics of propositional control

AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Classificatory Aspects of Counts-as

Journal of Logic and Computation
Logics of communication and change

Information and Computation
A causal theory of ramifications and qualifications

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Embracing causality in specifying the indirect effects of actions

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
On the logic of cooperation and propositional control

Artificial Intelligence
The Logic of Acceptance

Journal of Logic and Computation
Reasoning about the transfer of control

Journal of Artificial Intelligence Research
Causal theories of action and change

AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
A dynamic logic of normative systems

IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose a logical framework to represent and reason about some important aspects of a theory of institutional action: (1) the distinctions between physical facts and actions and institutional facts and actions; (2) the distinction between causality and 'counts-as'; (3) the notion of institutional power. Technically, our contribution consists in extending a dynamic logic of propositional assignments with constructions allowing to express that an agent plays a given role; that a physical action causes another physical action; that a physical action performed by an agent playing a given role counts as an institutional action.