On the evaluation of argumentation formalisms

Artificial Intelligence

Volumn 171, Issue 5-6, 2007, Pages 286-310

  Caminada, Martin ^a   Amgoud, Leila ^b  

^a UTRECHT UNIVERSITY   (Netherlands)

^b IRIT   (France)

Author keywords

Commonsense reasoning; Formal argumentation; Nonmonotonic logic

Indexed keywords

FORMAL LANGUAGES; FORMAL LOGIC; KNOWLEDGE BASED SYSTEMS; LAWS AND LEGISLATION; PROJECT MANAGEMENT;

COMMONSENSE REASONING; FORMAL ARGUMENTATION; LOGICAL LANGUAGE; NONMONOTONIC LOGICS;

ARTIFICIAL INTELLIGENCE;

EID: 34147136754     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artint.2007.02.003     Document Type: Article

References (46)

1. Alferes J., Dung P., and Pereira L. Scenario semantics of extended logic programs. In: Nerode A., and Pereira L. (Eds). Proc. 2nd International Workshop on Logic Programming and Non-monotonic Reasoning (1993), MIT Press 334-348
2. L. Amgoud, A general argumentation framework for inference decision making, in: Proceedings of the 21st Conference on Uncertainty in Artificial Intelligence, UAI'05, 2005, pp. 26-33
3. L. Amgoud, S. Belabes, H. Prade, Towards a formal framework for the search of a consensus between autonomous agents, in: Proceedings of the 4th International joint Conference on Autonomous Agents and Multi-Agent Systems, AAMAS'2005, 2005, pp. 537-543
4. L. Amgoud, M. Caminada, C. Cayrol, M. Lagasquie, H. Prakken, Towards a consensual formal model: inference part, Technical report, In Deliverable D2.2: Draft Formal Semantics for Inference and Decision-Making. ASPIC project, 2004. http://www.argumentation.org
5. Amgoud L., and Cayrol C. Inferring from inconsistency in preference-based argumentation frameworks. International Journal of Automated Reasoning 29 2 (2002) 125-169
6. Amgoud L., and Cayrol C. A reasoning model based on the production of acceptable arguments. Annals of Mathematics and Artificial Intelligence 34 (2002) 197-216
7. L. Amgoud, S. Kaci, An argumentation framework for merging conflicting knowledge bases: The prioritized case, in: 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU'2005, 2005, pp. 527-538
8. L. Amgoud, N. Maudet, S. Parsons, Arguments, dialogue, and negotiation, in: Proceedings of the 14th European Conference on Artificial Intelligence, 2000, pp. 338-342
9. L. Amgoud, S. Parsons, An argumentation framework for merging conflicting knowledge bases, in: Proceedings of International Conference on Logics in Artificial Intelligence, 2002, pp. 27-37
10. L. Amgoud, H. Prade, Reaching agreement through argumentation: A possibilistic approach, in: 9th International Conference on the Principles of Knowledge Representation and Reasoning, KR'2004, 2004, pp. 175-182
11. L. Amgoud, H. Prade, Using arguments for making decisions: A possibilistic logic approach, in: Proceedings of the 20th Conference on Uncertainty in Artificial Intelligence, UAI'04, 2004, pp. 10-17
12. L. Amgoud, H. Prade, Explaining qualitative decision under uncertainty by argumentation, in: Proceedings of the 21st National Conference on Artificial Intelligence, AAAI'06, 2006, pp. 219-224
13. Baroni P., and Giacomin M. Scc-recursiveness: a general schema for argumentation semantics. Artificial Intelligence 168 1-2 (2005) 165-210
14. Bench-Capon T.J.M. Persuasion in practical argument using value-based argumentation frameworks. Journal of Logic and Computation 13 3 (2003) 429-448
15. Benferhat S., Dubois D., and Prade H. Argumentative inference in uncertain and inconsistent knowledge bases. In: Heckerman D., and Mamdani A. (Eds). Proc. of the 9th UAI (1993), Morgan-Kaufmann, Washington, DC 411-419
16. Besnard P., and Hunter A. A logic-based theory of deductive arguments. Artificial Intelligence 128 1-2 (2001) 203-235
17. P. Besnard, A. Hunter, Practical first-order argumentation, in: Proceedings of the 20th American National Conference on Artificial Intelligence (AAAI'05), 2005, pp. 590-595
18. E. Black, A. Hunter, A generative inquiry dialogue system, in: Proceedings of the 6th International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'07), 2007
19. Bondarenko A., Dung P., Kowalski R., and Toni F. An abstract, argumentation-theoretic approach to default reasoning. Artificial Intelligence 93 (1997) 63-101
20. B. Bonet, H. Geffner, Arguing for decisions: A qualitative model of decision making, in: F.J.E.E. Horwitz (Ed.), Proc. 12th Conf. on Uncertainty in Artificial Intelligence (UAI'96), Portland, Oregon, 1996, pp. 98-105
21. R. Brena, C. Chesñevar, J. Aguirre, Argumentation-supported information distribution in a multiagent system for knowledge management, in: 2nd International Workshop on Argumentation in Multiagent Systems (ArgMAS 2005)
22. M. Caminada, Contamination in formal argumentation systems, in: Proceedings of the 17th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC), 2005, pp. 59-65
23. Caminada M. On the issue of reinstatement in argumentation. In: Fischer M., van der Hoek W., Konev B., and Lisitsa A. (Eds). Logics in Artificial Intelligence; 10th European Conference, JELIA 2006. Lecture Notes in AI vol. 4160 (2006), Springer, Berlin 111-123
24. Caminada M. Semi-stable semantics. In: Dunne P., and Bench-Capon T. (Eds). Computational Models of Argument; Proceedings of COMMA 2006 (2006), IOS Press 121-130
25. Cayrol C., and Lagasquie-Schiex M.-C. Graduality in argumentation. Journal of Artificial Intelligence Research 23 (2005) 245-297
26. Chesñevar C.I., Maguitman A., and Loui R.P. Logical models of arguments. ACM Computing Surveys 32 4 (2000) 337-383
27. Clark K. Negation as failure. In: Gallaire H., and Minker J. (Eds). Logic and Data Bases (1978), Plenum Press, New York 293-322
28. Dung P.M. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence 77 (1995) 321-357
29. Elvang-Gøransson M., Fox J., and Krause P. Dialectic reasoning with inconsistent information. In: Heckerman D., and Mamdani A. (Eds). Proc. of the 9th UAI (1993), Morgan-Kaufmann, Washington, DC 114-121
30. Gordon T.F., and Karacapilidis N. The zeno argumentation framework. Proceedings of the Sixth International Conference on Artificial Intelligence and Law (1997), ACM Press, New York 10-18
31. J. Fox, P. McBurney, Decision making by intelligent agents: logical argument, probabilistic inference and the maintenance of beliefs and acts, in: Proc. 9th International Workshop on Non-Monotonic Reasoning (NMR'2002), Toulouse, France, April 2002
32. J. Fox, S. Parsons, On using arguments for reasoning about actions and values, in: Proceedings of the AAAI Spring Symposium on Qualitative Preferences in Deliberation and Practical Reasoning, Stanford, 1997
33. García A., and Simari G. Defeasible logic programming: an argumentative approach. Theory and Practice of Logic Programming 4 1 (2004) 95-138
34. Governatori G., Maher M., Antoniou G., and Billington D. Argumentation semantics for defeasible logic. Journal of Logic and Computation 14 5 (2004) 675-702
35. D. Hitchcock, P. McBurney, S. Parsons, A framework for deliberation dialogues, in: H.V. Hansen, C.W. Tindale, J.A. Blair, R.H. Johnson (Eds.), Proceedings of the Fourth Biennial Conference of the Ontario Society for the Study of Argumentation (OSSA 2001), Windsor, Ontario, Canada, 2001
36. A. Kakas, P. Moraitis, Adaptive agent negotiation via argumentation, in: Proceedings of the 5th International joint Conference on Autonomous Agents and Multi-Agent Systems, AAMAS'2006, 2006, pp. 384-391
37. Loui R.P. Process and policy: resource-bounded non-demonstrative reasoning. Computational Intelligence 14 (1998) 1-38
38. McBurney P., Parsons S., and Wooldridge M. Desiderata for agent argumentation protocols. In: Castelfranchi C., and Johnson W.L. (Eds). Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002). Bologna, Italy (2002), ACM Press, New York 402-409
39. Pollock J.L. How to reason defeasibly. Artificial Intelligence 57 (1992) 1-42
40. Pollock J.L. Cognitive Carpentry. A Blueprint for How to Build a Person (1995), MIT Press, Cambridge, MA
41. Prakken H. Relating protocols for dynamic dispute with logics for defeasible argumentation. Synthese 127 (2001) 187-219
42. Prakken H., and Sartor G. Argument-based extended logic programming with defeasible priorities. Journal of Applied Non-Classical Logics 7 (1997) 25-75
43. Prakken H., and Vreeswijk G.A.W. Logics for defeasible argumentation. In: Gabbay D., and Günthner F. (Eds). Handbook of Philosophical Logic, vol. 4. second ed. (2002), Kluwer Academic Publishers, Dordrecht, Boston, London 219-318
44. Simari G., and Loui R. A mathematical treatment of defeasible reasoning and its implementation. Artificial Intelligence 53 (1992) 125-157
45. Vreeswijk G.A.W. Abstract argumentation systems. Artificial Intelligence 90 (1997) 225-279
46. Vreeswijk G.A.W., and Prakken H. Credulous and skeptical argument games for preferred semantics. Proceedings of the 7th European Workshop on Logic for Artificial Intelligence (JELIA-00). Lecture Notes in AI vol. 1919 (2000), Springer, Berlin 239-253