Development and Application of a Formal Agent Framework

  • Authors:
  • Mark d'Inverno;Michael Luck

  • Affiliations:
  • -;-

  • Venue:
  • ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
  • Year:
  • 1997

Quantified Score

Hi-index 0.00

Visualization

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.