Formalizing dialectical explanation support for argument-based reasoning in knowledge-based systems

Expert Systems with Applications

Volumn 40, Issue 8, 2013, Pages 3233-3247

  García, Alejandro J ^a   Chesñevar, Carlos I ^a   Rotstein, Nicolás D ^a   Simari, Guillermo R ^a  

^a UNIVERSIDAD NACIONAL DEL SUR   (Argentina)

Author keywords

Abstract argumentation; Defeasible Logic Programming; Explanation support; Knowledge based systems; Structured argumentation

Indexed keywords

ABSTRACT ARGUMENTATION; ARGUMENTATION FRAMEWORKS; ARGUMENTATION SYSTEMS; COMMONSENSE REASONING; DEFEASIBLE LOGIC PROGRAMMING; REAL-WORLD; RULE BASED; STRUCTURED ARGUMENTATION;

ABSTRACTING; EXPERT SYSTEMS; LOGIC PROGRAMMING;

PROBLEM SOLVING;

EID: 84874646994     PISSN: 09574174     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.eswa.2012.12.036     Document Type: Article

References (53)

1. Amgoud, L.; Maudet, N.; & Parsons, S. (2002). An argumentation-based semantics for agent communication languages. In Proceedings of the 15th ECAI, Lyon, France (pp. 38-42).
2. Atkinson, K.; Bench-Capon, T. J. M.; & McBurney, P. (2005). Multi-agent argumentation for edemocracy. In Proceedings of the third European workshop on multi-agent systems, Belgium (pp. 35-46).
3. P. Baroni, M. Caminada, and M. Giacomin An introduction to argumentation semantics The Knowledge Engineering Review 26 4 2011 365 410
4. P. Baroni, and M. Giacomin Semantics of abstract argument systems I. Rahwan, G.R. Simari, Argumentation in artificial intelligence 2009 Springer Verlag 25 44 ISBN: 978-0-387-98196-3
5. P. Baroni, M. Giacomin, and G. Guida SCC-recursiveness: a general schema for argumentation semantics Artificial Intelligence 168 1-2 2005 162 210
6. T.J.M. Bench-Capon, and P.E. Dunne Argumentation in artificial intelligence Artificial Intelligence 171 10-15 2007 619 641
7. P. Besnard, and A. Hunter A logic-based theory of deductive arguments Artificial Intelligence 1:2 128 2001 203 235
8. P. Besnard, and A. Hunter Elements of argumentation 2008 MIT Press
9. E. Black, and A. Hunter An inquiry dialogue system Autonomous Agents and Multi-Agent Systems 19 2 2009 173 209
10. A. Bondarenko, P. Dung, R. Kowalski, and F. Toni An abstract, argumentation-theoretic approach to default reasoning Artificial Intelligence 93 1-2 1997 63 101
11. D. Bryant, and P. Krause A review of current defeasible reasoning implementations The Knowledge Engineering Review 23 03 2008 227 260
12. M. Caminada On the issue of reinstatement in argumentation M. Fisher, W. van der Hoek, B. Konev, A. Lisitsa, JELIA Lecture notes in computer science Vol. 4160 2006 Springer 111 123
13. D. Carbogim, D. Robertson, and J. Lee Argument-based applications to knowledge engineering The Knowledge Engineering Review 15 2 2000 119 149
14. Chesñevar, C.; & Simari, G. R. (2007). A lattice-based approach to computing warranted belief in skeptical argumentation frameworks. In Proceedings of 20th international joint conference on artificial intelligence (IJCAI 2007), Hyberabad, India.
15. Chesñevar, C.; Simari, G. R.; Alsinet, T.; & Godo, L. (2004). A logic programming framework for possibilistic argumentation with vague knowledge. In UAI 2004, Banff, Canada (pp. 76-84).
16. C. Chesñevar, A. Maguitman, and R. Loui Logical models of argument ACM Computing Surveys 32 4 2000 337 383
17. C. Chesñevar, A. Maguitman, and G.R. Simari Artificial intelligence applications and innovations Argument-based user support systems using defeasible logic programming IFIP Series 2006 Springer 61 69
18. C. Chesñevar, G.R. Simari, and L. Godo Computing dialectical trees efficiently in possibilistic defeasible logic programming 2005 Springer Verlag pp. 158-171
19. DeLP-home-page. (2007). Web page: .
20. P. Dung On the acceptability of arguments and its fundamental role in nomonotonic reasoning and logic programming and n-person games Artificial Intelligence 77 2 1995 321 358
21. E. Ferretti, M. Errecalde, A.J. García, and G.R. Simari An application of defeasible logic programming to decision making in a robotic environment LPNMR LNAI Vol. 4483 2007 Springer 297 302
22. G. Friedrich, and M. Zanker A taxonomy for generating explanations in recommender systems AI Magazine 32 3 2011 90 98
23. García, A. J.; Chesñevar, C. I.; & Simari, G. R. (1993). Making argument systems computationally attractive. In Actas XIII conf. internacional de la sociedad chilena para ciencias de la computación, La Serena, Chile.
24. García, A. J.; Chesñevar, C. I.; Rotstein, N. D.; & Simari, G. R. (2007). Abstract presentation of dialectical explanations in defeasible argumentation. In First international workshop on argumentation and non-monotonic reasoning (ArgNMR 07) (pp. 17-32).
25. García, A. J.; Rotstein, N. D.; & Simari, G.R. (2007). Dialectical explanations in defeasible argumentation. In ECSQARU (pp. 295-307).
26. García, A. J.; Rotstein, N. D.; Chesñevar, C. I.; & Simari, G. R. (2009). Explaining why something is warranted in defeasible logic programming. In IJCAI 2009 workshop on explanation-aware computing (ExaCt 2009).
27. A. García, N. Rotstein, M. Tucat, and G.R. Simari An argumentative reasoning service for deliberative agents KSEM LNAI Vol. 4798 2007 Springer 128 139
28. A.J. García, and G.R. Simari Defeasible logic programming: an argumentative approach Theory and Practice of Logic Programming 4 1 2004 95 138
29. S.A. Gómez, C.I. Chesñevar, and G.R. Simari Defeasible reasoning in web forms through argumentation International Journal of Information Technology & Decision Making 7 2008 71 101
30. Guida, G.; & Zanella, M. (1997). Bridging the gap between users and complex decision support systems: the role of justification. In Proceedings of the 3rd IEEE international conference on engineering of complex computer systems (pp. 229-238).
31. Jakobovits, H.; & Vermeir, D. (1999). Dialectic semantics for argumentation frameworks. In ICAIL (pp. 53-62).
32. A. Kakas, and F. Toni Computing argumentation in logic programming Journal of Logic Programming 9 4 1999 515 562
33. C. Lacave, and F.J. Diez A review of explanation methods for heuristic expert systems The Knowledge Engineering Review 19 2 2004 133 146
34. V. Lifschitz Foundations of logic programs G. Brewka, Principles of knowledge representation 1996 CSLI Publications 69 128
35. J.W. Lloyd Foundations of logic programming 2nd ed. 1987 Springer-Verlag New York
36. B. Moulin, H. Irandoust, M. Bélanger, and G. Desbordes Explanation and argumentation capabilities: towards the creation of more persuasive agents Artificial Intelligence Review 17 3 2002 169 222
37. S. Parsons, C. Sierrra, and N. Jennings Agents that reason and negotiate by arguing Journal of Logic and Computation 8 1998 261 292
38. H. Prakken An abstract framework for argumentation with structured arguments Argument & Computation 1 2 2010 93 124
39. H. Prakken, and G. Sartor The role of logic in computational models of legal argument-a critical survey A. Kakas, F. Sadri, Computational logic: logic programming and beyond 2002 Springer 342 380
40. H. Prakken, and G. Vreeswijk Logical systems for defeasible argumentation D. Gabbay, F. Guenther, Handbook of philosophical logic 2002 Kluwer Academic Publishers 219 318
41. I. Rahwan, and G.R. Simari Argumentation in artificial intelligence 2009 Springer
42. F. Ricci, L. Rokach, B. Shapira, and P.B. Kantor Recommender systems handbook 2011 Springer
43. M. Schroeder Towards a visualization of arguing agents Future Generation Computer System 17 1 2000 15 26
44. Simari, G. R.; Chesñevar, C. I.; & García, A. J. (1994). Focusing inference in defeasible argumentation. In IV Iberoamerican congress on artificial intelligence (IBERAMIA'94), Venezuela.
45. Simari, G. R.; Chesñevar, C. I.; & García, A. J. (1994). The role of dialectics in defeasible argumentation. In International conference of the Chilenean computer science society (pp. 111-121).
46. G.R. Simari, and R.P. Loui A mathematical treatment of defeasible reasoning and its implementation Artificial Intelligence 53 1992 125 157
47. F. Stolzenburg, A. García, C.I. Chesñevar, and G.R. Simari Computing generalized specificity Journal of Non-Classical Logics 13 1 2003 87 113
48. M. Thimm, and G. Kern-Isberner A distributed argumentation framework using defeasible logic programming Proceedings of the 2nd international conference on computational models of argument (COMMA'08) 2008 IOS Press 381 392
49. N. Tintarev, and J. Masthoff Designing and evaluating explanations for recommender systems F. Ricci, L. Rokach, B. Shapira, P.B. Kantor, Recommender systems handbook 2011 Springer 479 510
50. Verheij, B. (1996). Two approaches to dialectical argumentation: admissible sets and argumentation stages. In J. -J. Meyer, & L. van der Gaag (Vol. Eds.), Proceedings of the eighth Dutch conference on artificial intelligence (NAIC'96), Utrecht, The Netherlands (pp. 357-368).
51. Verheij, B. (2007). A labeling approach to the computation of credulous acceptance in argumentation. In M. M. Veloso (Vol. Ed.), IJCAI (pp. 623-628).
52. D. Walton A new dialectical theory of explanation Philosophical Explorations 7 1 2004 71 89
53. L.R. Ye, and P.E. Johnson The impact of explanation facilities on user acceptance of expert systems advice MIS Quarterly 19 2 1995 157 172