A four-valued approach for handling inconsistency in prioritized knowledge-bases

Authors:

• Ofer Arieli, Dept. of Computer Science, School of Mathematical Sciences, Tel-Aviv University, Tel-Aviv 69978, Israel.

Abstract:

The use of priorities among formulae is an important tool to appropriately revise inconsistent knowledge-bases. We present a four-valued semantical approach for recovering consistent data from prioritized knowledge-bases. This approach is nonmonotonic and paraconsistent in nature.

Keywords:

Common sense reasoning, Multiple-valued logics, reasoning with inconsistent knowledge-bases.