DMCA
Argumentative Inference in Uncertain and Inconsistent Knowledge Bases (1993)
| Venue: | In Proceedings of Uncertainty in Artificial Intelligence |
| Citations: | 90 - 3 self |
BibTeX
@INPROCEEDINGS{Benferhat93argumentativeinference,
author = {Salem Benferhat and Didier Dubois and Henri Prade},
title = {Argumentative Inference in Uncertain and Inconsistent Knowledge Bases},
booktitle = {In Proceedings of Uncertainty in Artificial Intelligence},
year = {1993},
pages = {411--419},
publisher = {Morgan Kaufmann}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
: This paper presents and discusses several methods for reasoning from inconsistent knowledge bases. A so-called argumentative-consequence relation, taking into account the existence of consistent arguments in favor of a conclusion and the absence of consistent arguments in favor of its contrary, is particularly investigated. Flat knowledge bases, i.e. without any priority between their elements, as well as prioritized ones where some elements are considered as more strongly entrenched than others are studied under the different consequence relations which are considered. Lastly a paraconsistent-like treatment of prioritized knowledge bases is proposed, where both the level of entrenchment and the level of paraconsistency attached to a formula are propagated. The priority levels are handled in the framework of possibility theory. Keywords: Inconsistency; consequence relation; prioritized knowledge base; uncertainty; possibilistic logic; possibility theory. Submitted to the Ninth Annual...
Keyphrases
inconsistent knowledge base argumentative inference possibility theory consistent argument different consequence relation so-called argumentative-consequence relation ninth annual prioritized knowledge base flat knowledge base priority level consequence relation paraconsistent-like treatment several method possibilistic logic knowledge base
