Abstract
The paradigm of argumentation has been used in the literature to assign meaning to knowledge bases in general, and logic programs in particular. With this paradigm, rules of a logic program are viewed as encoding arguments of an agent, and the meaning of the program is determined by those arguments that somehow (depending on the specific semantics) can defend themselves from the attacks of other arguments.
Most of the work on argumentation-based logic programs semantics has focused on assigning meaning to single programs. In this paper we propose an argumentation-based negotiation semantics for distributed knowledge bases represented as extended logic programs that extends the existing ones by considering sets of (distributed) logic programs, rather than single ones. For specifying the ways in which the various logic programs may combine their knowledge we make use of concepts that had been developed in the areas of defeasible reasoning, distributed knowledge bases, and multi-agent setting. In particular, we associate to each program P a cooperation set (the set of programs that can be used to complete the knowledge in P) and the argumentation set (the set of programs with which P has to reach a consensus).
The work was partially supported by the Brazilian CAPES, and by the European Commission within the 6th Framework Programme project REWERSE, number 506779.
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., Leite, J.A., Pereira, L.M., Przymusinska, H., Przymusinski, T.C.: Dynamic updates of non-monotonic knowledge bases. The Journal of Logic Programming 45(1–3), 43–70 (2000)
Bondarenko, A., Dung, P.M., Kowalski, R., Toni, F.: An abstract, argumentation-theoretic approach to default reasoning. Journal of Artificial Intelligence 93(1–2), 63–101 (1997)
Pereira, L.M., Schroeder, M., Damásio, C.V.: Revise: Logic programming and diagnosis. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol. 1265, pp. 353–362. Springer, Heidelberg (1997)
de Almeida Móra, I., Alferes, J.J.: Argumentative and cooperative multi-agent system for extended logic programs. In: de Oliveira, F.M. (ed.) Advances in Artificial Intelligence. LNCS (LNAI), vol. 1515, pp. 161–170. Springer, Heidelberg (1998)
Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Journal of Artificial Intelligence 77(2), 321–357 (1995)
Gelfond, M., Lifschitz, V.: Logic programs with classical negation. In: Warren, D.H.D., Szeredi, P. (eds.) 7th International Conference on LP (ICLP), pp. 579–597. MIT Press, Cambridge (1990)
Parsons, S., Sierra, C., Jennings, N.R.: Agents that reason and negotiate by arguing. Journal of Logic and Computational 8(8), 261–292 (1998)
Pereira, L.M., Alferes, J.J.: Well founded semantics for logic programs with explicit negation. In: European Conference on Artificial Intelligence (ECAI), pp. 102–106. John Wiley & Sons, Chichester (1992)
Pollock, J.L.: Defeasible reasoning with variable degrees of justification. Journal of Artificial Intelligence 133, 233–282 (2002)
Prakken, H., Sartor, G.: Argument-based extended logic programming with defeasible priorities. Journal of Applied Non-Classical Logics 7, 25–75 (1997)
Prakken, H., Vreeswijk, G.A.W.: Chapter Logics for Defeasible Argumentation, 2nd edn. Handbook of Philosophical Logic, vol. 4, pp. 218–319. Kluwer Academic Publishers, Dordrecht (2002)
Schroeder, M., Schweimeier, R.: Arguments and misunderstandings: Fuzzy unification for negotiating agents. Journal of Computational Logic in Multi-Agent Systems 93, 1–18 (2002)
Schroeder, M., de Almeida Móra, I., Alferes, J.J.: Vivid agents arguing about distributed extended logic programs. In: Costa, E. (ed.) EPIA 1997. LNCS, vol. 1323, pp. 217–228. Springer, Heidelberg (1997)
Schweimeier, R., Schroeder, M.: Notions of attack and justified arguments for extended logic programs. In: van Harmelen, F. (ed.) 15th European Conference on Artificial Intelligence, IOS Press, Amsterdam (2002)
Vreeswijk, G.A.W.: Abstract argumentation systems. Journal of Artificial Intelligence 90(1–2), 225–279 (1997)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
de Almeida, I.C., Alferes, J.J. (2007). An Argumentation-Based Negotiation for Distributed Extended Logic Programs. In: Inoue, K., Satoh, K., Toni, F. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2006. Lecture Notes in Computer Science(), vol 4371. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69619-3_11
Download citation
DOI: https://doi.org/10.1007/978-3-540-69619-3_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69618-6
Online ISBN: 978-3-540-69619-3
eBook Packages: Computer ScienceComputer Science (R0)