Summary
The paper presents an ongoing research project that uses Logic Programming, Linear Logic Programming, and their related techniques for executable specifications and rapid prototyping of Multi-Agent Systems. The MAS paradigm is an extremely rich one and we believe that Logic Programming will play a very effective role in this area, both as a tool for developing real applications and as a semantically well founded language for basing program analysis and proof of properties on.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
A. Abderrahamane, D. Chan, P. Dufresne, E. Falvey, H. Grant, A. Herold, G. Macartney, M. Meier, D. Miller, S. Mudambi, B. Perez, E. van Rossum, J. Schimpf, P. A. Tsahageas, D. H. de Villeneuve. ECLiPSe 3.5 User Manual. European Computer Research Center, Munich, December 1995.
J.M. Andreoli, R. Pareschi. Linear Objects: Logical Processes with Built-In Inheritance. In D.H. Warren and P.Szeredi, editors, Proceedings of the 7th International Conference on Logic Programming, pages 495–510. The MIT Press, Cambridge MA, 1990.
M. Bugliesi, G. Delzanno, L. Liquori, M. Martelli. A Linear Logic Calculus of Objects. In Proceedings of the Joint International Conference and Symposium on Logic Programming, pages 67–81. The MIT Press, 1996.
M. Bozzano, G. Delzanno, M. Martelli. A Linear Logic Specification of Chimera.In Proceedings of DYNAMICS’97, a satellite workshop of ILPS ’97, 1997.
R. A. Brooks. Intelligence without representation. Artificial Intelligence, 47:139–159, 1991.
J. Chirimar. Proof Theoretic Approach to Specification Languages. PhD thesis, Department of Computer and Information Science, University of Pennsylvania, 1995.
G. Delzanno. Logic & Object-Oriented Programming in Linear Logic.PhD thesis, Università of Pisa, Dipartimento di Informatica, March 1997.
P. Dart, E. Kazmierckaz, M. Martelli, V. Mascardi, L. Sterling, V.S.Subrahmanian, F. Zini. Combining Logical Agents with Rapid Prototyping for Engineering Distributed Applications. Submitted to FASE’99.
G. Delzanno M. Martelli. Objects in Forum. In Proceedings of the International Logic Programming Symposium, pages 115–129. The MIT Press, 1995.
J.Y. Girard. Linear logic. Theoretical Computer Science, 50:1:1–102, 1987.
J. Hodas, D. Miller. Logic Programming in a Fragment of Intuitionistic Linear Logic. Information and Computation, 110(2):327–365, 1994.
J. Harland, D. Pym, M. Winikoff. Programming in Lygon: An overview. In M. Wirsing and M. Nivat, editors, Algebraic Methodology and Software Technology, volume 1101 of Lecture Notes in Computer Science, pages 391–405. Springer-Verlag, Munich Germany, July 1996.
R. Kowalski, 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.
R. A. Kowalski, F. Sadri. From Logic Programming to Multi-agent Systems. Submitted to publication, 1998.
M. Luck, M. D’Inverno. A Formal Framework for Agency and Autonomy. In Proc. of the First International Conference on Multi-Agent Systems (ICMAS-95), pages 254–260, San Francisco CA, June 1995.
Y. Lesperance, H. Levesque, F. Lin, D. Marcu, R. Reiter, R. BScherl. Foundations of a Logical Approach to Agent Programming.In M. Wooldridge, J. P. Müller,M. Tambe, editors, Intelligent Agents II, pages 331–346. Springer-Verlag, 1995. LNAI 1037.
D. Miller. The π-calculus as a theory in linear logic: Preliminary results.In E. Lamma P. Mello, editors, Proceedings of the 1992 Workshop on Extention to Logic Programming, volume 660 of Lecture Notes in Computer Science, pages 242–265. Springer-Verlag, Berlin, 1993.
D. Miller. Survey of Linear Logic Programming. Computational Logic: The Newsletter of the European Network of Excellence in Computational Logic, 2(2):63–67, 1995
D. Miller. Forum: A Multiple-Conclusion Specification Logic. Theoretical Computer Science,165(1):201–232, 1996
D. Miller. Survey of Linear Logic Programming. Computational Logic: The Newsletter of the European Network of Excellence in Computational Logic, 2(2):63–67, 1995.
D. Miller. Forum: A Multiple-Conclusion Specification Logic. Theoretical Computer Science, 165(1):201–232, 1996.
J. Mayfield, Y. Labrou, T. Finin. Evaluation of KQML as an Agent Communication Language. In M. Wooldridge, J. P. Müller, M. Tambe, editors, Intelligent Agents II, pages 347–360. Springer-Verlag, 1995. LNAI 1037.
V. Mascardi, E. Merelli. Agent-Oriented and Constraint Technologies for Distributed Transaction Management. Submitted to IIA’99.
R. McDowell, D. Miller, C. Palamidessi. Encoding transition systems in sequent calculus. ENTCS, 3, 1996.
M. Martelli, V. Mascardi, F. Zini. Applying logic programming to the specification of complex applications. Mathematical Modeling and Scientific Computing, 8, 1997. Proc. of 11th International Conference on Mathematical and Computer Modeling and Scientific Computing.
M. Martelli, V. Mascardi, F. Zini. Towards Multi-Agent Software Prototyping. In H. S. Nwana D. T. Ndumu, editors, Proc. of The Third International Conference and Exhibition on The Practical Application of Intelligent Agents and Multi-Agent Technology (PAAM98), pages 331–354, London UK, March 1998.
M. Mulder, J. Treur, M. Fisher.Agent Modelling in METATEM and DESIRE. In Intelligent Agents IV. Springer-Verlag, 1997. LNAI 1365.
D. T. Ndumu, H. S. Nwana.Research and development challenges for agent-based systems.IEEE Proceedings of Software Engineering, 144(1):2–10, February 1997.
R. Orfaly, D. Harkey, and J. Edwards. Instant CORBA. John Wiley and Sons, 1997.
M. De Pedrini. CaseLP Visualizer: un tool di visualizzazione per sistemi multi agente logici. Master’s thesis, DISI - Università di Genova, Genova Italy, 1998. In Italian.
G. Persano. Gestione Distribuita di Informazioni Mediche Mediante Tecniche Multi-Agente. Master’s thesis, DISI - Università di Genova, Genova, Italy, 1998. In Italian.
R. S. Pressman. Software Engineering. A Practitioner’s Approach. McGraw-Hill International, UK, 3rd edition, 1994. European Edition. Adapted by D. Ince.
A. S. Rao. AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language. In W. Van de Velde and J. W. Perram, editors, Agents Breaking Away, pages 42–55. Springer-Verlag, 1996. LNAI 1038.
A. Rao and R. Georgeff. Modeling Rational Agents within a BDI- Architecture. In R. Fikes and E. Sandewall, editors, Proc. of Knowledge Representation and Reasoning (KR&R-91), pages 473–484, San Mateo, CA, 1991. Morgan Kaufmann Publishers.
M. Schroeder and G. Wagner. Vivid Agents: Theory, Architecture, and Applications. Submitted to the Journal of Logic and Computation.
G. Wagner. Artificial Agents and Logic Programming. In Proc. of ICLP’97 Post Conference Workshop on Logic Programming and Multi- Agents, pages 69–87, Leuven, Belgium, July 1997.
M. Wooldridge and N. R. Jennings. Intelligent agents: Theory and practice. The Knowledge Engineering Review, 10(2):115–152, 1995.
M. Wooldridge. The Logical Model of Computational Multi-Agent Systems. PhD thesis, Department of Computation, UMIST, Manchester, UK, October 1992.
M. Wooldridge. Agent-based software engineering. IEE Proceedings of Software Engineering, 144(1):26–37, February 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Bozzano, M., Delzanno, G., Martelli, M., Mascardi, V., Zini, F. (1999). Logic Programming and Multi-Agent Systems: A Synergic Combination for Applications and Semantics. In: Apt, K.R., Marek, V.W., Truszczynski, M., Warren, D.S. (eds) The Logic Programming Paradigm. Artificial Intelligence. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-60085-2_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-60085-2_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-64249-4
Online ISBN: 978-3-642-60085-2
eBook Packages: Springer Book Archive