Package org.tweetyproject.logics.pl.analysis

Class HsSatInconsistencyMeasure

java.lang.Object

org.tweetyproject.logics.commons.analysis.BeliefSetInconsistencyMeasure<PlFormula>

org.tweetyproject.logics.pl.analysis.SatBasedInconsistencyMeasure

org.tweetyproject.logics.pl.analysis.HsSatInconsistencyMeasure

All Implemented Interfaces:

PostulateEvaluatable<PlFormula>, InconsistencyMeasure<BeliefSet<PlFormula,?>>

public class HsSatInconsistencyMeasure
extends SatBasedInconsistencyMeasure

This class implements a SAT encoding of the hitting set inconsistency measure, originally proposed in [Thimm. "Stream-based inconsistency measurement". 2014].
The inconsistency value is defined as one plus the minimal number of interpretations s.t. every formula of the belief set is satisfied by at least one interpretation. This is equivalent to the cardinality of a minimal partitioning of the knowledge base such that each partition is consistent.

Author:

Anna Gessler

Field Summary

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

MEASURE_TOLERANCE

Constructor Summary

Constructors

Constructor	Description
HsSatInconsistencyMeasure()	Create a new HsSatInconsistencyMeasure with the default SAT solver.
HsSatInconsistencyMeasure(SatSolver solver)	Create a new HsSatInconsistencyMeasure with the given SAT solver.

Method Summary

Modifier and Type	Method	Description
Double	inconsistencyMeasure(Collection<PlFormula> kb)	This method measures the inconsistency of the given set of formulas.
String	toString()

Methods inherited from class org.tweetyproject.logics.commons.analysis.BeliefSetInconsistencyMeasure

inconsistencyMeasure

Methods inherited from class java.lang.Object

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

Constructor Details

HsSatInconsistencyMeasure

public HsSatInconsistencyMeasure(SatSolver solver)

Create a new HsSatInconsistencyMeasure with the given SAT solver.

Parameters:

solver - some SAT solver

HsSatInconsistencyMeasure

public HsSatInconsistencyMeasure()

Create a new HsSatInconsistencyMeasure with the default SAT solver.

Method Details

inconsistencyMeasure

public Double inconsistencyMeasure(Collection<PlFormula> kb)

Description copied from class: BeliefSetInconsistencyMeasure

This method measures the inconsistency of the given set of formulas.

Specified by:

inconsistencyMeasure in class BeliefSetInconsistencyMeasure<PlFormula>

Parameters:

kb - a collection of formulas.

Returns:

a Double indicating the degree of inconsistency.

toString

public String toString()

Overrides:

toString in class Object