DocumentCode
3346684
Title
Development and application of a formal agent framework
Author
d´Inverno, Mark ; Luck, Michael
Author_Institution
Dept. of Comput. Sci., Westminster Univ., London, UK
fYear
1997
fDate
12-14 Nov. 1997
Firstpage
222
Lastpage
231
Abstract
Previous work has addressed the development of a framework to categorise and understand agent-based systems. It described and formalised an agent-hierarchy that included objects, agents and autonomous agents, each with different levels of functionality, and provided a precise vocabulary with which to discuss agent systems. This paper reviews a large variety of further work that has built on that foundation in several ways. First, the framework itself has been refined to detail important aspects of agent functionality such as goal generation and adoption. Second, the structures and relationships between agents have been specified and analysed allowing a more complete understanding of the dynamics of agent systems. Third, existing systems and theories have been formalised within the framework so that they may be evaluated and compared in a coherent and consistent way. Finally, some steps have been taken in attempting to construct a methodology for the development of agent-based systems. Though this work spans a large range of concerns, it is based on a single set of basic concepts providing fundamental structure.
Keywords
cooperative systems; formal specification; object-oriented programming; software agents; systems analysis; agent-based systems; autonomous agent; formal agent framework; functionality; goal generation; Application software; Autonomous agents; Computer science; Contracts; Distributed control; Formal specifications; Intelligent agent; Vocabulary;
fLanguage
English
Publisher
ieee
Conference_Titel
Formal Engineering Methods., 1997. Proceedings., First IEEE International Conference on
Conference_Location
Hiroshima, Japan
Print_ISBN
0-8186-8002-4
Type
conf
DOI
10.1109/ICFEM.1997.630429
Filename
630429
Link To Document