Base logics in argumentation

Frontiers in Artificial Intelligence and Applications

Volumn 216, Issue , 2010, Pages 275-286

  Hunter, Anthony ^a  

^a UNIVERSITY COLLEGE LONDON   (United Kingdom)

Author keywords

classical logic; consequence relations; defeasible logic; logic based argumentation; logical argument systems

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATION THEORY;

ARGUMENT SYSTEMS; CLASSICAL LOGIC; CONSEQUENCE RELATIONS; DEFEASIBLE LOGIC; FORMAL REPRESENTATIONS; KNOWLEDGE BASIS (KBS); LOGIC-BASED ARGUMENTATIONS; LOGICAL ARGUMENT SYSTEM; MINIMAL SUBSET;

COMPUTER CIRCUITS;

EID: 78049286441     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: 10.3233/978-1-60750-619-5-275     Document Type: Conference Paper

References (30)

1. T. Alsinet, C. Chesñevar, L. Godo, and G. Simari. A logic programming framework for possibilistic argumentation: Formalization and logical properties. Fuzzy Sets and Systems, 10(10):1208-1228, 2008.
2. L. Amgoud and Ph Besnard. Bridging the gap between argumentation systems and logic. In Scalable Uncertainty Management, volume 5785 of LNCS, pages 12-27. Springer, 2009.
3. L. Amgoud and C. Cayrol. On the acceptability of arguments in preference-based argumentation. In G. Cooper and S. Moral, editors, Proceedings of the 14th Conference on Uncertainty in Artificial Intelligence (UAI 1998), pages 1-7. Morgan Kaufmann, 1998.
4. J. Augusto and G. Simari. Temporal defeasible reasoning. Knowl. Inf. Syst., 3(3):287-318, 2001.
5. Ph. Besnard and A. Hunter. A logic-based theory of deductive arguments. Artificial Intelligence, 128:203-235, 2001.
6. Ph Besnard and A. Hunter. Elements of Argumentation. MIT Press, 2008.
7. M. Caminada. On the issue of contraposition of defeasible rules. In Computational Models of Argument: Proceedings of COMMA 2008, pages 109-115. IOS Press, 2008.
8. M. Caminada and L. Amgoud. An axiomatic account of formal argumentation. In Proceedings of the 20th National Conference on Artificial Intelligence (AAAI 2005), pages 608-613, 2005.
9. M. Caminada and L. Amgoud. On the evaluation of argumentation formalisms. Artificial Intelligence, 171 (5-6): 286-310, 2007.
10. C. Cayrol. On the relationship between argumentation and non-monotonic coherence-based entailment. In Proceedings IJCAI'95, pages 1443-1448, 1995.
11. C. Chesñevar, A. Maguitman, and R. Loui. Logical models of argument. ACM Computing Surveys, 32:337-383, 2000.
12. P. Dung, R. Kowalski, and F. Toni. Dialectical proof procedures for assumption-based admissible argumentation. Artificial Intelligence, 170:114-159, 2006.
13. J. Fox and S. Das. Safe and Sound: Artificial Intelligence in Hazardous Applications. MIT Press, 2000.
14. D. Gabbay. Theoretical foundations for nonmonotonic reasoning in expert systems. In K Apt, editor, Logic and Models of Concurrent Systems. Springer, 1985.
15. D. Gaertner and F. Toni. Computing arguments and attacks in assumption-based argumentation. IEEE Intelligent Systems, 6(6):24-33, 2007.
16. A. García and G. Simari. Defeasible logic programming: An argumentative approach. Theory and Practice of Logic Programming, 4:95-138, 2004.
17. M. Garey and D. Johnson. Computers and Intractability. W. H. Freeman, 1979.
18. 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.
19. M. Maher. Propositional defeasible logic has linear complexity. Theory and Practice of Logic Programming, 6(6):691U711, 2001.
20. D. Makinson. General patterns in nonmonotonic reasoning. In D Gabbay, C Hogger, and J Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 3: Nonmonotonic Reasoning and Uncertainty Reasoning, pages 35-110. Oxford University Press, 1994.
21. N. Mann and A. Hunter. Argumentation using temporal knowledge. In Computational Models of Argument: Proceedings of COMMA'08, pages 204-215. IOS Press, 2008.
22. A. Munoz and Juan A. Botia. Asbo: Argumentation system based on ontologies. In Cooperative Information Agents XII (CIA'08), volume 5180 of LNCS, pages 191-205. Springer, 2008.
23. S. Parsons, M. Wooldridge, and L. Amgoud. Properties and complexity of some formal inter-agent dialogues. Journal of Logic & Computation, 3(3):347-376, 2003.
24. H. Prakken and G. Sartor. Argument-based extended logic programming with defeasible priorities. Journal of Applied Non-classical Logic, 7:25-75, 1997.
25. H. Prakken and G. Vreeswijk. Logical systems for defeasible argumentation. In D. Gabbay, editor, Handbook of Philosophical Logic, pages 219-318. Kluwer, 2002.
26. I Rahwan and G Simari, editors. Argumentation in Artificial Intelligence. Springer, 2009.
27. G. Simari and R. Loui. A mathematical treatment of defeasible reasoning and its implementation. Artificial Intelligence, 53:125-157, 1992.
28. T. Takahashi and H. Sawamura. A logic of multiple-valued argumentation. In Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'04), pages 800-807. IEEE Computer Society, 2004.
29. G. Vreeswijk. Abstract argumentation systems. Artificial Intelligence, 90:225-279, 1997.
30. M. Williams and A. Hunter. Ontological-based argumentation. In Proceedings of the International Conference on Tools with AI. IEEE Press, 2007.