Package net.sf.tweety.lp.asp.analysis
Class SdInconsistencyMeasure
- java.lang.Object
-
- net.sf.tweety.lp.asp.analysis.SdInconsistencyMeasure
-
- All Implemented Interfaces:
InconsistencyMeasure<Program>
public class SdInconsistencyMeasure extends java.lang.Object implements InconsistencyMeasure<Program>
This class implements the inconsistency measure $I_sd$ from [Ulbricht, Thimm, Brewka. Measuring Inconsistency in Answer Set Programs. JELIA 2016]
The implememtation is a straightforward brute-force search approach.- Author:
- Matthias Thimm
-
-
Field Summary
-
Fields inherited from interface net.sf.tweety.logics.commons.analysis.InconsistencyMeasure
MEASURE_TOLERANCE
-
-
Constructor Summary
Constructors Constructor Description SdInconsistencyMeasure(ASPSolver solver)
Creates a new inconsistency measure based on the given solver.
-
Method Summary
Modifier and Type Method Description java.lang.Double
inconsistencyMeasure(Program beliefBase)
This method measures the inconsistency of the given belief base.
-
-
-
Constructor Detail
-
SdInconsistencyMeasure
public SdInconsistencyMeasure(ASPSolver solver)
Creates a new inconsistency measure based on the given solver.- Parameters:
solver
- some ASP solver
-
-
Method Detail
-
inconsistencyMeasure
public java.lang.Double inconsistencyMeasure(Program beliefBase)
Description copied from interface:InconsistencyMeasure
This method measures the inconsistency of the given belief base.- Specified by:
inconsistencyMeasure
in interfaceInconsistencyMeasure<Program>
- Parameters:
beliefBase
- a belief base.- Returns:
- a Double indicating the degree of inconsistency.
-
-