Class HsInconsistencyMeasure<B extends BeliefBase,​S extends Formula>

  • Type Parameters:
    B - some belief base type
    S - some formula type
    All Implemented Interfaces:
    PostulateEvaluatable<S>, InconsistencyMeasure<BeliefSet<S,​?>>

    public class HsInconsistencyMeasure<B extends BeliefBase,​S extends Formula>
    extends BeliefSetInconsistencyMeasure<S>
    This class implements the Hitting Set inconsistency measure as proposed in [Thimm, 2014, in preparation]. The inconsistency value is defined as one plus the minimal number of interpretations, s.t. every formula of the belief set is satisfied by at least one interpretation. This is equivalent in the cardinality of a minimal partitioning of the knowledge base such that each partition is consistent.
    Author:
    Matthias Thimm
    • Constructor Detail

      • HsInconsistencyMeasure

        public HsInconsistencyMeasure​(InterpretationIterator<S,​B,​? extends Interpretation<B,​S>> it)
        Creates a new inconsistency measure that uses the interpretations given by the given iterator.
        Parameters:
        it - some interpretation iterator.
    • Method Detail

      • inconsistencyMeasure

        public java.lang.Double inconsistencyMeasure​(java.util.Collection<S> formulas)
        Description copied from class: BeliefSetInconsistencyMeasure
        This method measures the inconsistency of the given set of formulas.
        Specified by:
        inconsistencyMeasure in class BeliefSetInconsistencyMeasure<S extends Formula>
        Parameters:
        formulas - a collection of formulas.
        Returns:
        a Double indicating the degree of inconsistency.
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object