Class PmInconsistencyMeasure

java.lang.Object
org.tweetyproject.lp.asp.analysis.PmInconsistencyMeasure
All Implemented Interfaces:
InconsistencyMeasure<Program>

public class PmInconsistencyMeasure extends Object implements 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.
Author:
Matthias Thimm