HsInconsistencyMeasure (Tweety (Commons Logic) 1.16 API)

java.lang.Object
- net.sf.tweety.logics.commons.analysis.BeliefSetInconsistencyMeasure<S>
- - net.sf.tweety.logics.commons.analysis.HsInconsistencyMeasure<B,S>

Type Parameters:

B - some belief base type

S - some formula type

All Implemented Interfaces:

net.sf.tweety.commons.postulates.PostulateEvaluatable<S>, InconsistencyMeasure<net.sf.tweety.commons.BeliefSet<S,?>>
```
public class HsInconsistencyMeasure<B extends net.sf.tweety.commons.BeliefBase,S extends net.sf.tweety.commons.Formula>
extends BeliefSetInconsistencyMeasure<S>
```
This class implements the Hitting Set inconsistency measure as proposed in [Thimm, 2014, in preparation]. 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 in the cardinality of a minimal partitioning of the knowledge base such that each partition is consistent.

Author:

Matthias Thimm

Field Summary
- Fields inherited from interface net.sf.tweety.logics.commons.analysis.InconsistencyMeasure
  MEASURE_TOLERANCE

Constructor Summary

Constructors
Constructor	Description
`HsInconsistencyMeasure(net.sf.tweety.commons.InterpretationIterator<S,B,? extends net.sf.tweety.commons.Interpretation<B,S>> it)`	Creates a new inconsistency measure that uses the interpretations given by the given iterator.

Method Summary

Modifier and Type Method Description

Double inconsistencyMeasure(Collection<S> formulas)
This method measures the inconsistency of the given set of formulas.

String toString()
- Methods inherited from class net.sf.tweety.logics.commons.analysis.BeliefSetInconsistencyMeasure
  inconsistencyMeasure
- Methods inherited from class java.lang.Object
  clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

- Constructor Detail
  - HsInconsistencyMeasure
```
public HsInconsistencyMeasure(net.sf.tweety.commons.InterpretationIterator<S,B,? extends net.sf.tweety.commons.Interpretation<B,S>> it)
```
    Creates a new inconsistency measure that uses the interpretations given by the given iterator.
    
    Parameters:
    
    it - some interpretation iterator.
- Method Detail
  - inconsistencyMeasure
```
public Double inconsistencyMeasure(Collection<S> formulas)
```
    Description copied from class: BeliefSetInconsistencyMeasure
    
    This method measures the inconsistency of the given set of formulas.
    
    Specified by:
    
    inconsistencyMeasure in class BeliefSetInconsistencyMeasure<S extends net.sf.tweety.commons.Formula>
    
    Parameters:
    
    formulas - a collection of formulas.
    
    Returns:
    
    a Double indicating the degree of inconsistency.
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class Object