Skip to main content
SpringerLink
Log in

Logic Programming and Multi-Agent Systems: A Synergic Combination for Applications and Semantics

  • Chapter
The Logic Programming Paradigm

Part of the book series: Artificial Intelligence ((AI))

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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.

    Google Scholar 

  2. 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.

    Google Scholar 

  3. 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.

    Google Scholar 

  4. M. Bozzano, G. Delzanno, M. Martelli. A Linear Logic Specification of Chimera.In Proceedings of DYNAMICS’97, a satellite workshop of ILPS ’97, 1997.

    Google Scholar 

  5. R. A. Brooks. Intelligence without representation. Artificial Intelligence, 47:139–159, 1991.

    Google Scholar 

  6. J. Chirimar. Proof Theoretic Approach to Specification Languages. PhD thesis, Department of Computer and Information Science, University of Pennsylvania, 1995.

    Google Scholar 

  7. G. Delzanno. Logic & Object-Oriented Programming in Linear Logic.PhD thesis, Università of Pisa, Dipartimento di Informatica, March 1997.

    Google Scholar 

  8. 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.

    Google Scholar 

  9. G. Delzanno M. Martelli. Objects in Forum. In Proceedings of the International Logic Programming Symposium, pages 115–129. The MIT Press, 1995.

    Google Scholar 

  10. J.Y. Girard. Linear logic. Theoretical Computer Science, 50:1:1–102, 1987.

    Article  MathSciNet  MATH  Google Scholar 

  11. J. Hodas, D. Miller. Logic Programming in a Fragment of Intuitionistic Linear Logic. Information and Computation, 110(2):327–365, 1994.

    Article  MathSciNet  MATH  Google Scholar 

  12. 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.

    Google Scholar 

  13. 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.

    Google Scholar 

  14. R. A. Kowalski, F. Sadri. From Logic Programming to Multi-agent Systems. Submitted to publication, 1998.

    Google Scholar 

  15. 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.

    Google Scholar 

  16. 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.

    Google Scholar 

  17. 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.

    Google Scholar 

  18. 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

    Google Scholar 

  19. D. Miller. Forum: A Multiple-Conclusion Specification Logic. Theoretical Computer Science,165(1):201–232, 1996

    Article  MATH  Google Scholar 

  20. 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.

    Google Scholar 

  21. D. Miller. Forum: A Multiple-Conclusion Specification Logic. Theoretical Computer Science, 165(1):201–232, 1996.

    Article  MathSciNet  MATH  Google Scholar 

  22. 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.

    Google Scholar 

  23. V. Mascardi, E. Merelli. Agent-Oriented and Constraint Technologies for Distributed Transaction Management. Submitted to IIA’99.

    Google Scholar 

  24. R. McDowell, D. Miller, C. Palamidessi. Encoding transition systems in sequent calculus. ENTCS, 3, 1996.

    Google Scholar 

  25. 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.

    Google Scholar 

  26. 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.

    Google Scholar 

  27. M. Mulder, J. Treur, M. Fisher.Agent Modelling in METATEM and DESIRE. In Intelligent Agents IV. Springer-Verlag, 1997. LNAI 1365.

    Google Scholar 

  28. 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.

    Article  Google Scholar 

  29. R. Orfaly, D. Harkey, and J. Edwards. Instant CORBA. John Wiley and Sons, 1997.

    Google Scholar 

  30. 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.

    Google Scholar 

  31. G. Persano. Gestione Distribuita di Informazioni Mediche Mediante Tecniche Multi-Agente. Master’s thesis, DISI - Università di Genova, Genova, Italy, 1998. In Italian.

    Google Scholar 

  32. R. S. Pressman. Software Engineering. A Practitioner’s Approach. McGraw-Hill International, UK, 3rd edition, 1994. European Edition. Adapted by D. Ince.

    Google Scholar 

  33. 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.

    Chapter  Google Scholar 

  34. 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.

    Google Scholar 

  35. M. Schroeder and G. Wagner. Vivid Agents: Theory, Architecture, and Applications. Submitted to the Journal of Logic and Computation.

    Google Scholar 

  36. 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.

    Google Scholar 

  37. M. Wooldridge and N. R. Jennings. Intelligent agents: Theory and practice. The Knowledge Engineering Review, 10(2):115–152, 1995.

    Article  Google Scholar 

  38. M. Wooldridge. The Logical Model of Computational Multi-Agent Systems. PhD thesis, Department of Computation, UMIST, Manchester, UK, October 1992.

    Google Scholar 

  39. M. Wooldridge. Agent-based software engineering. IEE Proceedings of Software Engineering, 144(1):26–37, February 1997.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. D.I.S.I.—Università di Genova, via Dodecaneso 35, I-16146, Genova, Italy

    Marco Bozzano, Maurizio Martelli, Viviana Mascardi & Floriano Zini

  2. Max-Planck-Institut für Informatik, Im Stadtwald, Gebäude 46.1, D-66123, Saarbrücken, Germany

    Giorgio Delzanno

Authors
  1. Marco Bozzano
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Giorgio Delzanno
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Maurizio Martelli
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Viviana Mascardi
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Floriano Zini
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Stichting Mathematisch Centrum, Centrum voor Wiskunde en Informatica, Kruislaan 413, 1098, Amsterdam, SJ, The Netherlands

    Krzysztof R. Apt

  2. Department of Computer Science, University of Kentucky, 773 Anderson Hall, 40506-0046, Lexington, KY, USA

    Victor W. Marek  & Mirek Truszczynski  & 

  3. Computer Science Department, University at Stony Brook, Stony Brook, 11794-4400, NY, USA

    David S. Warren

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation