Instantiating abstract argumentation with classical logic arguments: Postulates and properties

Artificial Intelligence

Volumn 175, Issue 9-10, 2011, Pages 1479-1497

  Gorogiannis, Nikos ^a   Hunter, Anthony ^b  

^a QUEEN MARY UNIVERSITY OF LONDON   (United Kingdom)

^b UNIVERSITY COLLEGE LONDON   (United Kingdom)

Author keywords

Abstract argumentation; Computational models of argument; Logical argumentation

Indexed keywords

ABSTRACT ARGUMENTATION; CHARACTERISATION; CLASSICAL LOGIC; COMPREHENSIVE STUDIES; COMPUTATIONAL MODELS OF ARGUMENT; LOGICAL ARGUMENTATIONS;

SEMANTICS;

ABSTRACTING;

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

References (38)

1. J. Pollock Defeasible reasoning Cognitive Science 11 4 1987 481 518
2. M. Elvang-Gøransson, P. Krause, and J. Fox Acceptability of arguments as 'logical uncertainty' Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU93) 1993 Springer-Verlag 85 90
3. P. Dung On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games Artificial Intelligence 77 2 1995 321 357
4. A. Bondarenko, P. Dung, R. Kowalski, and F. Toni An abstract, argumentation-theoretic approach to default reasoning Artificial Intelligence 93 1997 63 101 (Pubitemid 127401113)
5. H. Prakken, and G. Sartor Argument-based extended logic programming with defeasible priorities Journal of Applied Non-Classical Logics 7 1 1997 25 75
6. Ph. Besnard, and A. Hunter A logic-based theory of deductive arguments Artificial Intelligence 128 1-2 2001 203 235 (Pubitemid 32421514)
7. C. Chesñevar, A. Maguitman, and R. Loui Logical models of argument ACM Computing Surveys 32 4 2000 337 383
8. T. Bench-Capon, and P. Dunne Argumentation in artificial intelligence Artificial Intelligence 171 10-15 2007 619 641 (Pubitemid 47285079)
9. Ph. Besnard, and A. Hunter Elements of Argumentation 2008 MIT Press
10. I. Rahwan, and G. Simari Argumentation in Artificial Intelligence 2009 Springer
11. J. Alferes, P. Dung, and L. Pereira Scenario semantics of extended logic programs A. Nerode, L. Pereira, Proceedings of the 2nd International Workshop on Logic Programming and Non-Monotonic Reasoning 1993 MIT Press 334 348
12. M. Caminada Semi-stable semantics P. Dunne, T. Bench-Capon, Proceedings of International Conference on Computational Models of Argument (COMMA06) vol. 144 2006 IOS Press 121 130
13. P. Dung, P. Mancarella, and F. Toni Computing ideal sceptical argumentation Artificial Intelligence 171 10-15 2007 642 674 (Pubitemid 47285080)
14. G. Simari, and R. Loui A mathematical treatment of defeasible reasoning and its implementation Artificial Intelligence 53 1992 125 157
15. S. Parsons, M. Wooldridge, and L. Amgoud Properties and complexity of some formal inter-agent dialogues Journal of Logic and Computation 13 3 2003 347 376
16. C. Cayrol, On the relation between argumentation and non-monotonic coherence-based entailment, in: Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI95), 1995, pp. 1443-1448.
17. P. Dung, R. Kowalski, and F. Toni Dialectical proof procedures for assumption-based admissible argumentation Artificial Intelligence 170 2006 114 159 (Pubitemid 43006088)
18. M. Caminada, and L. Amgoud On the evaluation of argumentation formalisms Artificial Intelligence 171 5-6 2007 286 310 (Pubitemid 46560479)
19. L. Amgoud, and Ph. Besnard Bridging the gap between abstract argumentation systems and logic Proceedings of the Third International Conference on Scalable Uncertainty Management (SUM09) Lecture Notes in Computer Science vol. 5785 2009 Springer 12 27
20. L. Amgoud, and Ph. Besnard A formal analysis of logic-based argumentation systems Proceedings of the Fourth International Conference on Scalable Uncertainty Management (SUM10) Lecture Notes in Computer Science vol. 6379 2010 Springer 42 55
21. J. Pollock How to reason defeasibly Artificial Intelligence 57 1 1992 1 42 (Pubitemid 23559666)
22. M. Elvang-Gøransson, and A. Hunter Argumentative logics: Reasoning with classically inconsistent information Data and Knowledge Engineering 16 2 1995 125 145
23. Ph. Besnard, and A. Hunter Towards a logic-based theory of argumentation Proceedings of the Seventeenth National Conference on Artificial Intelligence (AAAI00) 2000 AAAI Press/The MIT Press 411 416
24. A. Hunter Real arguments are approximate arguments Proceedings of the 22nd AAAI Conference on Artificial Intelligence (AAAI07) 2007 MIT Press 66 71 (Pubitemid 350149554)
25. M. Caminada, and L. Amgoud An axiomatic account of formal argumentation Proceedings of the 20th National Conference on Artificial Intelligence (AAAI05) 2005 AAAI Press 608 613 (Pubitemid 43006676)
26. G. Brewka, I. Niemela, and M. Truszczynski Nonmonotonic reasoning V. Lifschitz, B. Porter, F. van Harmelen, Handbook of Knowledge Representation 2007 Elsevier 239 284
27. L. Amgoud, and C. Cayrol A reasoning model based on the production of acceptable arguments Annals of Mathematics and Artificial Intelligence 34 1-3 2002 197 215 (Pubitemid 37133007)
28. L. Amgoud, and S. Vesic Handling inconsistency with preference-based argumentation Proceedings of the 4th International Conference on Scalable Uncertainty Management (SUM10) Lecture Notes in Computer Science vol. 6379 2010 Springer 56 69
29. A. García, and G. Simari Defeasible logic programming: An argumentative approach Theory and Practise of Logic Programming 4 2004 95 138
30. M. Wooldridge, P. Dunne, and S. Parsons On the complexity of linking deductive and abstract argument systems Proceedings of the 21st National Conference on Artificial Intelligence (AAAI06) 2006 AAAI Press 299 304 (Pubitemid 44705301)
31. M. Caminada Contamination in formal argumentation systems Proceedings of the Seventeenth Belgium-Netherlands Conference on Artificial Intelligence (BNAIC05) 2005 Koninklijke Vlaamse Academie van Belie voor Wetenschappen en Kunsten 59 65
32. D. Martínez, A. García, G. Simari, Modelling well-structured argumentation lines, in: Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI07), 2007, pp. 465-470.
33. T. Bench-Capon Persuasion in practical argument using value-based argumentation frameworks Journal of Logic and Computation 13 3 2003 429 448
34. L. Amgoud, C. Cayrol, M. Lagasquie-Schiex, and P. Livet On bipolarity in argumentation frameworks International Journal Intelligent Systems 23 10 2008 1062 1093
35. H. Barringer, D. Gabbay, and J. Woods Temporal dynamics of support and attack networks: From argumentation to zoology Mechanizing Mathematical Reasoning Lecture Notes in Computer Science vol. 2605 2005 Springer 59 98 (Pubitemid 350227621)
36. P.E. Dunne, A. Hunter, P. McBurney, S. Parsons, and M. Wooldridge Inconsistency tolerance in weighted argument systems Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009) 2009 IFAAMAS 851 858
37. P. Baroni, F. Cerutti, M. Giacomin, and G. Guida Encompassing attacks to attacks in abstract argumentation frameworks Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2009) Lecture Notes in Computer Science vol. 5590 2009 Springer 83 94
38. S. Modgil Reasoning about preferences in argumentation frameworks Artificial Intelligence 173 9-10 2009 901 934