Class DfInconsistencyMeasure<S extends Formula>

java.lang.Object
org.tweetyproject.logics.commons.analysis.BeliefSetInconsistencyMeasure<S>
org.tweetyproject.logics.commons.analysis.DfInconsistencyMeasure<S>
Type Parameters:
S - The specific type of formulas
All Implemented Interfaces:
PostulateEvaluatable<S>, InconsistencyMeasure<BeliefSet<S,?>>

public class DfInconsistencyMeasure<S extends Formula> extends BeliefSetInconsistencyMeasure<S>
This class implements the family of "Measures of the Degree of Inconsistency" from [Mu,Liu,Jin, Bell. A syntax-based approach to measuring the degree of inconsistency for belief bases. IJAR 52(7), 2011.]
Author:
Matthias Thimm