Inconsistency-tolerant reasoning over linear probabilistic knowledge bases

Autor(en): Potyka, Nico
Thimm, Matthias
Stichwörter: Computer Science; Computer Science, Artificial Intelligence; CONSTRAINTS; Inconsistency-tolerant reasoning; LOGIC; Probabilistic logic; Probabilistic reasoning
Erscheinungsdatum: 2017
Herausgeber: ELSEVIER SCIENCE INC
Journal: INTERNATIONAL JOURNAL OF APPROXIMATE REASONING
Volumen: 88
Startseite: 209
Seitenende: 236
Zusammenfassung: 
We consider the problem of reasoning under uncertainty in the presence of inconsistencies. Our knowledge bases consist of linear probabilistic constraints that, in particular, generalize many probabilistic-logical knowledge representation formalisms. We first generalize classical probabilistic models to inconsistent knowledge bases by considering a notion of minimal violation of knowledge bases. Subsequently, we use these generalized models to extend two classical probabilistic reasoning problems (the probabilistic entailment problem and the model selection problem) to inconsistent knowledge bases. We show that our approach satisfies several desirable properties and discuss some of its computational properties. (C) 2017 Elsevier Inc. All rights reserved.
ISSN: 0888613X
DOI: 10.1016/j.ijar.2017.06.002

Show full item record

Google ScholarTM

Check

Altmetric