Class HsInconsistencyMeasure<B extends BeliefBase,S extends Formula>

java.lang.Object
org.tweetyproject.logics.commons.analysis.BeliefSetInconsistencyMeasure<S>
org.tweetyproject.logics.commons.analysis.HsInconsistencyMeasure<B,S>
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