Class PmInconsistencyMeasure
java.lang.Object
org.tweetyproject.lp.asp.analysis.PmInconsistencyMeasure
- All Implemented Interfaces:
InconsistencyMeasure<Program>
This class implements the inconsistency measure $I_\pm$ from [Ulbricht,
Thimm, Brewka. Measuring Inconsistency in Answer Set Programs. JELIA
2016]
The implememtation is a straightforward brute-force search approach.
The implememtation is a straightforward brute-force search approach.
- Author:
- Matthias Thimm
-
Field Summary
Fields inherited from interface org.tweetyproject.logics.commons.analysis.InconsistencyMeasure
MEASURE_TOLERANCE
-
Constructor Summary
ConstructorDescriptionPmInconsistencyMeasure
(ASPSolver solver) Creates a new inconsistency measure based on the given solver. -
Method Summary
Modifier and TypeMethodDescriptioninconsistencyMeasure
(Program beliefBase) This method measures the inconsistency of the given belief base.
-
Constructor Details
-
PmInconsistencyMeasure
Creates a new inconsistency measure based on the given solver.- Parameters:
solver
- some ASP solver
-
-
Method Details
-
inconsistencyMeasure
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.
-