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

Field Summary

Fields inherited from interface org.tweetyproject.logics.commons.analysis.InconsistencyMeasure

MEASURE_TOLERANCE

Constructor Summary

Constructors

Constructor	Description
BeliefSetInconsistencyMeasure()

Method Summary

Modifier and Type	Method	Description
abstract Double	inconsistencyMeasure(Collection<S> formulas)	This method measures the inconsistency of the given set of formulas.
Double	inconsistencyMeasure(BeliefSet<S,?> beliefBase)	This method measures the inconsistency of the given belief base.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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.