Relationships between actions performed by institutional agents, human agents or software agents

Authors:
Robert Demolombe
Affiliations:
Institut de Recherche en Informatique de Toulouse, France
Venue:
DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
Year:
2010

Citing 10
Cited 0

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
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
Agent communication and institutional reality

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

Quantified Score

Hi-index	0.00

Visualization

Abstract

The paper presents a logical framework for the integration of interactions between institutional agents, human agents and software agents. It is shown, through a case study, that the relationships between actions performed by these three kinds of agents are defined in terms of the Searle's "counts as" concept and their justifications are based on the roles hold by human agents or by a causal relationships between human agent actions and software agent actions. The logical framework concentrates on the concepts of counts as, causality and role.