A taxonomy of argumentation models used for knowledge representation

Artificial Intelligence Review

Volumn 33, Issue 3, 2010, Pages 211-259

  Bentahar, Jamal ^a   Moulin, Bernard ^b   Bélanger, Micheline ^c  

^a Concordia University ^*  (Canada)

^b UNIVERSITÉ LAVAL   (Canada)

^c DEFENCE RESEARCH AND DEVELOPMENT CANADA VALCARTIER   (Canada)

Author keywords

Argumentation models; Argumentation theory; Courses of action; Knowledge representation

Indexed keywords

ANCIENT GREEKS; ARGUMENTATION MODEL; ARGUMENTATION THEORY; ARGUMENTATION-BASED MODELS; COMMONSENSE REASONING; CONCEPTUAL FRAMEWORKS; COURSES OF ACTION; COURSES OF ACTIONS; HUMAN REASONING; KNOWLEDGE ACQUISITION PROJECTS; LEGAL REASONING; PRACTICAL USE; SIMILARITIES AND DIFFERENCES; SOFTWARE SYSTEMS;

KNOWLEDGE ACQUISITION; LOGIC PROGRAMMING; MULTI AGENT SYSTEMS; PHILOSOPHICAL ASPECTS; RESEARCH; TAXONOMIES;

KNOWLEDGE REPRESENTATION;

EID: 77949272089     PISSN: 02692821     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10462-010-9154-1     Document Type: Article

References (131)

1. Alvarado S, Dyer M (1985) Analogy recognition and comprehension in editorials. In: Proceedings of the 7th annual conference of the cognitive science society, pp 228-235
2. Amgoud L, Cayrol C (2000) A reasoning model based on the production of acceptable arguments. In: Linköping series of articles in computer and information science, vol 5 ( http://www.ida.liu.se/ext/epa/cis/ufn-00/01/tcover. html )
3. Amgoud L, Hameurlain N (2007) An argumentation-based approach for dialogue move selection. In: Maudet N, Parsons S, Rahwan I (eds) Argumentation in multi-agent systems, vol 4766 of Lecture Notes in Artificial Intelligence. Springer, Berlin, pp 128-141
4. Amgoud L, Maudet N, Parsons S (2000a) Arguments, dialogue, and negotiation. In: Proceedings of the 14th European conference on artificial intelligence, Germany, pp 338-342
5. Amgoud L, Maudet N, Parsons S (2000b) Modelling dialogues using argumentation. In: Proceedings of the 4th international conference on multi-agent systems, pp 31-38
6. Anscombre J-C (1995) Théorie des topoï. Kimé, Paris
7. Anscombre J-C, Ducrot O (1983) L'argumentation dans la langue. Magrada, Bruxelles
8. KD Ashley EL Rissland 2003 Law, learning and representation Artif Intell 150 17 58 1082.68597 10.1016/S0004-3702(03)00109-7 2016010
9. K Atkinson TM Bench-Capon P McBurney 2005 A dialogue game protocol for multi-agent argument over proposals for action J AAMAS Special Issue Argumentation Multi-Agent Syst 11 2 153 171 10.1007/s10458-005-1166-x (Pubitemid 41240135)
10. K Atkinson TM Bench-Capon P McBurney 2006 Computational representation of practical argument Knowl Ration Action Special Sect Synth 152 2 157 206 1112.03302 2266914
11. Augusto JC (1998) Defeasible temporal reasoning. Ph.D. Thesis, Univ Nacional del Sur, Argentina. Available at: http://www.soi.city.ac.uk/homes/msch
12. P Baroni M Giacomin G Guida 2000 Extending abstract argumentation systems theory Artif Intell 120 2 251 270 0945.68165 10.1016/S0004-3702(00)00030-8 1776247
13. Bench-Capon TM (1989) Deep models, normative reasoning and legal expert systems. In: Proceedings of the 2nd international conference on AI and law, pp 37-45
14. TM Bench-Capon 2003 Persuasion in practical argument using value-based argumentation frameworks J Logic Comput 13 3 429 448 1043.03026 10.1093/logcom/13.3.429 2009906
15. Bench-Capon TM, Prakken H (2006) Argumentation. In: Lodder AR, Oskamp A (eds) Information technology and lawyers: advanced technology in the legal domain, from challenges to daily routine. Springer, Berlin, pp 61-80
16. TM Bench-Capon F Coenen P Orton 1993 Argument-based explanation of the British Nationality Act as a logic program Comput Law AI 2 1 53 66
17. Bentahar J (2005) A unified framework for the pragmatics and semantics of agent communication. Ph.D. Thesis, Laval University, Québec
18. Bentahar J (2010) An agent communication protocol for resolving conflicts. In: Proceedings of 9th inter- national joint conference on autonomous agents and multi agent systems, Toronto, Canada, 10-14 May. IFAAMAS Press (in press)
19. Bentahar J, Labban J (2009) An argumentation-driven model for flexible and efficient persuasive negotiation. In: Group Decis Negot J. Springer, Berlin. doi: 10.1007/s10726-009-9163-0 (online first)
20. Bentahar J, Moulin B, Chaib-draa B (2004a) Commitment and argument network: a new formalism for agent communication. In: Dignum F (eds) Advances in agent communication, vol 2922 of Lecture Notes in Artificial Intelligence. Springer, Berlin, pp 146-165
21. Bentahar J, Moulin B, Meyer J-JCh, Chaib-draa B (2004b) A computational model for conversation policies for agent communication. In: Proceedings of the 5th international workshop on computational logic in multi-agent systems (CLIMA V), vol 3487 of Lecture Notes in Artificial Intelligence, Springer, pp 178-195
22. Bentahar J, Moulin B, Meyer J-JCh, Chaib-draa B (2004c) A logical model for commitment and argument network for agent communication. In: Proceedings of 3rd international joint conference on autonomous agents and multi agent systems. ACM Press, pp 792-799
23. J Bentahar Z Maamar D Benslimane P Thiran 2007 An argumentation framework for communities of web services IEEE Intell Syst 22 6 75 83 10.1109/MIS.2007.99 (Pubitemid 350231672)
24. Bentahar J, Mbarki M, Moulin B (2007b) Specification and complexity of strategic-based reasoning using argumentation. In: Maudet N, Parsons S, Rahwan I (eds) Argumentation in multi-agent systems, vol 4766 of Lecture Notes in Artificial Intelligence. Springer, Berlin, pp 142-160
25. Bentahar J, Moulin B, Meyer J-J Ch, Lespérance Y (2007c) A new logical semantics for agent communication. In: Proceedings of the 7th international workshop on computational logic in multi-agent systems (CLIMA VII), vol 4371 of Lecture Notes in Artificial Intelligence. Springer, pp 151-170
26. Bentahar J, Mbarki M, Moulin B (2009a) Strategic agent communication: an argumentation-driven approach. In: Baldoni M, Son TC, van Riemsdijk MB, Winikoff M (eds) Declarative agent languages and technologies VI, vol 5397 of Lecture Notes in Artificial Intelligence. Springer, Berlin, pp 233-250
27. Bentahar J, Meyer J-JCh, Wan W (2009b) Model checking communicative agent-based systems. In: Knowledge-based systems, special issue on intelligent software design 22(3):142-159, Elsevier
28. P Besnard A Hunter 2001 A logic-based theory of deductive arguments Artif Intell 128 1-2 203 235 0971.68143 10.1016/S0004-3702(01)00071-6 1839543 (Pubitemid 32421514)
29. Birnbaum L (1982) Argument molecules: a functional representation of argument structures. In: American Association for Artificial Intelligence, pp 63-65
30. Bodanza GA, Simari GR (1995) Argumentacìon on rebatible con bases disyuntivas. In: Proceedings of the Congreso Argentino en Ciencias de la Computation, pp 313-324
31. Breton P (1996) L'argumentation dans la communication. Collection Repères, La Découverte, Paris
32. Brninghaus S, Ashley KD (2003) Predicting the outcome of case-based legal arguments. In: Sartor G (ed) Proceedings of the 9th international conference on artificial iNTELLIGENCE and law (ICAIL), pp 233-242
33. Cabrol-Hatimi C (1999) Un Modèle de formalisation des argumentations naturelles basé sur la notion de force persuasive: application à la planification des idées. Thèse de Doctorat, Université de Toulouse 1, France
34. Cabrol-Hatimi C, Tazi S (2000) APLA: a human-machine cooperative system for arguments selection support. In: Proceedings of COOP'2000
35. Chesnevar CI (1996) El Problema de la inferencia en sistemas argumentativos: alternativas para su solucìon. M.Sc. Thesis. University Nacional del Sur
36. Chesnevar CI, Simari GR (1998) Formalization of defeasible argumentation using labelled deductive systems. In: Proceedings of the IV Congreso Argentino en Ciencias de la Computacìon. Univ Nacional del Comahue, pp 1247-1259
37. CI Chesnevar AG Maguitman RP Loui 2000 Logical models of argument ACM Comput Surveys 32 4 337 383 10.1145/371578.371581
38. CI Chesnevar J McGinnis S Modgil I Rahwan C Reed G Simari M South G Vreeswijk S Willmott 2006 Towards an argument interchange format Knowl Eng Rev 21 4 293 316 10.1017/S0269888906001044 (Pubitemid 44877967)
39. Clark P (1991) A model of argumentation and its application in a cooperative expert system. Ph.D. Thesis, Turing Institute, University of Strathclyde, Glasgow
40. Delrieux C (1995) Incorporando razonamiento plausible en los sistemas de razonamiento revisable. M.Sc. Thesis. Univ Nacional del Sur
41. Dieng R (1989) Generation of topoi from expert systems. In: Raccah PY (ed) CCAI 6:4, Gand
42. Ducrot O (1991) Dire ou ne pas Dire, Principes de sémantique linguistique. Herman, Collection Savoir, Paris
43. PM Dung 1995 On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games Artif Intell 77 321 357 1013.68556 10.1016/0004-3702(94)00041-X 1360304
44. Falappa MA (1999). Teorìa de cambio de creencias y sus aplicaciones sobre bases de conocimiento. Ph.D. Thesis, Dept. de Cs. de la Computacìon. Univ Nacional del Sur
45. Farley A, Freeman K (1995) Toward formalizing dialectical argumentation. In: Proceedings of the 3rd international conference of the society for the study of argumentation, pp 156-165
46. Flowers M, McGuire R, Birnbaum L (1982) Adversary arguments and the logic of personal attacks. In: Fetzer JH (ed) Strategies for natural language processing, pp 275-294
47. Fox J, Das S (2000) Safe and sound. In: Artificial intelligence in hazardous applications, AAAI Press, The MIT Press
48. Fox J, Krause P, Elvan-Goransson M (1993) Argumentation as a general framework for uncertain reasoning. In: Proceedings of the 9th conference on uncertainty in AI. Morgan-Kaufmann, pp 428-434
49. Freeman JB (1991) Dialectics and the macrostructure of arguments. Foris
50. Galarreta D, Trousse B (1996) Place de l'argumentation dans la conception d'outils d'assistance à une activité de résolution de problème. In: Raccah 1996, pp 79-103
51. AJ Garcìa GR Simari 2004 Defeasible logic programming: an argumentative approach Theory Pract Logic Program 4 1 95 138 1090.68015 10.1017/S1471068403001674
52. Glasspool DW, Fox J, Castillo FD, Monaghan V (2003) Interactive decision support for medical planing. In: Proceedings of artificial intelligence in medicine, 9th conference on artificial intelligence in medicine in Europe (AIME 2003), vol 2780 of Lecture Notes in Computer Science. Springer, pp 335-339
53. Gordon TF (1994) Computational dialectics. In: 1st Workshop on computational dialectics. 12th National conference on artificial intelligence-AAAI'94
54. TF Gordon H Prakken D Walton 2007 The carneades model of argument and burden of proof Artif Intell 171 875 896 1168.68566 10.1016/j.artint.2007.04.010 2354479 (Pubitemid 47285070)
55. Grasso F (2002) Towards a framework for rhetorical argumentation. In: Proceedings of the 6th workshop on the semantics and pragmatics of dialogue (EDILOG'02), UK, pp 53-60
56. Grasso F (2003) A mental model for a rhetorical arguer. In: Schmalhofer F, Young R, Katz G (eds) Proceedings of the European cognitive science society conference. LEA, Germany
57. Greenwood K, Bench-Capon T, McBurney P (2003) Structuring dialogue between the people and their representatives. In: Traunmuller R (ed) Electronic government: Proceedings of the 2nd international conference (EGOV03), Czech Republic, Lecture Notes in Computer Science 2739. Springer, pp 55-62
58. Groarke L, Tindale C, Fisher L (1997) Good reasoning matters!. Oxford University Press, Toronto
59. BJ Grosz CL Sidner 1986 Attention, intentions and the structure of Discourse Comput Linguist 12 3 175 204
60. Habermas J (1984) The theory of communicative action. Vol 1 and 2. Polity Press, Cambridge
61. Hamblin CL (1970) Fallacies. Methuen, London
62. MN Huhns DM Bridgeland 1991 Multiagent truth maintenance IEEE Trans Syst Man Cybern SMC-21 6 1437 1445 10.1109/21.135687
63. Johnson R (2000) Manifest rationality. Lawrence Erlbaum, Mahwah
64. Kakas AC, Miller R, Toni F (1999) An argumentation framework for reasoning about actions and change. In: Proceedings of LPNMR 99, LNCS 1730, pp 78-91
65. Karacapilidis N, Papadias D (2001) Computer supported argumentation and collaborative decision making: The hermes system. In: Inf Syst 26(4):259-277
66. Konolige K, Pollack M (1989) Ascribing plans to agents. In: Proceedings of the international joint conference on artificial intelligence, USA
67. Konolige K, Pollack M (1993) A representational theory of intention. In: Proceedings of the 13th international joint conference in artificial intelligence (IJCAI), France
68. P Kraus S Ambler M Elvang-Goransson J Fox 1995 A logic of argumentation for reasoning under uncertainty Comput Intell 11 1 113 131 10.1111/j.1467-8640. 1995.tb00025.x
69. Lin F, Shoham Y (1989) Argument systems: a uniform basis for nonmonotonic reasoning. In: Proceedings of 1st international conference on knowledge representation and reasoning, Toronto, pp 245-255
70. Lodder AR (1997) On structure and naturalness in dialogical models of argumentation. In: Hage JC et al (eds) Legal knowledge-based Systems. JURIX: The 11th conference. GNI, Nijmegen, pp 45-58
71. Lodder AR (1998) Procedural arguments. In: Oskamp A et al (ed) Legal knowledge-based systems. JURIX: The 10th conference. GNI, Nijmegen, pp 21-32
72. Lodder AR (1999) DiaLaw-on legal justification and dialogical models of argumentation. Kluwer, Dordrecht
73. RP Loui 1987 Defeat among arguments: a system of defeasible inference Comput Intell 3 157 365 10.1111/j.1467-8640.1987.tb00178.x
74. RP Loui J Norman 1995 Rationales and argument moves Artif Intell Law 3 3 159 189 10.1007/BF00872529
75. Loui RP, Norman J, Alteper J, Pinckard D, Craven D, Lindsay J, Foltz M (1997) Progress on Room 5. A testbed for public interactive semi-formal legal argumentation. In: Proceedings of the 6th international conference on artificial intelligence and law. ACM, New York, pp 207-214
76. J MacKenzie 1979 Question-begging in non-cumulative systems J Phil Logic 8 117 133 0397.03004 10.1007/BF00258422 527406
77. J MacKenzie 1981 The dialectics of logic Logique et Analyse 94 159 177 650554
78. Moeshler J (1985) Argumentation et conversation: eléments pour une analyse pragmatique du discours. Hatier, Paris
79. Mommers L (2002) Applied legal epistemology. Ph.D. Thesis. Leiden University. The Netherlands
80. B Moulin H Irandoust M Bélanger G Desbordes 2002 Explanation and argumentation capabilities: towards the creation of more persuasive agents Artif Intell Rev 17 169 222 1017.68112 10.1023/A:1015023512975 (Pubitemid 34448957)
81. D O'Keefe 1977 Two concepts of argument J Am Forensic Soc 13 121 128
82. O'Keefe DJ (2002) Persuasion: theory and research. Sage, Thousand Oaks, CA
83. Parsons S, Jennings NR (1996) Negotiation through argumentation-a preliminary report. In: Proceedings of the 2nd international conference On multi agent systems, pp 267-274
84. S Parsons C Sierra N Jennings 1998 Agents that reason and negotiate by arguing J Logic Comput 8 3 261 292 0904.68061 10.1093/logcom/8.3.261 1642062
85. Parsons S, Wooldridge M, Amgoud L (2002) An analysis of formal inter-agent dialogues. In: Proceedings of the 1st international joint conference on autonomous agents and multi-agent systems (AAMAS 02), Italy, pp 394-401
86. Parsons S, Wooldridge M, Amgoud L (2003) On the outcomes of formal inter-agent dialogues. In: Proceedings of the 2nd international joint conference on autonomous agents and multi-agent systems (AAMAS 03), Australia, pp 616-623
87. Pasquier P, Rahwan I, Dignum F, Sonenberg L (2006) Argumentation and persuasion in the cognitive coherence theory. In: Dunne P, Bench-Capon T (eds) Proceedings of the 1st international conference on computational models of argument (COMMA). IOS Press, pp 223-234
88. Perelman C, Olbrechts-Tyteca L (1969) The new rhetoric: a treatise on argumentation. Notre Dame Press, University of Notre dame, London
89. Pollock JL (1974) Knowledge and justification. Princeton University press, Princeton
90. Pollock JL (1991) A theory of defeasible reasoning. In: Int J Intell Syst. Wiley, pp 33-54
91. JL Pollock 1992 How to reason defeasibly? Artif Intell 57 1 42 0763.68056 10.1016/0004-3702(92)90103-5 1183554 (Pubitemid 23559666)
92. JL Pollock 1994 Justification and defeat Artif Intell 67 377 407 0807.68085 10.1016/0004-3702(94)90057-4 1279646
93. Pollock JL (1995) Cognitive carpentry: a blueprint for how to build a person. MIT, Cambridge
94. H Prakken G Sartor 1996 A dialectical model of assessing conflicting arguments in legal reasoning Artif Intell Law 4 331 368 10.1007/BF00118496
95. H Prakken G Sartor 1997 Argument-based extended logic programming with defeasible priorities J Appl Non Class Logics 7 1 25 75 0877.68019 1673417
96. H Prakken G Sartor 1998 Modelling reasoning with precedents in a formal dialogue game Artif Intell Law 6 231 287 10.1023/A:1008278309945
97. Prakken H, Vreeswijk G (2002) Logics for defeasible argumentation. In: Gabby DM, Guenthner F (eds) Handbook of philosophical logic, vol 4, 2nd edn. Kluwer, Dordrecht, pp 219-318
98. Raccah, P-Y (eds) (1996) Topoï et gestion des connaissances. Masson, Paris
99. I Rahwan P McBurney 2007 Guest editors' introduction: argumentation technology IEEE Intell Syst 22 6 21 23 10.1109/MIS.2007.109 (Pubitemid 350231665)
100. I Rahwan SD Ramchurn NR Jennings P McBurney S Parsons L Sonenberg 2003 Argumentation-based negotiation Knowl Eng Rev 18 4 343 375 10.1017/ S0269888904000098
101. I Rahwan F Zablith C Reed 2007 Laying the foundations for a world wide argument web Artif Intell 171 10-15 897 921 10.1016/j.artint.2007.04.015 (Pubitemid 47285078)
102. SD Ramchurn C Sierra L Godo NR Jennings 2007 Negotiating using rewards Artif Intell 171 10-15 805 837 1168.68570 10.1016/j.artint.2007.04.014 2354476 (Pubitemid 47285077)
103. Reed C, Norman TJ (2003) A roadmap of research in argument and computation. In: Reed C, Norman TJ (eds) Argumentation machines-new frontiers in argument and computation. Kluwer, Dordrecht, pp 1-13
104. Reed C, Rowe G (2001) Araucaria: software for puzzles in argument diagramming and XML. Technical Report, Department of Applied Computing, University of Dundee, Scotland
105. Reed C, Walton D (2003) Argumentation schemes in argument-as-process and argument-as-product. In: Proceedings of the conference celebrating informal Logic @25, Windsor
106. Rescher N (1977) Dialectics, a controversy-oriented approach to the theory of knowledge. State University of New York Press, USA
107. Rissland E, Skalak D, Friedman M (1993) Bankxx: A program to generate argument through case-based search. In: Proceedings of the 4th international conference on AI an law, Amsterdam, pp 117-124
108. E Ryan 1992 Aristotle and the tradition of rhetorical argumentation Argument J 6 3 291 296 10.1007/BF00154694
109. Schroeder M (1999) An efficient argumentation framework for negotiating autonomous agents. In: Proceedings of the 9th European workshop on modelling autonomous agents in a multi-agent world (MAAMAW'99), Valencia, pp 140-149
110. Schroeder M (2000) Towards a visualization of arguing agents. To appear in J Future Gener Comput Syst, Elsevier
111. Sierra C, Jennings NR, Noriega P, Parsons S (1998) A framework for argumentation-based negotiation. In: Singh MP, Rao A, Wooldridge M (eds) Intelligent agents IV. LNAI 1365. Springer, Berlin, pp 177-192
112. JAA Sillince 1994 Multi-agent conflict resolution: a computational framework for an intelligent argumentation program Know Based Syst 7 2 75 90 10.1016/0950-7051(94)90021-3
113. Simari GR (1989) A mathematical treatment of defeasible reasoning and its implementation. Ph.D. Thesis, Washington University. USA
114. Simari GR, Garcìa AJ (1995) A knowledge representation language for defeasible argumentation. In: CLEI'95, Canela, pp 661-672
115. GR Simari RP Loui 1992 A mathematical treatment of defeasible reasoning and its implementation Artif Intell 53 125 157 10.1016/0004-3702(92)90069-A 1154138
116. Simari GR, Chesnevar CI, Garcìa AJ (1994) The role of dialectics in defeasible argumentation. In: Anales de la XIV Conferencia Internacional de la Sociedad Chilena para Ciencias de la Computacìon. Univ de Concepcìon, Chile, pp 270-281
117. Stranieri A, Zeleznikow J (1999) A survey of argumentation structures for intelligent decision support. In: Proceedings of 5th international conference of the international society for decision support systems
118. KP Sycara 1990 Persuasive argumentation in negotiation Theory Decis 28 203 242 10.1007/BF00162699
119. Tindale C (1999) Acts of arguing, a rhetorical model of argument. State University Press of New York, Albany
120. Tohmé F (1997) Negotiation and defeasible reasons for choice. In: Proceedings of the Stanford spring symposium On qualitative preferences in deliberation and practical reasoning, pp 95-102
121. Toulmin S (1958) The uses of argument. Cambridge University Press, Cambridge
122. Vahidov R, Elrod R (1999) Incorporating critique and argumentation in DSS. Decis Support Syst 26:249-258, Elsevier
123. Verheij B (1996) Rules, reasons and arguments: formal studies of argumentation and defeat. Ph.D. Thesis, Maastricht University, Maastricht
124. Verheij B (1998) Argue! An implemented system for computer-mediated defeasible argumentation. In: proceedings of the 10th Netherlands/Belgium conference on artificial intelligence, CWI, Amsterdam, pp 57-66
125. Vreeswijk GA (1993) Studies in defeasible argumentation. Ph.D. Thesis, Vrije University, Holland
126. Vreeswijk GA (1995) IACAS: an implementation of Chisholm's principles of knowledge. In: Proceedings of the 2nd Dutch/German workshop on nonmonotonic reasoning. Delft University of Technology, pp 225-234
127. GA Vreeswijk 1997 Abstract argumentation systems Artif Intell 90 1-2 225 279 1017.03513 10.1016/S0004-3702(96)00041-0 1441188
128. Walton DN (1996) Argument structure: a pragmatic theory. University of Toronto Press, Toronto
129. Walton DN, Krabbe ECW (1995) Commitment in dialogue: basic concepts of interpersonal reasoning. State University of New York Press, Albany
130. Willmott S, Vreeswijk G, South M, Chesnevar C, Simari G, McGinis J, Rahwan I, Reed C, Modgil S (2006) Towards an argument interchange format for multiagent systems. In: Proceedings of the international workshop on argumentation in multi-agent systems, vol 4766 of Lecture Notes in Artificial Intelligence, Springer, pp 17-34
131. LR Ye 1995 The value of explanation in expert systems for auditing: an experimental investigation Expert Syst Appl 9 4 543 556 10.1016/0957-4174(95) 00023-2