Package org.tweetyproject.lp.asp.analysis

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

Field Summary

Fields inherited from interface org.tweetyproject.logics.commons.analysis.InconsistencyMeasure

MEASURE_TOLERANCE

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
Double	inconsistencyMeasure(Program beliefBase)	This method measures the inconsistency of the given belief base.

Methods inherited from class java.lang.Object

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

Constructor Details

PmInconsistencyMeasure

public PmInconsistencyMeasure(ASPSolver solver)

Creates a new inconsistency measure based on the given solver.

Parameters:

solver - some ASP solver

Method Details

inconsistencyMeasure

public Double inconsistencyMeasure(Program beliefBase)

Description copied from interface: InconsistencyMeasure

This method measures the inconsistency of the given belief base.

Specified by:

inconsistencyMeasure in interface InconsistencyMeasure<Program>

Parameters:

beliefBase - a belief base.

Returns:

a Double indicating the degree of inconsistency.