On the use of presumptions in structured defeasible reasoning

Frontiers in Artificial Intelligence and Applications

Volumn 245, Issue 1, 2012, Pages 185-196

  Martinez, Maria Vanina ^a   García, Alejandro J ^b   Simari, Guillermo R ^b  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b UNIVERSIDAD NACIONAL DEL SUR   (Argentina)

Author keywords

Defeasible Reasoning; Presumptions; Structured Argumentation Systems

Indexed keywords

ARTIFICIAL INTELLIGENCE; LOGIC PROGRAMMING;

ARGUMENTATION SYSTEMS; DEFEASIBLE LOGIC PROGRAMMING; DEFEASIBLE REASONING; DEFEASIBLE RULES; DIAGNOSTIC REASONING; FULLY INTEGRATED; PRESUMPTION; REASONING MECHANISM; SEMANTIC DIFFERENCE; STRUCTURED ARGUMENTATION SYSTEM;

SEMANTICS;

EID: 84876276022     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: 10.3233/978-1-61499-111-3-185     Document Type: Conference Paper

References (13)

1. [BDKT97] A. Bondarenko, P. M. Dung, R. A. Kowalski, and F. Toni. An abstract, argumentation-theoretic approach to default reasoning. Artificial Intelligence, 93(1-2):63 -101, 1997.
2. [DKT] P. M. Dung, R. A. Kowalski, and F. Toni. Assumption-based argumentation. In Argumentation in Artificial Intelligence.
3. [Dun95] P. M. Dung. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif. Intell., Volume 77:pp. 321-357, 1995.
4. [Gar00] A. J. García. Defeasible logic programming: Definition, operational semantics and parallelism. PhD thesis, Computer Science Department, Universidad Nacional del Sur, 2000.
5. [GS04] A. J. García and G. R. Simari. Defeasible logic programming: An argumentative approach. TPLP, 4(1-2):95-138, 2004.
6. [KT99] A. Kakas and F. Toni. Computing argumentation in logic programming. Journal of Logic Programming, 9(4):515:562, 1999.
7. [Nut01] D. Nute. Defeasible logic. In Handbook of Logic in Artificial Intelligence and Logic Programming, pages 353-395, 2001.
8. [Nut03] D. Nute. Agents, epistemic justification, and defeasibility. In 5th Agustus de Morgan Workshop, King's College London, 2003.
9. [Poo85] D. Poole. On the comparison of theories: Preferring the most specific explanation. In IJCAI, pages 144-147, 1985.
10. [PS06] H. Prakken and G. Sartor. Presumptions and burdens of proof. In JURIX, pages 21-30, 2006.
11. [SGCS03] F. Stolzenburg, A. J. García, C. I. Chesñevar, and G. R. Simari. Computing generalized specificity. Journal of Applied Non-Classical Logics, 13(1):87-113, 2003.
12. [SL92] G. R. Simari and R. P. Loui. A mathematical treatment of defeasible reasoning and its implementation. Artif. Intell., 53(2-3):125-157, 1992.
13. [VTS] I. Viglizzo, F. A. Tohmé, and G. R. Simari. A redefinition of arguments in defeasible logic programming. In AAAI Fall Symposium: The Uses of Computational Argumentation.