public class PmInconsistencyMeasure extends java.lang.Object implements InconsistencyMeasure<Program>
Modifier and Type | Field and Description |
---|---|
private Solver |
solver
The ASP solver used for determining inconsistency
|
MEASURE_TOLERANCE
Constructor and Description |
---|
PmInconsistencyMeasure(Solver solver)
Creates a new inconsistency measure based on the given
solver.
|
Modifier and Type | Method and Description |
---|---|
java.lang.Double |
inconsistencyMeasure(Program beliefBase)
This method measures the inconsistency of the given belief base.
|
private Solver solver
public PmInconsistencyMeasure(Solver solver)
solver
- some ASP solverpublic java.lang.Double inconsistencyMeasure(Program beliefBase)
InconsistencyMeasure
inconsistencyMeasure
in interface InconsistencyMeasure<Program>
beliefBase
- a belief base.