Development and application of a formal agent framework

Mark d'Inverno*, Michael Luck

*Corresponding author for this work

Research output: Chapter in book/report/conference proceedingConference proceedingpeer-review

31 Citations (Scopus)

Abstract

Previous work has addressed the development of a framework to categorize and understand agent-based systems. It described and formalized 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 analyzed allowing a more complete understanding of the dynamics of agent systems. Third, existing systems and theories have been formalized 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.

Original languageEnglish
Title of host publicationFirst IEEE International Conference on Formal Engineering Methods
PublisherIEEE
Pages222-231
Number of pages10
ISBN (Print)0818680024
DOIs
Publication statusPublished - 12 Nov 1997
Event1st International Conference on Formal Engineering Methods, ICFEM 1997 - Hiroshima, Japan
Duration: 12 Nov 199714 Nov 1997
https://ieeexplore.ieee.org/xpl/conhome/4977/proceeding

Conference

Conference1st International Conference on Formal Engineering Methods, ICFEM 1997
Country/TerritoryJapan
CityHiroshima
Period12/11/9714/11/97
Internet address

Fingerprint

Dive into the research topics of 'Development and application of a formal agent framework'. Together they form a unique fingerprint.

Cite this