Abstract
The ability to view extended logic programs as argumentation systems opens the way for the use of this language in formalizing communication among reasoning computing agents in a distributed framework. In this paper we define an argumentative and cooperative multi-agent framework, introducing credulous and sceptical conclusions. We also present an algorithm for inference and show how the agents can have more credulous or sceptical conclusions.
Thanks to Luis Moniz Pereira and Michael Schroeder for their valuable comments. The work is financially supported by the Portuguese JNICT and Brazilian CAPES.
This is a preview of subscription content, log in via an institution to check access.
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
Alferes, J.J., Damásio, C.V., Pereira, L.M.: A logic programming system for non-monotonic reasoning. Journal of Automated Reasoning 14(1), 93–147 (1995)
Alferes, J.J., Pereira, L.M.: Reasoning with Logic Programming. LNCS (LNAI), vol. 1111. Springer, Heidelberg (1996)
Dung, P.M.: An argumentation semantics for logic programming with explicit negation. In: 10th ICLP, pp. 616–630. MIT Press, Cambridge (1993)
Dung, P.M.: 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)
Gelfond, M., Lifschitz, V., Warren, Szeredi: Logic programs with classical negation. In: Warren, Szeredi (eds.) 7th ICLP, pp. 579–597. MIT Press, Cambridge (1990)
Móra, I.A., Alferes, J.J.: Argumentation and cooperation for distributed extended logic programs. In: Dix, J., Lobo, J. (eds.) 7th International Workshop on Nonmonotonic Reasoning, NMRW (1998)
Pereira, L.M., Alferes, J.J.: Well founded semantics for logic programs with explicit negation. In: ECAI, pp. 102–106. John Wiley & Sons, Chichester (1992)
Prakken, H., Sartor, G.: Argument-based extended logic programming with defeasible priorities. Journal of Applied Non-Classical Logics (1997)
Przymusinski, T.: Extended stable semantics for normal and disjunctive programs. In: Warren, Szeredi (eds.) 7th ICLP, pp. 459–477. MIT Press, Cambridge (1990)
Schroeder, M., Móra, I.A., Alferes, J.J.: Vivid agents arguing about distributed extended logic programs. In: Costa, E., Cardoso, A. (eds.) EPIA 1997. LNCS (LNAI), vol. 1323., pp. 217–228. Springer, Heidelberg (1997)
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
de Almeida Móra, I., Alferes, J.J. (1998). Argumentative and Cooperative Multi-agent System for Extended Logic Programming. In: de Oliveira, F.M. (eds) Advances in Artificial Intelligence. SBIA 1998. Lecture Notes in Computer Science(), vol 1515. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10692710_17
Download citation
DOI: https://doi.org/10.1007/10692710_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65190-1
Online ISBN: 978-3-540-49523-9
eBook Packages: Springer Book Archive