Reasoning in Inconsistent Stratified Knowledge Bases

@inproceedings{Benferhat1996ReasoningII,
  title={Reasoning in Inconsistent Stratified Knowledge Bases},
  author={Salem Benferhat and Didier Dubois and Henri Prade},
  booktitle={ISMVL},
  year={1996}
}
This paper proposes a discussion of inconsistency-tolerant consequence relations in prioritized knowledge bases. These inference techniques extend methods for reasoning from inconsistent, non-stratified, knowledge bases to the case where priorities between formulas are available. Priorities between formulas are handled in the framework of possibility theory and allow for the use of pieces of information having various levels of confidence. A comparative analysis of several approaches is carried… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 14 CITATIONS

Similar Papers

Loading similar papers…