<%@ page language="java" contentType="text/html" %> <%-- Include common initialisation code --%> <%@ include file="/arch/common.jsp" %> <%-- The current tab --%> <% String currentTab = "Research"; %> <%-- Content of navigation pane --%> <%@ include file="nav.jsp" %> <% showCurrentLink=true; %> <%-- Current navigation location --%> <% String currentNav = "Reports and Theses"; %> <%-- Include the code for the document header --%> <%@ include file="/arch/header.jsp" %>

Research Report CS-RR-276

<%-- Include the code for the lines and navigation --%> <%@ include file="/arch/middle.jsp" %>

Michael Luck and Mark d'Inverno, Agency and Autonomy: A Formal Framework (January 1, 1995).

Abstract

With the recent rapid growth of interest in Multi-Agent Systems, both in artificial intelligence and software engineering has come an associated difficulty concerning basic terms and concepts. In particular, the terms agency and autonomy are used with increasing frequency to denote different notions with different connotations. In this paper we lay the foundations for a principled theory of agency and autonomy, and specify the relationship between them. Using the Z specification language, we describe a three-tiered hierarchy comprising objects, agents and autonomous agents where agents are viewed as objects with goals, and autonomous agents are agents with motivations.

<%@ include file="cited.html" %>

M. Luck and M. d'Inverno, "A Formal Framework for Agency and Autonomy", Proceedings of the First International Conference on Multi-Agent Systems, AAAI Press (1995)

<%-- Include the code for the document footer --%> <%@ include file="/arch/footer.jsp" %>