Causality in the context of multiple agents

Authors:
Robert Demolombe
Affiliations:
Institut de Recherche en Informatique de Toulouse, France
Venue:
DEON'12 Proceedings of the 11th international conference on Deontic Logic in Computer Science
Year:
2012

Citing 4
Cited 0

On the logic of coalitional games

AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Deontic and Action Logics for Organized Collective Agency, Modeled through Institutionalized Agents and Roles

Fundamenta Informaticae - Deontic Logic in Computer Science
A logic for reasoning about counterfactual emotions

Artificial Intelligence
Relationships between obligations and actions in the context of institutional agents, human agents or software agents

Artificial Intelligence and Law - Special issue on Deontic Logic and Normative Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

The formal definition of causality raises non trivial issues in the case of several agents acting together. Several action operators are defined in the semantics of a multi modal logic. The approach which is proposed is an extension to several agents of the "bringing it about" operators. A joint action operator is defined which holds the property of non monotonicity with respect to sets of agents. It is refined in a restricted joint operator for cases where several sets of agents cause independently a state of affairs and it is extended to sets of agents who are acting indirectly. The formal definitions are evaluated with respect to several typical case studies and a detailed comparison with other approaches based on the STIT operators is presented.