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

Authors:
Robert Demolombe
Affiliations:
Institut de Recherche en Informatique de Toulouse, Toulouse, France
Venue:
Artificial Intelligence and Law - Special issue on Deontic Logic and Normative Systems
Year:
2011

Citing 12
Cited 1

A formal approach to protocols and strategies for (legal) negotiation

Proceedings of the 8th international conference on Artificial intelligence and law
Role-assignment in open agent societies

AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Normative Agent Reasoning in Dynamic Societies

AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Specifying and reasoning with institutional agents

ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Deontic and Action Logics for Organized Collective Agency, Modeled through Institutionalized Agents and Roles

Fundamenta Informaticae - Deontic Logic in Computer Science
Electronic institutions development environment

Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: demo papers
Electronic Institutions Infrastructure for e-Chartering

Engineering Societies in the Agents World VIII
Behaving responsible in multi-agent worlds

Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
The Logic of Acceptance

Journal of Logic and Computation
Norms, institutional power and roles: towards a logical framework

ISMIS'06 Proceedings of the 16th international conference on Foundations of Intelligent Systems
OMNI: introducing social structure, norms and ontologies into agent organizations

ProMAS'04 Proceedings of the Second international conference on Programming Multi-Agent Systems
Agent communication and institutional reality

AC'04 Proceedings of the 2004 international conference on Agent Communication

Causality in the context of multiple agents

DEON'12 Proceedings of the 11th international conference on Deontic Logic in Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

The paper presents a logical framework for the representation of interactions between institutional agents, human agents and software agents. A case study is used to analyze how obligations on institutional agents are "propagated" to human and software agents, and how actions performed by these agents count as actions that satisfy the obligations imposed to institutional agents. It is shown that the relationship between the different kinds of obligations and actions can be represented in terms of the concept of "count as" proposed by Searle, of role and of causality. The logical framework focus on those three concepts.