net.sf.tweety.lp.asp.analysis

Class PmInconsistencyMeasure

java.lang.Object

net.sf.tweety.lp.asp.analysis.PmInconsistencyMeasure

All Implemented Interfaces:

net.sf.tweety.logics.commons.analysis.InconsistencyMeasure<Program>

public class PmInconsistencyMeasure
extends Object
implements net.sf.tweety.logics.commons.analysis.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

Field Summary

Fields inherited from interface net.sf.tweety.logics.commons.analysis.InconsistencyMeasure

MEASURE_TOLERANCE

Constructor Summary

Constructors

Constructor and Description
PmInconsistencyMeasure(Solver solver) Creates a new inconsistency measure based on the given solver.

Method Summary

Modifier and Type	Method and Description
Double	inconsistencyMeasure(Program beliefBase)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PmInconsistencyMeasure

public PmInconsistencyMeasure(Solver solver)

Creates a new inconsistency measure based on the given solver.

Parameters:

solver - some ASP solver

Method Detail

inconsistencyMeasure

public Double inconsistencyMeasure(Program beliefBase)

Specified by:

inconsistencyMeasure in interface net.sf.tweety.logics.commons.analysis.InconsistencyMeasure<Program>