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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
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.
G. Delzanno. Logic & Object-Oriented Programming in Linear Logic PhD thesis, Università di Pisa, Dipartimento di Informatica, 1997.
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.
M. d’Inverno, D. Kinny, M. Luck, and M. Wooldridge. A Formal Specification of dMARS. In Intelligent Agents IV. Springer-Verlag, 1997. LNAI 1365.
M. Fisher, J. Mueller, M. Schroeder, G. Staniford, and G. Wagner. Methodological Foundations for Agent-Based Systems. The Knowledge Engineering Review, 12(3), 1997.
M. Georgeff and A. Lansky. Reactive Reasoning and Planning. In Proc. of the Sixth National Conference on Artificial Intelligence (AAAI-87), Seattle, WA, 1987.
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.
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.
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.
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.
M. Martelli, V. Mascardi, and F. Zini. Towards Multi-Agent Software Prototyping. In Proc. of PAAM’98, London, UK, 1998.
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.
J. Mayfield, Y. Labrou, and T. Finin. Evaluation of KQML as an Agent Communication Language. In Intelligent Agents II. Springer-Verlag, 1995. LNAI 1037.
D. Miller. Forum: A Multiple-Conclusion Specification Logic. Theoretical Computer Science, 165(1), 1996.
M. Mulder, J. Treur, and M. Fisher. Agent Modelling in METATEM and DESIRE. In Intelligent Agents IV. Springer-Verlag, 1997. LNAI 1365.
D. T. Ndumu and H. S. Nwana. Research and development challenges for agent-based systems. IEE Proc. of Software Engineering, 144(1), 1997.
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.
A. S. Rao and M. Georgeff. BDI Agents: from Theory to Practice. In Proc. of ICMAS’95, San Francisco, CA, 1995.
M. Spivey. The Z Notation (second edition). Prentice Hall International, 1992.
M. Wooldridge. Agent-based Software Engineering. IEE Proc. of Software Engineering, 144(1), 1997.
M. Wooldridge and N. R. Jennings. Intelligent Agents: Theory and Practice. The Knowledge Engineering Review, 10(2), 1995.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bozzano, M., Delzanno, G., Martelli, M., Mascardi, V., Zini, F. (1998). Multi-agent Systems Development as a Software Engineering Enterprise. In: Gupta, G. (eds) Practical Aspects of Declarative Languages. PADL 1999. Lecture Notes in Computer Science, vol 1551. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49201-1_4
Download citation
DOI: https://doi.org/10.1007/3-540-49201-1_4
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65527-5
Online ISBN: 978-3-540-49201-6
eBook Packages: Springer Book Archive