Class MinimalViolationInconsistencyMeasure
- java.lang.Object
-
- net.sf.tweety.logics.commons.analysis.BeliefSetInconsistencyMeasure<ProbabilisticConditional>
-
- net.sf.tweety.logics.pcl.analysis.MinimalViolationInconsistencyMeasure
-
- All Implemented Interfaces:
PostulateEvaluatable<ProbabilisticConditional>
,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 inherited from interface net.sf.tweety.logics.commons.analysis.InconsistencyMeasure
MEASURE_TOLERANCE
-
-
Constructor Summary
Constructors Constructor Description MinimalViolationInconsistencyMeasure(RealVectorNorm norm, Solver solver)
Creates a new measure the given norm
-
Method Summary
Modifier and Type Method 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
-
-
-
-
Constructor Detail
-
MinimalViolationInconsistencyMeasure
public MinimalViolationInconsistencyMeasure(RealVectorNorm norm, Solver solver)
Creates a new measure the given norm- Parameters:
norm
- some norm.solver
- the solver to be used
-
-
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 classBeliefSetInconsistencyMeasure<ProbabilisticConditional>
- Parameters:
formulas
- a collection of formulas.- Returns:
- a Double indicating the degree of inconsistency.
-
-