Package org.tweetyproject.logics.pcl.analysis

Class DistanceMinimizationInconsistencyMeasure

java.lang.Object

org.tweetyproject.logics.commons.analysis.BeliefSetInconsistencyMeasure<ProbabilisticConditional>

org.tweetyproject.logics.pcl.analysis.DistanceMinimizationInconsistencyMeasure

All Implemented Interfaces:

PostulateEvaluatable<ProbabilisticConditional>, InconsistencyMeasure<BeliefSet<ProbabilisticConditional,?>>

Direct Known Subclasses:

NormalizedDistanceMinimizationInconsistencyMeasure

public class DistanceMinimizationInconsistencyMeasure
extends BeliefSetInconsistencyMeasure<ProbabilisticConditional>

This class models the distance minimization inconsistency measure as proposed in [Thimm,UAI,2009], extended by the use of different p-norms.

Author:

Matthias Thimm

Field Summary

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

MEASURE_TOLERANCE

Constructor Summary

Constructors

Constructor	Description
DistanceMinimizationInconsistencyMeasure(OptimizationRootFinder rootFinder)	Creates a new measure for p=1.
DistanceMinimizationInconsistencyMeasure(OptimizationRootFinder rootFinder, int p)	Creates a new measure for the given p.

Method Summary

Modifier and Type	Method	Description
Double	getDeviation(PclBeliefSet beliefSet, ProbabilisticConditional pc)	Returns the deviation of the given conditional in the nearest consistent belief set.
Double	inconsistencyMeasure(Collection<ProbabilisticConditional> formulas)	This method measures the inconsistency of the given set of formulas.

Methods inherited from class org.tweetyproject.logics.commons.analysis.BeliefSetInconsistencyMeasure

inconsistencyMeasure

Methods inherited from class java.lang.Object

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

Constructor Details

DistanceMinimizationInconsistencyMeasure

public DistanceMinimizationInconsistencyMeasure(OptimizationRootFinder rootFinder)

Creates a new measure for p=1.

Parameters:

rootFinder - the rootFinder

DistanceMinimizationInconsistencyMeasure

public DistanceMinimizationInconsistencyMeasure(OptimizationRootFinder rootFinder,
 int p)

Creates a new measure for the given p.

Parameters:

rootFinder - the rootFinder

p - some parameter for the p-norm.

Method Details

getDeviation

public Double getDeviation(PclBeliefSet beliefSet,
 ProbabilisticConditional pc)

Returns the deviation of the given conditional in the nearest consistent belief set.

Parameters:

beliefSet - some belief set.

pc - a probabilistic conditional.

Returns:

a double.

inconsistencyMeasure

public Double inconsistencyMeasure(Collection<ProbabilisticConditional> formulas)

Description copied from class: BeliefSetInconsistencyMeasure

This method measures the inconsistency of the given set of formulas.

Specified by:

inconsistencyMeasure in class BeliefSetInconsistencyMeasure<ProbabilisticConditional>

Parameters:

formulas - a collection of formulas.

Returns:

a Double indicating the degree of inconsistency.