Geometric Interpretation of Strong Inconsistency in Knowledge Based Systems

This paper distinguishes between two different kinds of inconsistency of rule-based Knowledge Based Systems (KBSs) constructed on multi-valued logics, which we have denoted “weak inconsistency” and “strong inconsistency”, respectively. While “weak inconsistency” is the inconsistency studied in the verification related references listed at the end of the article, “strong inconsistency” is introduced in this paper. “Strong inconsistency” is a particular case of “weak inconsistency”. An interesting interpretation in terms of polynomial ideals and (discrete) algebraic varieties is provided. Finally, an implementation in the Computer Algebra System (CAS) Maple is included. This implementation provides both a visualization of “strong inconsistency” and symbolic results (directly handling truth tables).