Computing Preferred Extensions for Argumentation Systems with Sets of Attacking Arguments

Frontiers in Artificial Intelligence and Applications

Volumn 144, Issue , 2006, Pages 97-108

  Nielsen, Søren Holbech ^a   Parsons, Simon ^b  

^a AALBORG UNIVERSITY   (Denmark)

^b CITY UNIVERSITY OF NEW YORK   (United States)

Author keywords

Argumentation with sets; Preferred Extensions

Indexed keywords

ARGUMENTATION SYSTEMS; ARGUMENTATION WITH SET; FORMAL PROPERTIES; PREFERRED EXTENSION;

EID: 84940565775     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (26)

1. C. Cayrol. On the relation between argumentation and non-monotonic coeherence-based entailment. In Proceedings of the 14th International Joint Conference on Artificial Intelligence, pages 1443-1448. Morgan Kaufmann, 1995.
2. R. Loui. Defeat among arguments: a system of defeasible inference. Computational Intelligence, 3:100-106, 1987.
3. M. Elvang-Gøransson and A. Hunter. Argumentative logics: reasoning with classically inconsistent information. Data and Knowledge Engineering, 16:125-145, 1995.
4. M. Elvang-Gøransson, P. Krause, and J. Fox. Dialectic reasoning with inconsistent information. In Proceedings of the 9th Conference on Uncertainty in Artificial Intelligence, pages 114-121. Morgan Kaufmann, 1993.
5. A. Bondarenko, P. M. Dung, R. A. Kowalski, and F. Toni. An abstract argumentation-theoretic approach to default reasoning. Artificial Intelligence, 93:63-101, 1997.
6. F. Lin. An argument-based approach to non-monotonic reasoning. Computational Intelligence, 9:254-267, 1993.
7. H. Prakken and G. Vreeswijk. Logics for defeasible argumentation. In Handbook of Philosophical Logic. Kluwer Academic Publishers, 2000.
8. S. Benferhat, D. Dubois, and H. Prade. Argumentative inference in uncertain and inconsistent knowledge bases. In Proceedings of the 9th Conference on Uncertainty in Artificial Intelligence, pages 411-419. Morgan Kaufmann, 1993.
9. J. Kohlas. Symbolic evidence, arguments, supports and valuation networks. In Symbolic and Quantitative Approaches to Reasoning and Uncertainty, pages 186-198. Springer Verlag, 1993.
10. P. Krause, S. Ambler, M. Elvang-Gøransson, and J. Fox. A logic of argumentation for reasoning under uncertainty. Computational Intelligence, 11:113-131, 1995.
11. D. V. Carbogim, D. Robertson, and J. Lee. Argument-based applications to knowledge engineering. The Knowledge Engineering Review, 15(2), 2000.
12. S. Parsons, C. Sierra, and N. R. Jennings. Agents that reason and negotiate by arguing. Journal of Logic and Computation, 8(3):261-292, 1998.
13. H. Prakken. Relating protocols for dynamic dispute with logics for defeasible argumentation. Synthese, 127:187-219, 2001.
14. L. Amgoud, N. Maudet, and S. Parsons. An argumentation-based semantics for agent communication languages. In Proceedings of the Fifteenth European Conference on Artificial Intelligence, 2002.
15. P. McBurney. Rational Interaction. PhD thesis, Department of Computer Science, University of Liverpool, 2002.
16. P. M. Dung. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence, 77(2):321-358, 1995.
17. L. Amgoud. Contribution a l'integration des préferences dans le raisonnement argumentatif. PhD thesis, Université Paul Sabatier, July 1999.
18. L. Amgoud and C. Cayrol. On the acceptability of arguments in preference-based argumentation framework. In Proceedings of the 14th Conference on Uncertainty in Artificial Intelligence, pages 1-7, 1998.
19. L. Amgoud, N. Maudet, and S. Parsons. Modelling dialogues using argumentation. In Proceedings of the Fourth International Conference on Multi-Agent Systems, pages 31-38. IEEE Press, 2000.
20. S. Parsons, M. Wooldridge, and L. Amgoud. Properties and complexity of formal inter-agent dialogues. Journal of Logic and Computation, 13(3):347-376, 2003.
21. S. H. Nielsen and S. Parsons. A generalization of Dung's abstract framework for argumentation. In Proceedings of Third Workshop on Argumentation in Multi-agent Systems. Springer, 2006.
22. Alexander Bochman. Collective argumentation and disjunctive logic programming. Journal of Logic and Computation, 13(3):406-428, 2003.
23. Y. Dimopoulos, B. Nebel, and F. Toni. Preferred arguments are harder to compute than stable extension. In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, pages 36-43. Morgan Kaufmann, 1999.
24. S. Doutre and J. Mengin. Preferred extensions of argumentation frameworks: Query, answering and computation. In Proceedings of International Joint Conference on Automated Reasoning, volume 2083, pages 272-288. Springer, 2001.
25. G. Vreeswijk and H. Prakken. Credulous and sceptical argument games for preferred semantics. In Proceedings of the Seventh European Workshop on Logic in Artificial Inteligence, JELIA, volume 1919, pages 239-253. Springer, 2000.
26. C. Cayrol, S. Doutre, and J. Mengin. Dialectical proof theories for the credulous preferred semantics of argumentation frameworks. In Proceedings of Sixth European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, pages 668-679. Springer, 2001.