Class DSumInconsistencyMeasure<T extends Interpretation<B,​S>,​B extends BeliefBase,​S extends Formula>

  • Type Parameters:
    T - the type of interpretations
    B - the type of belief bases
    S - The type of formulas supported
    All Implemented Interfaces:
    PostulateEvaluatable<S>, InconsistencyMeasure<BeliefSet<S,​?>>

    public class DSumInconsistencyMeasure<T extends Interpretation<B,​S>,​B extends BeliefBase,​S extends Formula>
    extends BeliefSetInconsistencyMeasure<S>
    This class implements the d-sum inconsistency measure from [Grant, Hunter. Distance-based Measures of Inconsistency, ECSQARU'13]. This implementation uses a slightly different characterization than the one used in the paper. This measure seeks an interpretation I such that the the sum of the distances between every formula of the knowledge base and I is minimal. The value of the inconsistency is than exactly this sum. The distance can be parameterized.
    NOTE: Currently, this algorithm uses a brute force approach (checking all interpretations) for computing the solution.
    Author:
    Matthias Thimm