Skip to main content
SpringerLink
Log in

Vivid agents arguing about distributed extended logic programs

  • Multi-Agent Systems and Distributed Artificial Intelligence
  • Conference paper
  • First Online:
Progress in Artificial Intelligence (EPIA 1997)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1323))

Included in the following conference series:

Abstract

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

Thanks to Luis Moniz Pereira, Wolfgang Nejdl, Daniela Plewe, and Gerd Wagner. The work is financially supported by JNICT project ACROPOLE PBIC/TIT/2519/95, the Europeu project BMFB/JNICT, and the Brasilian CAPES.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. 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. 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. J. J. Alferes and L. M. Pereira. Reasoning with Logic Programming. (LNAI 1111), Springer-Verlag, 1996.

    Google Scholar 

  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. 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. 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. 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. 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. 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. 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. Henry Prakken and Giovanni Sartor. Argument based extended logig prpgramming with defeasible priorities. Journal of Applied Non-Classical Logics, 1997.

    Google Scholar 

  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. Yoav Shoham. Agent-oriented programming. Artificial Intelligence, 60(1):51–92, 1993.

    Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

  1. Institut für Rechcergestützte Wissensverarbeitung, University of Hannover, Lange Laube 3, 30159, Hannover, Germany

    Michael Schroeder

  2. CENTRIA, Universidade Nova de Lisboa, 2825 Monte de Caparica, Portugal

    Iara Móra & José Julio Alferes

  3. D.M., Univ. Évora, Largo dos Colegiais, 7000, Évora, Portugal

    José Julio Alferes

Authors
  1. Michael Schroeder
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Iara Móra
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. José Julio Alferes
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Ernesto Coasta Amilcar Cardoso

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Schroeder, M., Móra, I., Alferes, J.J. (1997). Vivid agents arguing about distributed extended logic programs. In: Coasta, E., Cardoso, A. (eds) Progress in Artificial Intelligence. EPIA 1997. Lecture Notes in Computer Science, vol 1323. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0023924

Download citation

  • DOI: https://doi.org/10.1007/BFb0023924

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63586-4

  • Online ISBN: 978-3-540-69605-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation