Formal Engineering Methods, International Conference on (1997)
Nov. 12, 1997 to Nov. 14, 1997
Mark d'Inverno , University of Westminster, London
Michael Luck , University of Warwick, Coventry
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.
M. Luck and M. d'Inverno, "Development and Application of a Formal Agent Framework," Formal Engineering Methods, International Conference on(ICFEM), Hiroshima, JAPAN, 1997, pp. 222.