Argumentation and the dynamics of warranted beliefs in changing environments

Autonomous Agents and Multi-Agent Systems

Volumn 11, Issue 2, 2005, Pages 127-151

  Capobianco, Marcela ^a   Chesñevar, Carlos I ^a,b   Simari, Guillermo R ^a  

^a UNIVERSIDAD NACIONAL DEL SUR   (Argentina)

^b UNIVERSITY OF LLEIDA   (Spain)

Author keywords

Argumentation; Defeasible logic programming; Logic programming; Multi agent systems

Indexed keywords

EID: 24144496480     PISSN: 13872532     EISSN: 15737454     Source Type: Journal    
DOI: 10.1007/s10458-005-1354-8     Document Type: Article

References (35)

1. M. J. Wooldridge, Introduction to Multiagent Systems. Wiley, 2002.
2. C. I. Chesfievar, A. Maguitman, and R. Loui, "Logical models of argument," ACM Comput. Surv., Vol. 32, pp. 337-383, 2000.
3. H. Prakken and G. Vreeswijk, "Logical systems for defeasible argumentation," in D. Gabbay, (ed.), Handhook of Philosophical Logic, Vol. 4, Kluwer Academic Publisher: Dordrecht 2002, pp. 219-318.
4. M. Gelfond and V. Lifschitz, "Classical negation in logic programs and disjunctive databases," New Generation Comput., pp. 365-385, 1991.
5. A. Garcia and G. Simari,"Defeasible logic programming: an argumentative approach," Theory and Practice of Logic Programming vol. 4, pp. 95-138, 2004.
6. C. Alehourrón, P. Gärdenfors and D. Makinson, " On the logic of theory change: Partial meet contraction and revision functions," J. Symbolic Logic vol. 50, pp. 510-530, 1985.
7. H. Katsuno and A. Mendelzon, "On the difference between updating a knowledge base and revising it," in P. Gardenfors (ed.), Belief Revision, Cambridge University Press, 1992, pp. 183-203.
8. P. Gäardenfors, Knowledge in Flux: Modelling the Dynamics of Epistemic States. The MIT Press, Bradford Books, Cambridge, MA, 1988.
9. J. L. Pollock, "Taking perception seriously," in: Proceedings of the 1st International Conference on Autonomous Agent, 1997, pp. 526-527.
10. J. Doyle, "A truth maintenance system," Artif. Intell., vol. 12, pp. 231-272, 1979.
11. J. de Kleer, "An assumption-based TMS," Artif, Intell., vol. 28, pp. 127-162, 1986.
12. J. de Kleer,"A comparison of ATMS and CSP techniques," in N. S. Sridharan (ed.), Proceedings of the 11th IJCAI, Workshop on Practical Reasoning and Rationality, Detroit, USA, 1989, pp. 290-296.
13. C. Elkan, "A rational reconstruction of nonmonotonic truth maintenance systems," Artif. Intell., vol. 43, pp. 219-234, 1990.
14. D. McAllester, "Truth maintenance," in R. Smith and T. Mitchell (eds.), Proceedings of the 8th National Conference on Artificial Intelligence, vol. 2., American Association for Artificial Intelligence, AAAI Press, 1990, pp. 1109-1116.
15. K. Forbus and J. de Kleer, Building Problem Solvers, MIT Press, Cambridge, MA, 1993.
16. A. L. Brown,"Modal propositional semantics for reason maintenance systems," in: Proceedings of International Joint Conference on Artificial Intelligence, 1985, pp. 178-183.
17. C. Chesñevar, A. Maguitman, and R. Loui, "Logical models of argument," ACM Comput. Surv., vol. 32, pp. 337-383, 2000.
18. C. Reed and T. E. Norman, Argumentation Machines - New Frontiers in Argument and Computation, vol. 9 of Series Argumentation Library, Springer, 2005.
19. H. Prakken and G. Sartor, "Argument-based extended logic programming with defeasible priorities," Appl. Non-classical Logics, vol. 7, pp. 25-752, 1997.
20. I. Rahwan, S. Ramchurn, N. Jennings, P. McBurney, S. Parsons, and L. Sonenberg, " Argumentation-based negotiation," Knowl. Eng. Rev., vol. 18, pp. 343-375, 2003.
21. D. Carbogim, D. Robertson, and J. Lee,"Argument-based applications to knowledge engineering", Knowl. Eng. Rev., vol. 15, pp. 119-149, 2000.
22. C. I. Chesñevar, G. Simari, T. Alsinet and L. Godo,"A logic programming framework for possibilistic argumentation with vague knowledge," in: Proceedings of the International Conference in Uncertainty in Artificial Intelligence (UAI 2004), Canada, 2004, pp. 76-84.
23. C. I. Chesñevar, G. Simari, T. Alsinet, and L. Godo,"Modelling agent reasoning in a logic programming framework for possibilistic argumentation," in: Proceedings of the 2nd European Workshop on Multiagent Systems. Barcelona, Spain, 2004, pp. 135-142.
24. G. R. Simari and R. P. Loui, "A mathematical treatment of defeasible reasoning and its implementation," Artif. Intell., vol. 53, pp. 125-157, 1992.
25. J. W. Lloyd, Foundations of Logic Programming. Springer-Verlag, 1987.
26. D. L. Poole, "On the comparison of theories: preferring the most specific explanation," in: Proceedings of the 9th IJCAI, 1985, pp. 144-147.
27. M. Capobianco, "Argumentación rebatible en entornos dinámicos," Ph.D. thesis, Universidad Nacional del Sur, Bahía Blanca, Argentina, 2003.
28. G. R. Simari, C. I. Chesñevar, and A. J. Garcia, "The role of dialectics in defeasible argumentation," in: Proceedings of the XIV Conferencia Internacional de la Sociedad Chilena para Ciencias de la Computación, 1994, pp. 111-121.
29. C. Chesñevar, J. Dix, F. Stolzenburg, and G. Simari, "Relating defeasible and normal logic programming through transformation properties," Theor. Comput. Sci., vol. 290, pp. 499-529, 2003.
30. J. J. Alferes and L. M. Pereira, "On logic program semantics with two kinds of negation," in: Proceedings of the Joint International Conference and Symposium on Logic Programming, USA, 1992, pp. 574-588.
31. C. Chesfievar and G. R. Simari, "Distinguishing ground from nonground information in defeasible argumentation," in: Proceedings del I Congreso Argentino en Ciencias de la Computación, Universidad Nacional del Sur, Argentina, 1995, pp. 527-538.
32. A. J. Garcia, C. I. Chesñevar, and G. R. Simari," Making argumentative systems computationally attractive," in: XIII International Conference of the Chilenean Computer Science Society, 1993, pp. 335-344.
33. C. Baral and M. Gelfond, "Reasoning agents in dynamic domains," in: J. Minker, (ed.), Workshop on Logic-Based Artificial Intelligence, College Park, Maryland, Computer Science Department, University of Maryland, 1999.
34. L. Amgoud and C. Cayrol,"On the use of an atms for handling conflicting desires," in: Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004, pp. 194-202.
35. Phan Minh Dung, "On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games," Artif. Intell., vol. 77, pp. 321-358, 1995.