• 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