Weighted argument systems: Basic definitions, algorithms, and complexity results

Artificial Intelligence

Volumn 175, Issue 2, 2011, Pages 457-486

  Dunne, Paul E ^a   Hunter, Anthony ^b   McBurney, Peter ^a   Parsons, Simon ^c   Wooldridge, Michael ^a  

^a UNIVERSITY OF LIVERPOOL   (United Kingdom)

^b UNIVERSITY COLLEGE LONDON   (United Kingdom)

^c CITY UNIVERSITY OF NEW YORK   (United States)

Author keywords

Argumentation; Computational complexity; Handling inconsistency

Indexed keywords

ABSTRACT ARGUMENTS; ARGUMENT SYSTEMS; ARGUMENTATION; ARGUMENTATION FRAMEWORKS; COMPLEXITY RESULTS; HANDLING INCONSISTENCY; NATURAL EXTENSION; RELATIVE STRENGTH;

BUDGET CONTROL;

COMPUTATIONAL COMPLEXITY;

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

References (50)

1. L. Amgoud, and C. Cayrol A model of reasoning based on the production of acceptable arguments Annals of Mathematics and Artificial Intelligence 34 2002 197 215
2. L. Amgoud, N. Maudet, and S. Parsons Modelling dialogues using argumentation E. Durfee, Proceedings of the Fourth International Conference on Multi-Agent Systems 2000 IEEE Press Boston, MA, USA 31 38
3. K.J. Arrow, A.K. Sen, K. Suzumura, Handbook of Social Choice and Welfare, vol. 1 2002 Elsevier Science Publishers B.V. Amsterdam, The Netherlands
4. F. Bacchus, A.J. Grove, J.Y. Halpern, and D. Koller From statistical knowledge bases to degrees of belief Artificial Intelligence 87 1996 75 143
5. P. Baroni, F. Cerutti, M. Giacomin, and G. Guida Encompassing attacks to attacks in abstract argumentation frameworks Proc. ECSQARU LNAI vol. 5590 2009 Springer-Verlag Berlin, Germany 83 94
6. P. Baroni, P.E. Dunne, M. Giacomin, Computational properties of resolution-based grounded semantics, in: Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-09), Pasadena, CA, 2009, pp. 683-689.
7. P. Baroni, and M. Giacomin Resolution-based argumentation semantics Proc. 2nd COMMA FAIA vol. 172 2008 IOS Press
8. P. Baroni, and M. Giacomin Semantics of abstract argument systems I. Rahwan, G.R. Simari, Argumentation in Artificial Intelligence 2009 Springer Berlin 25 44
9. H. Barringer, D.M. Gabbay, and J. Woods Temporal dynamics of support and attack networks: From argumentation to zoology Mechanizing Mathematical Reasoning LNCS vol. 2605 2005 Springer-Verlag Berlin, Germany 59 98
10. T.J.M. Bench-Capon Persuasion in practical argument using value based argumentation frameworks Journal of Logic and Computation 13 3 2003 429 448
11. T.J.M. Bench-Capon, S. Doutre, and P.E. Dunne Audiences in argumentation frameworks Artificial Intelligence 171 1 2007 42 71
12. L. Bertossi, A. Hunter, T. Schaub, Inconsistency Tolerance LNCS vol. 3300 2004 Springer-Verlag Berlin, Germany
13. Ph. Besnard, and A. Hunter Elements of Argumentation 2008 MIT Press
14. H. Burhrman, J. Kadin, and T. Thierauf Functions computable with nonadaptive queries to np Th. Comput. Systems 31 1998 77 92
15. C. Cayrol, and M.-C. Lagasquie-Schiex Gradual valuation for bipolar argumentation frameworks Proceedings of the 8th European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty LNCS vol. 3571 2005 Springer 366 377
16. S. Coste-Marquis, C. Devred, and P. Marquis Symmetric argumentation frameworks Proc. 8th ECSQARU LNAI vol. 3571 2005 Springer-Verlag Berlin, Germany
17. Y. Dimopolous, and A. Torres Graph theoretical structures in logic programs and default theories Theoretical Computer Science 170 1996 209 244
18. D. Dubois, J. Lang, and H. Prade A possibilistic truth-maintenance system with uncertain justifications, and its application to belief revision J.P. Martins, M. Reinfrank, Truth Maintenance Systems Lecture Notes in Computer Science vol. 515 1991 Springer Verlag 87 106
19. P.M. Dung On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games Artificial Intelligence 77 1995 321 357
20. P.E. Dunne Computational properties of argument systems satisfying graph-theoretic constraints Artificial Intelligence 171 2007 701 729
21. P.E. Dunne The computational complexity of ideal semantics I: Abstract argumentation frameworks Proc. 2nd COMMA FAIA vol. 172 2008 IOS Press 147 158
22. P.E. Dunne The computational complexity of ideal semantics Artificial Intelligence 173 2009 1559 1591
23. P.E. Dunne, and T. Bench-Capon Coherence in finite argument systems Artificial Intelligence 141 2002 187 203
24. P.E. Dunne, and M. Caminada Computational complexity of semi-stable semantics in abstract argumentation frameworks Proc. 11th JELIA LNAI vol. 5292 2008 Springer-Verlag Berlin, Germany
25. P.E. Dunne, S. Modgil, and T. Bench-Capon Computation in extended argumentation frameworks Proc. 19th ECAI, Univ. of Lisbon, Portugal August 2010 IOS Press 119 124
26. P.E. Dunne, and M. Wooldridge Complexity of abstract argumentation I. Rahwan, G. Simari, Argumentation in Artificial Intelligence 2009 Springer-Verlag Berlin, Germany
27. W. Dvorak, and S. Woltran Complexity of semi-stable and stage semantics in argumentation frameworks Inf. Proc. Letters 110 2010 425 430
28. B. Jenner, and J. Toran Computing functions with parallel queries in np Theoretical Computer Science 141 1995 175 193
29. B. Jenner, and J. Toran The complexity of obtaining solutions for problems in np and nl Complexity Theory Retrospective II 1997 Springer-Verlag Berlin, Germany 155 178
30. P. Krause, S. Ambler, M. Elvang-Gørannson, and J. Fox A logic of argumentation for reasoning under uncertainty Computational Intelligence 11 1 1995 113 131
31. M. Krentel The complexity of optimization problems Journal of Computer and System Sciences 36 3 1988 761 767
32. D. Martinez, A. Garcia, G. Simari, An abstract argumentation framework with varied-strength attacks, in: Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR'08), 2008.
33. P. Matt, and F. Toni A game-theoretic measure of argument strength for abstract argumentation Proceedings of 11th European Conference on Logics in Artificial Intelligence (JELIA'08) LNAI vol. 5293 2008 Springer 285 297
34. S. Modgil An abstract theory of argumentation that accommodates defeasible reasoning about preferences Symbolic and Quantitative Approaches to Reasoning with Uncertainty LNCS vol. 4724 2007 Springer
35. S. Modgil, Labellings and games for extended argumentation frameworks, in: Proc. 21st IJCAI, 2009, pp. 873-878.
36. S. Modgil Reasoning about preferences in argumentation frameworks Artificial Intelligence 173 9-10 2009 901 934
37. S. Modgil, and T. Bench-Capon Integrating object and meta-level value based argumentation Computational Models of Argument: Proceedings of COMMA 2008 2008 IOS Press 240 251
38. E. Neufeld, and D. Poole Towards solving the multiple extension problem: combining defaults and probability L.N. Kanal, T.S. Levitt, J.F. Lemmer, Uncertainty in Artificial Intelligence vol. 3 1989 Elsevier Science Publishers Amsterdam, The Netherlands 35 44
39. C.H. Papadimitriou Computational Complexity 1994 Addison-Wesley Reading, MA
40. C.H. Papadimitriou, and K. Steiglitz Combinatorial Optimization 1982 Prentice Hall International Hemel Hempstead, England
41. S. Parsons On precise and correct qualitative probabilistic reasoning International Journal of Approximate Reasoning 35 2004 111 135
42. I. Pinyol, and J. Sabater-Mir An argumentation-based dialog for social evaluations exchange M.J. Wooldridge, Nineteenth European Conference on Artificial Intelligence (ECAI 2010) August 2010 ECCAI Lisbon, Portugal
43. D. Poole Probabilistic horn abduction and Bayesian networks Artificial Intelligence 64 1993 81 129
44. H. Prakken, and G. Sartor Argument-based logic programming with defeasible priorities Journal of Applied Non-classical Logics 7 1997 25 75
45. I. Rahwan, and K. Larson Pareto optimality in abstract argumentation Proceedings of 23rd Conference on Artificial Intelligence (AAAI'08) 2008 AAAI Press
46. I. Rahwan, G.R. Simari, Argumentation in Artificial Intelligence 2009 Springer-Verlag Berlin, Germany
47. G. Shafer A Mathematical Theory of Evidence 1976 Princeton University Press Princeton, NJ
48. W. Spohn A general non-probabilistic theory of inductive reasoning R.D. Shachter, T.S. Levitt, L.N. Kanal, J.F. Lemmer, Uncertainty in Artificial Intelligence vol. 4 1990 Elsevier Science Publishers Amsterdam, The Netherlands 149 158
49. V. Tamma, and S. Parsons Argumentation and qualitative reasoning with kappa calculus Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty LNCS vol. 2143 2001 Springer 680 691
50. F.A. Tohmé, G.A. Bodanza, G.R. Simari, Aggregation of attack relations: a social-choice theoretical analysis, in: S. Hartmann, G. Kern-Isberner (Eds.), Foundations of Information and Knowledge Systems (FoIKS 2008), Pisa, Italy, 2008, pp. 8-23.