Vivid agents arguing about distributed extended logic programs

  • Michael Schroeder
  • Iara Móra
  • José Julio Alferes
Multi-Agent Systems and Distributed Artificial Intelligence
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1323)


Argumentation semantics in extended logic programming has been defined in [5,121 for a single agent which determines its believes by an internal argumentation process. In this paper we extend the initial argumentation framework to a multi-agent setting including both argumentation and cooperation. We define inference for multi-agent systems and define an algorithm for inference. We sketch an argumentation protocol and line out by an example how it is implemented using vivid agents [15,13].


Multi-Agent Systems Argumentation Logic Programming 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    J. J. Alferes, C. V. Damásio, and L. M. Pereira. Top-down query evaluation for well-founded semantics with explicit negation. In A. Cohn, editor, Proc. of the European Conference on Artificial Intelligence'94, pages 140–144. John Wiley & Sons, August I994.Google Scholar
  2. 2.
    J. J. Alferes, C. V. Damásio, and L. M. Pereira. A top-down derivation procedure for programs with explicit negation. In M. Bruynooghe, editor, Proc. of the International Logic Programming Symposium'94, pages 424–438. MIT Press, November 1994.Google Scholar
  3. 3.
    J. J. Alferes, C. V. Damásio, and L. M. Pereira. A logic programming system for nonmonotonic reasoning. Journal of Automated Reasoning, 14(1):93–147, 1995.Google Scholar
  4. 4.
    J. J. Alferes and L. M. Pereira. Reasoning with Logic Programming. (LNAI 1111), Springer-Verlag, 1996.Google Scholar
  5. 5.
    P. M. Dung. An argumentation semantics for logic programming with explicit negation. In Proc. of the 10th International Conference on Logic Programming, pages 616–630. MIT Press, 1993.Google Scholar
  6. 6.
    P. M. Dung. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence, 77(2):321–357, 1995.Google Scholar
  7. 7.
    T. Finin, J. Weber, G. Wiederhold, M. Genesereth, R. Fritzson, D. McKay, J. McGuire, R. Pelavin, S. Shapiro, and C. Beck. Specification of the KQML agent communication language. Technical report, The DARPA Knowledge Sharing Initiative, External Interfaces Working Group, Baltimore, USA, 1993.Google Scholar
  8. 8.
    Allen Van Gelder, Kenneth Ross, and John S. Schlipf. Unfounded sets and well-founded semantics for general logic programs. In Proceeding of the 7th ACM Symposium on Principles of Databse Systems, pages 221–230. Austin, Texas, 1988.Google Scholar
  9. 9.
    L. M. Pereira, J. N. Apar'cio, and J. J. Alferes. Non-monotonic reasoning with logic programming. Journal of Logic Programming. Special issue on Nonmonotonic reasoning, 17(2, 3 & 4), 25–55. 1993.Google Scholar
  10. 10.
    L. M. Pereira, C. V. Damásio, and J. J. Alferes Diagnosis and debugging as contradiction removal. In L. M. Pereira and A. Nerode, editors, 2nd Int. Workshop on Logic Programming and Non-Monotonic Reasoning, pages 334–348, Lisboa, Portugal, June 1993. MIT Press.Google Scholar
  11. 11.
    Lu's Moniz Pereira and José Júlio Alferes. Well founded semantics for logic programs with explicit negation. In B. Neumann (Ed), European Conference on Artificial Intelligence, pages 102–106. John Wiley & Sons, 1992.Google Scholar
  12. 12.
    Henry Prakken and Giovanni Sartor. Argument based extended logig prpgramming with defeasible priorities. Journal of Applied Non-Classical Logics, 1997.Google Scholar
  13. 13.
    Michael Schroeder, Rui Marques, Gerd Wagner, and José Cunha. CAP — Concurrent Action and Planning: Using PVM-Prolog to implement vivid agents. In Proceedings of the fifth Conference on Practical Applications of Prolog, 1997. to be published.Google Scholar
  14. 14.
    Yoav Shoham. Agent-oriented programming. Artificial Intelligence, 60(1):51–92, 1993.Google Scholar
  15. 15.
    Gerd Wagner. A logical and operational model of scalable knowledge-and perception-based agents In Proceedings of MAAMAW96, LNAI 1038. Springer-Verlag, 1996.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Michael Schroeder
    • 1
  • Iara Móra
    • 2
  • José Julio Alferes
    • 2
    • 3
  1. 1.Institut für Rechcergestützte WissensverarbeitungUniversity of HannoverHannoverGermany
  2. 2.CENTRIA, Universidade Nova de LisboaPortugal
  3. 3.D.M., Univ. Évora, Largo dos ColegiaisÉvoraPortugal

Personalised recommendations