Class SdInconsistencyMeasure

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

public class SdInconsistencyMeasure extends 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