Class DMaxInconsistencyMeasure<T extends Interpretation<B,S>, B extends BeliefBase, S extends Formula>

java.lang.Object
org.tweetyproject.logics.commons.analysis.BeliefSetInconsistencyMeasure<S>
org.tweetyproject.logics.commons.analysis.DMaxInconsistencyMeasure<T,B,S>
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 DMaxInconsistencyMeasure<T extends Interpretation<B,S>, B extends BeliefBase, S extends Formula> extends BeliefSetInconsistencyMeasure<S>
This class implements the d-max 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 maximal distance between every formula of the knowledge base and I is minimal. The value of the inconsistency is than exactly this value. 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 Details

    • DMaxInconsistencyMeasure

      public DMaxInconsistencyMeasure(InterpretationDistance<T,B,S> distance, InterpretationIterator<S,B,T> it)
      Creates a new d-max inconsistency measure using the given distance and interpretations provided from the given interpretation iterator.
      Parameters:
      distance - some distance measure
      it - some interpretation iterator

  • Method Details