Juan Carlos Nieves
Department of Computer Science, Umeå University, Umeå, Sweden
Mauricio Osorio
Universidad de las Amåricas - Puebla, Dept. De Actuaría y Matemáticas, Sta. Catarina Mártir, Cholula, Puebla, 72820 Måxico
Helena Lindgren
Department of Computer Science, Umeå University, Umeå, Sweden
Download article
Published in: The 27th annual workshop of the Swedish Artificial Intelligence Society (SAIS); 14-15 May 2012; Örebro; Sweden
Linköping Electronic Conference Proceedings 71:3, p. 17-23
Published: 2012-05-14
ISBN:
ISSN: 1650-3686 (print), 1650-3740 (online)
Inconsistent knowledge bases usually are regarded as an epistemic hell that have to be avoided at all costs. However; many times it is di cult o
impossible to stay away of managing inconsistent knowledge bases. In this paper; we introduce an argumentation-based approach in order to manage inconsistent possibilistic knowledge bases. This approach will be exible enough for managing inconsistenpossibilistic models and the non-existence of possibilistic models of a possibilistic logic program.
[1] Montse Aulinas; Juan Carlos Nieves; Manel Poch; and Ulises Cortés. Supporting Decision Making in Urban Wastewater Systems using a Knowledge-Based Approach. Environmental Modelling and Software; 26(5):562572; 2011.
[2] Chitta Baral. Knowledge Representation; Rea- soning and Declarative Problem Solving. Cambridge University Press; Cambridge; 2003.
[3] Carlos Iván Chesñevar; Ana Gabriela Maguitman; and Ronald Prescott Loui. Logical models of argument. ACM Comput. Surv.; 32(4):337383; 2000.
[4] Didier Dubois; Jérôme Lang; and Henri Prade. Possibilistic logic. In Dov Gabbay; Christopher J. Hogger; and J. A. Robinson; editors; Handbook of Logic in Arti cial Intelligence and Logic Programming; Volume 3: Non- monotonic Reasoning and Uncertain Reason- ing; pages 439513. Oxford University Press; Oxford; 1994.
[5] Phan Minh Dung. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning; logic programming and n-person games. Arti cial Intelligence; 77(2):321358; 1995.
[6] Nicola Leone; Gerard Pfeifer; Wolfgang; Thomas Either; Georg Gottlob abd Simona Perri; and Francesco Scarcello. The DLV System for Knowledge Representation and Reasoning. ACM Transaction on Com- putational Logic; 7(3):499562; July 2006.
[7] Helena Lindgren. Limitations in physicians knowledge when assessing dementia diseases - an evaluation study of a decision-support system. Studies In Health Technology And Infor- matics; 169:120124; 2011.
[8] Pascal Nicolas; Laurent Garcia; Igor Stéphan; and Claire Lefèvre. Possibilistic Uncertainty Handling for Answer Set Programming. An- nals of Mathematics and Arti cial Intelli- gence; 47(1-2):139181; June 2006.
[9] Juan Carlos Nieves; Mauricio Osorio; and Ulises Cortés. Semantics for possibilistic disjunctive programs. In Stefania Costantini and Richard Watson; editors; Answer Set Pro- gramming: Advances in Theory and Imple- mentation; pages 271284; 2007.
[10] Juan Carlos Nieves; Mauricio Osorio; and Ulises Cortés. Semantics for Possibilsitic Disjuntive Programs. Theory and Practice of Logic Programming; doi: 10.1017/S1471068411000408; 2011.
[11] Juan Carlos Nieves; Mauricio Osorio; and Claudia Zepeda. A Schema for Generating Relevant Logic Programming Semantics and its Applications in Argumentation Theory. Fundamenta Informaticae; 106(2-4):295 319; 2011.
[12] Mauricio Osorio and Juan Carlos Nieves. Pstable semantics for possibilistic logic programs. In MICAI 2007: Advances in Arti- cial Intelligence; 6th Mexican International Conference on Arti cial Intelligence; number 4827 in LNAI; pages 294304. Springer-Verlag; 2007.
[13] Henry Prakken and Gerard A. W. Vreeswijk. Logics for defeasible argumentation. In D. Gabbay and F. Günthner; editors; Hand- book of Philosophical Logic; volume 4; pages 219318. Kluwer Academic Publishers; Dordrecht/ Boston/London; second edition; 2002.
