public class MinimalViolationInconsistencyMeasure extends BeliefSetInconsistencyMeasure<ProbabilisticConditional>
Modifier and Type | Field and Description |
---|---|
private RealVectorNorm |
norm
The norm.
|
private Solver |
solver
The solver used for solving the optimization problem
|
MEASURE_TOLERANCE
Constructor and Description |
---|
MinimalViolationInconsistencyMeasure(RealVectorNorm norm,
Solver solver)
Creates a new measure the given norm
|
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.
|
inconsistencyMeasure
private RealVectorNorm norm
private Solver solver
public MinimalViolationInconsistencyMeasure(RealVectorNorm norm, Solver solver)
norm
- some norm.public java.lang.Double inconsistencyMeasure(java.util.Collection<ProbabilisticConditional> formulas)
BeliefSetInconsistencyMeasure
inconsistencyMeasure
in class BeliefSetInconsistencyMeasure<ProbabilisticConditional>
formulas
- a collection of formulas.