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
`java.lang.Double`	`inconsistencyMeasure(java.util.Collection<PlFormula> kb)`	This method measures the inconsistency of the given set of formulas.
`java.lang.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 Detail
  - 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 Detail
  - inconsistencyMeasure
```
public java.lang.Double inconsistencyMeasure(java.util.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 java.lang.String toString()
```
    Overrides:
    
    toString in class java.lang.Object