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

    • PmInconsistencyMeasure

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