Class BeliefSetInconsistencyMeasure<S extends Formula>

java.lang.Object
org.tweetyproject.logics.commons.analysis.BeliefSetInconsistencyMeasure<S>
Type Parameters:
S - The type of formulas this measure supports.
All Implemented Interfaces:
PostulateEvaluatable<S>, InconsistencyMeasure<BeliefSet<S,?>>
Direct Known Subclasses:
CcInconsistencyMeasure, CmdLineImSolver, ContensionInconsistencyMeasure, CspInconsistencyMeasure, DfInconsistencyMeasure, DHitInconsistencyMeasure, DistanceMinimizationInconsistencyMeasure, DMaxInconsistencyMeasure, DrasticInconsistencyMeasure, DSumInconsistencyMeasure, EtaInconsistencyMeasure, FbInconsistencyMeasure, FuzzyInconsistencyMeasure, HsInconsistencyMeasure, IcebergInconsistencyMeasure, IsInconsistencyMeasure, LowerApproxDistanceMinimizationInconsistencyMeasure, MaInconsistencyMeasure, McscInconsistencyMeasure, MicInconsistencyMeasure, MiInconsistencyMeasure, MinimalViolation2InconsistencyMeasure, MinimalViolationInconsistencyMeasure, MusVarInconsistencyMeasure, NConsInconsistencyMeasure, PmInconsistencyMeasure, PrimeImplicantBasedInconsistencyMeasure, PrInconsistencyMeasure, SatBasedInconsistencyMeasure, StreamBasedInconsistencyMeasure, UpperApproxDistanceMinimizationInconsistencyMeasure

public abstract class BeliefSetInconsistencyMeasure<S extends Formula> extends Object implements InconsistencyMeasure<BeliefSet<S,?>>, PostulateEvaluatable<S>
Classes extending this abstract class represent inconsistency measures on belief sets.
Author:
Matthias Thimm
  • Constructor Details

    • BeliefSetInconsistencyMeasure

      public BeliefSetInconsistencyMeasure()
  • Method Details

    • inconsistencyMeasure

      public Double inconsistencyMeasure(BeliefSet<S,?> beliefBase)
      Description copied from interface: InconsistencyMeasure
      This method measures the inconsistency of the given belief base.
      Specified by:
      inconsistencyMeasure in interface InconsistencyMeasure<S extends Formula>
      Parameters:
      beliefBase - a belief base.
      Returns:
      a Double indicating the degree of inconsistency.
    • inconsistencyMeasure

      public abstract Double inconsistencyMeasure(Collection<S> formulas)
      This method measures the inconsistency of the given set of formulas.
      Parameters:
      formulas - a collection of formulas.
      Returns:
      a Double indicating the degree of inconsistency.