public class SdInconsistencyMeasure 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 |
---|
SdInconsistencyMeasure(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 boolean |
isConsistent(java.util.Collection<DLPLiteral> c)
Checks whether the given set of literals is consistent, i.e.
|
private Solver solver
public SdInconsistencyMeasure(Solver solver)
solver
- some ASP solverprivate boolean isConsistent(java.util.Collection<DLPLiteral> c)
c
- some setpublic java.lang.Double inconsistencyMeasure(Program beliefBase)
InconsistencyMeasure
inconsistencyMeasure
in interface InconsistencyMeasure<Program>
beliefBase
- a belief base.