Package net.sf.tweety.logics.commons.analysis

Class DHitInconsistencyMeasure<T extends net.sf.tweety.commons.Interpretation<B,​S>,​B extends net.sf.tweety.commons.BeliefBase,​S extends net.sf.tweety.commons.Formula>

  • Type Parameters:
    T - the type of interpretations
    B - the type of belief bases
    S - The type of formulas supported
    All Implemented Interfaces:
    net.sf.tweety.commons.postulates.PostulateEvaluatable<S>, InconsistencyMeasure<net.sf.tweety.commons.BeliefSet<S,​?>>
    public class DHitInconsistencyMeasure<T extends net.sf.tweety.commons.Interpretation<B,​S>,​B extends net.sf.tweety.commons.BeliefBase,​S extends net.sf.tweety.commons.Formula>
extends BeliefSetInconsistencyMeasure<S>
    This class implements the d-hit 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 number of formulas not satisfied by I is minimal. The value of the inconsistency is than exactly this number. The distance can be parameterized.
    NOTE: Currently, this algorithm uses a brute force approach (checking all interpretations) for computing the solution.
    Author:
    Matthias Thimm

    • Constructor Detail

      • DHitInconsistencyMeasure

        public DHitInconsistencyMeasure​(net.sf.tweety.commons.analysis.InterpretationDistance<T,​B,​S> distance,
                                net.sf.tweety.commons.InterpretationIterator<S,​B,​T> it)
        Creates a new d-sum inconsistency measure using the given distance and interpretations provided from the given interpretation iterator.
        Parameters:
        distance - some distance measure
        it - some interpretation iterator