Advertisement

Multi-agent Systems Development as a Software Engineering Enterprise

  • Marco Bozzano
  • Giorgio Delzanno
  • Maurizio Martelli
  • Viviana Mascardi
  • Floriano Zini
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1551)

Abstract

Multi-Agent Systems provide an ideal level of abstraction for modelling complex applications where distributed and heterogeneous entities need to cooperate to achieve a common goal, or to concur for the control of shared resources. This paper proposes a declarative framework for developing multi-agent systems. A formal approach based on Logic Programming is proposed for the specification, implementation and testing of software prototypes. Specification of the PRS agent architecture is given as an example of application of our framework.

Keywords

Plan Execution Agent Architecture Interface Agent Logic Programming Language Event Queue 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    P. Dart, E. Kazmierckaz, M. Martelli, V. Mascardi, L. Sterling, V.S. Subrahmanian, and F. Zini. Combining Logical Agents with Rapid Prototyping for Engineering Distributed Applications. Submitted to FASE’99.Google Scholar
  2. [2]
    G. Delzanno. Logic & Object-Oriented Programming in Linear Logic PhD thesis, Università di Pisa, Dipartimento di Informatica, 1997.Google Scholar
  3. [3]
    M. d’Inverno, M. Fisher, A. Lomuscio, M. Luck, M. de Rijke, M. Ryan, and M. Wooldridge. Formalisms for Multi-Agent Systems. The Knowledge Engineering Review, 12(3), 1997.Google Scholar
  4. [4]
    M. d’Inverno, D. Kinny, M. Luck, and M. Wooldridge. A Formal Specification of dMARS. In Intelligent Agents IV. Springer-Verlag, 1997. LNAI 1365.Google Scholar
  5. [5]
    M. Fisher, J. Mueller, M. Schroeder, G. Staniford, and G. Wagner. Methodological Foundations for Agent-Based Systems. The Knowledge Engineering Review, 12(3), 1997.Google Scholar
  6. [6]
    M. Georgeff and A. Lansky. Reactive Reasoning and Planning. In Proc. of the Sixth National Conference on Artificial Intelligence (AAAI-87), Seattle, WA, 1987.Google Scholar
  7. [7]
    C. A. Iglesias, J. C. Gonzáles, and J. R. Velasco. MIX: A General Purpose Multiagent Architecture. In Intelligent Agents II. Springer-Verlag, 1995. LNAI 1037.Google Scholar
  8. [8]
    R. Kowalsky and F. Sadri. Towards a Unified Agent Architecture that Combines Rationality with Reactivity. In Proc. of International Workshop on Logic in Databases, San Miniato, Italy, 1996. Springer-Verlag.Google Scholar
  9. [9]
    Y. Lesperance, H. Levesque, F. Lin, D. Marcu, R. Reiter, and R. B. Scherl. Foundations of a Logical Approach to Agent Programming. In Intelligent Agents II. Springer-Verlag, 1995. LNAI 1037.Google Scholar
  10. [10]
    S. W. Locke, L. Sterling, L. Sonenberg, and H. Kim. ARIS: A Shell for Information Agents that Exploit Web Site Structure. In Proc. of PAAM’98, London, UK, 1998.Google Scholar
  11. [11]
    M. Martelli, V. Mascardi, and F. Zini. Towards Multi-Agent Software Prototyping. In Proc. of PAAM’98, London, UK, 1998.Google Scholar
  12. [12]
    D. L. Martin, A. J. Cheyer, and D. B. Moran. Building Distributed Software Systems with the Open Agent Architecture. In Proc. of PAAM’98, London, UK, 1998.Google Scholar
  13. [13]
    J. Mayfield, Y. Labrou, and T. Finin. Evaluation of KQML as an Agent Communication Language. In Intelligent Agents II. Springer-Verlag, 1995. LNAI 1037.Google Scholar
  14. [14]
    D. Miller. Forum: A Multiple-Conclusion Specification Logic. Theoretical Computer Science, 165(1), 1996.Google Scholar
  15. [15]
    M. Mulder, J. Treur, and M. Fisher. Agent Modelling in METATEM and DESIRE. In Intelligent Agents IV. Springer-Verlag, 1997. LNAI 1365.Google Scholar
  16. [16]
    D. T. Ndumu and H. S. Nwana. Research and development challenges for agent-based systems. IEE Proc. of Software Engineering, 144(1), 1997.Google Scholar
  17. [17]
    H. S. Nwana, D. T. Ndumu, and L. C. Lee. ZEUS: An Advanced Tool-Kit for Engineering Distributed Multi-Agent Systems. In Proc. of PAAM’98, London, UK, 1998.Google Scholar
  18. [18]
    A. S. Rao and M. Georgeff. BDI Agents: from Theory to Practice. In Proc. of ICMAS’95, San Francisco, CA, 1995.Google Scholar
  19. [19]
    M. Spivey. The Z Notation (second edition). Prentice Hall International, 1992.Google Scholar
  20. [20]
    M. Wooldridge. Agent-based Software Engineering. IEE Proc. of Software Engineering, 144(1), 1997.Google Scholar
  21. [21]
    M. Wooldridge and N. R. Jennings. Intelligent Agents: Theory and Practice. The Knowledge Engineering Review, 10(2), 1995.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Marco Bozzano
    • 1
  • Giorgio Delzanno
    • 2
  • Maurizio Martelli
    • 1
  • Viviana Mascardi
    • 1
  • Floriano Zini
    • 1
  1. 1.D.I.S.I.Università di GenovaGenovaItaly
  2. 2.Max-Planck Institut für InformatikSaarbrücken

Personalised recommendations