Article | The 27th annual workshop of the Swedish Artificial Intelligence Society (SAIS); 14-15 May 2012; Ă–rebro; Sweden | Managing Inconsistent Possibilistic Knowledge Bases by An Argumentation Approach

Title:
Managing Inconsistent Possibilistic Knowledge Bases by An Argumentation Approach
Author:
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:
Full text (pdf)
Year:
2012
Conference:
The 27th annual workshop of the Swedish Artificial Intelligence Society (SAIS); 14-15 May 2012; Ă–rebro; Sweden
Issue:
071
Article no.:
003
Pages:
17-23
No. of pages:
7
Publication type:
Abstract and Fulltext
Published:
2012-05-14
Series:
Linköping Electronic Conference Proceedings
ISSN (print):
1650-3686
ISSN (online):
1650-3740
Publisher:
Linköping University Electronic Press; Linköpings universitet


Export in BibTex, RIS or text

Inconsistent knowledge bases usually are regarded as an epistemic hell that have to be avoided at all costs. However; many times it is dicult 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.

The 27th annual workshop of the Swedish Artificial Intelligence Society (SAIS); 14-15 May 2012; Ă–rebro; Sweden

Author:
Juan Carlos Nieves, Mauricio Osorio, Helena Lindgren
Title:
Managing Inconsistent Possibilistic Knowledge Bases by An Argumentation Approach
References:

[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 Articial 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. Articial 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 Articial 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 Articial 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.

The 27th annual workshop of the Swedish Artificial Intelligence Society (SAIS); 14-15 May 2012; Ă–rebro; Sweden

Author:
Juan Carlos Nieves, Mauricio Osorio, Helena Lindgren
Title:
Managing Inconsistent Possibilistic Knowledge Bases by An Argumentation Approach
Note: the following are taken directly from CrossRef
Citations:
No citations available at the moment