
The Library
Agency and autonomy : a formal framework
Tools
Luck, Michael (Michael M.) and d'Inverno, Mark (1994) Agency and autonomy : a formal framework. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
|
PDF (Department of Computer Science Research Report)
WRAP_cs-rr-276.pdf - Other - Requires a PDF viewer. Download (1428Kb) | Preview |
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.
Item Type: | Report | ||||
---|---|---|---|---|---|
Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science | ||||
Library of Congress Subject Headings (LCSH): | Intelligent agents (Computer software) | ||||
Series Name: | Department of Computer Science research report | ||||
Publisher: | University of Warwick. Department of Computer Science | ||||
Official Date: | December 1994 | ||||
Dates: |
|
||||
Number: | Number 276 | ||||
Number of Pages: | 18 | ||||
DOI: | CS-RR-276 | ||||
Institution: | University of Warwick | ||||
Theses Department: | Department of Computer Science | ||||
Status: | Not Peer Reviewed | ||||
Publication Status: | Unpublished | ||||
Reuse Statement (publisher, data, author rights): | M. Luck and M. d'Inverno, “A Formal Framework for Agency and Autonomy”, <i>Proceedings of the First International Conference on Multi-Agent Systems</i>, AAAI Press (1995) | ||||
Related URLs: |
Request changes or add full text files to a record
Repository staff actions (login required)
![]() |
View Item |
Downloads
Downloads per month over past year