Relationships between Actions Performed by Institutional Agents, Human Agents or Software Agents

摘要

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.