A level-based approach to computing warranted arguments in possibilistic defeasible programming

Frontiers in Artificial Intelligence and Applications

Volumn 172, Issue 1, 2008, Pages 1-12

  Alsinet, Teresa ^a   Chesñevar, Carlos ^b   Godo, Lluís ^c  

^a UNIVERSITY OF LLEIDA   (Spain)

^b UNIVERSIDAD NACIONAL DEL SUR   (Argentina)

^c ARTIFICIAL INTELLIGENCE RESEARCH INSTITUTE IIIA CSIC   (Spain)

Author keywords

Formal models of argument; Possibilistic logic; Rationality postulates for argumentation

Indexed keywords

COMPUTATION THEORY; COMPUTER CIRCUITS; PROBLEM SOLVING;

ARGUMENTATION FRAMEWORKS; DEFEASIBLE LOGIC PROGRAMMING; FORMAL MODEL OF ARGUMENT; FORMAL MODELING; LOGIC-PROGRAMMING; POSSIBILISTIC; POSSIBILISTIC LOGIC; POSSIBILISTIC UNCERTAINTIES; RATIONALITY POSTULATE FOR ARGUMENTATION; RATIONALITY POSTULATES;

LOGIC PROGRAMMING;

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

References (13)

1. T. Alsinet, C. I. Chesñevar, L. Godo, and G. Simari. A logic programming framework for possibilistic argumentation: Formalization and logical properties. Fuzzy Sets and Systems, 2008 (to appear). Preliminary manuscript available from http://cs.uns.edu.ar/∼cic/2007/2007-fss.pdf.
2. S. Benferhat, D. Dubois, and H. Prade. Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. part ii: The prioritized case. In Ewa Orlowska, editor, Logic at work, volume 24, pages 473-511. Physica-Verlag , Heidelberg, 1998.
3. P. Besnard and A. Hunter. A logic-based theory of deductive arguments. Artif. Intell., 128(1-2):203-235, 2001.
4. R. Brena, J. Aguirre, C. Chesñevar, E. Ramírez, and L. Garrido. Knowledge and information distribution leveraged by intelligent agents. Knowl. Inf. Syst., 12(2):203-227, 2007.
5. M. Caminada and L. Amgoud. An axiomatic account of formal argumentation. In Proc. of the 20th AAAI Conference, Pittsburgh, Pennsylvania, USA, pages 608-613. AAAI Press AAAI Press/The MIT Press, 2005.
6. M. Caminada and L. Amgoud. On the evaluation of argumentation formalisms. Artif. Intell., 171(5-6):286-310, 2007.
7. C. Cayrol and M. Lagasquie-Schiex. Graduality in argumentation. J. Artif. Intell. Res. (JAIR), 23:245-297, 2005.
8. C. Chesñevar, A. Maguitman, and R. Loui. Logical Models of Argument. ACM Computing Surveys, 32(4):337-383, December 2000.
9. C. Chesñevar, A. Maguitman, and G. Simari. Argument-Based Critics and Recommenders: A Qualitative Perspective on User Support Systems. Journal of Data and Knowledge Engineering, 59(2):293-319, 2006.
10. A. García and G. Simari. Defeasible Logic Programming: An Argumentative Approach. Theory and Practice of Logic Programming, 4(1):95-138, 2004.
11. J. Pollock. Defeasible reasoning with variable degrees of justification. Artif. Intell., 133(1-2):233-282, 2001.
12. H. Prakken and G. Sartor. Argument-based extended logic programming with defeasible priorities. Journal of Applied Non-classical Logics, 7:25-75, 1997.
13. H. Prakken and G. Vreeswijk. Logical Systems for Defeasible Argumentation. In D. Gabbay and F.Guenther, editors, Handbook of Phil. Logic, pages 219-318. Kluwer, 2002.