Abstract:Measuring inconsistency has been considered as a necessary starting point to understand the nature of inconsistency in a knowledge base better. For practical applications, however, we often have to face some constraints on resolving inconsistency. In this paper, we propose a graph-based approach to measuring the inconsistency for a propositional knowledge base with one or both of two typical types of constraints on modifying formulas. Here the first type of constraint, called the hard constraint, describes a pair of sets of formulas such that all the formulas in the first set should be protected from being modified on the condition that all the formulas in the second set must be modified in order to restore the consistency of that base, while the second type, called the soft constraint, describes a set of pairs of formulas that are not allowed to be modified together. At first, we use a bipartite graph to represent the relation between formulas and minimal inconsistent subsets of a knowledge base. Then we show that such a graph-based representation allows us to characterize the inconsistency with constraints in a concise way. Based on this characterization, we thus propose measures for the degree of inconsistency and for the responsibility of each formula for the inconsistency of a knowledge base with constraints, respectively. Finally, we show that these measures can be well explained based on Halpern and Pearl's causal model and Chockler and Halpern's notion of responsibility.

Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics

An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics

Paraconsistent Reasoning with Description Logics

Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers.

Paraconsistent Resolution for Four-valued Description Logics

Computational Complexity and Anytime Algorithm for Inconsistency Measurement.

An Argumentative Semantics for Paraconsistent Reasoning in Description Logic ALC.

Paraconsistent Reasoning With Quasi-Classical Semantic In Alc

Paraconsistent Reasoning with Quasi-classical Semantic in $\mathcal{ALC}$

Measuring Inconsistency with Constraints for Propositional Knowledge Bases

Paraconsistent Reasoning for Expressive and Tractable Description Logics

Paraconsistent reasoning for inconsistency measurement in declarative process specifications

Quasi-Classical Semantics for Expressive Description Logics

Queries With Exact Truth Values in Paraconsistent Description Logics

The Degree of Conflict Between Formulas in an Inconsistent Knowledge Base

Towards A Paradoxical Description Logic For The Semantic Web

Measuring Inconsistency in a General Information Space

A Tableau Algorithm For Paraconsistent And Nonmonotonic Reasoning In Description Logic-Based System

Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases

Approaches to Measuring Inconsistency for Stratified Knowledge Bases

Inconsistency Measures for Relational Databases