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
  • Constructor Details

    • SdInconsistencyMeasure

      public SdInconsistencyMeasure(ASPSolver solver)
      Creates a new inconsistency measure based on the given solver.
      Parameters:
      solver - some ASP solver
  • Method Details