net.sf.tweety.logics.pcl.analysis

Class MinimalViolationInconsistencyMeasure

java.lang.Object

net.sf.tweety.logics.commons.analysis.BeliefSetInconsistencyMeasure<ProbabilisticConditional>

net.sf.tweety.logics.pcl.analysis.MinimalViolationInconsistencyMeasure

All Implemented Interfaces:

InconsistencyMeasure<BeliefSet<ProbabilisticConditional>>

public class MinimalViolationInconsistencyMeasure
extends BeliefSetInconsistencyMeasure<ProbabilisticConditional>

This class provides a general implementation for the minimal violation inconsistency measure, cf. [Potyka, 2014]. It accepts any real vector norm and the used solver can be configured.

Author:

Nico Potyka, Matthias Thimm

Field Summary

Fields

Modifier and Type	Field and Description
private RealVectorNorm	norm The norm.
private Solver	solver The solver used for solving the optimization problem

Fields inherited from interface net.sf.tweety.logics.commons.analysis.InconsistencyMeasure

MEASURE_TOLERANCE

Constructor Summary

Constructors

Constructor and Description
MinimalViolationInconsistencyMeasure(RealVectorNorm norm, Solver solver) Creates a new measure the given norm

Method Summary

Modifier and Type	Method and Description
java.lang.Double	inconsistencyMeasure(java.util.Collection<ProbabilisticConditional> formulas) This method measures the inconsistency of the given set of formulas.

Methods inherited from class net.sf.tweety.logics.commons.analysis.BeliefSetInconsistencyMeasure

inconsistencyMeasure

Methods inherited from class java.lang.Object

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

Field Detail

norm

private RealVectorNorm norm

The norm.

solver

private Solver solver

The solver used for solving the optimization problem

Constructor Detail

MinimalViolationInconsistencyMeasure

public MinimalViolationInconsistencyMeasure(RealVectorNorm norm,
                                            Solver solver)

Creates a new measure the given norm

Parameters:

norm - some norm.

Method Detail

inconsistencyMeasure

public java.lang.Double inconsistencyMeasure(java.util.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.