ContensionInconsistencyMeasure

java.lang.Object
- net.sf.tweety.logics.commons.analysis.BeliefSetInconsistencyMeasure<PlFormula>
- - net.sf.tweety.logics.pl.analysis.ContensionInconsistencyMeasure

All Implemented Interfaces:

PostulateEvaluatable<PlFormula>, InconsistencyMeasure<BeliefSet<PlFormula,?>>
```
public class ContensionInconsistencyMeasure
extends BeliefSetInconsistencyMeasure<PlFormula>
```
This class implements the contension inconsistency measure, cf. [Grant, Hunter, 2011].
This measure is defined on paraconsistent models (three-valued models with truth values F,T,B) of a knowledge base via taking the minimal number of B-valued propositions needed in a model of the knowledge base.
The computation of the inconsistency value is done as follows. First, the knowledge base is transformed into CNF. If the knowledge base is consistent the inconsistency value is 0. Otherwise, for every proposition "p" we create a new knowledge base by removing all clauses where "p" appears (either positive or negative) and test the new knowledge base for consistency. This is equivalent to checking whether there is a paraconsistent model that sets the truth value of p to B. If one of these knowledge bases is consistent we return "1" as inconsistency value. Otherwise, the process is repeated with all pairs "p1,p2" of propositions, then triples, etc.

Author:

Matthias Thimm

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

Constructor Summary

Constructors
Constructor Description

ContensionInconsistencyMeasure()

Method Summary

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

Methods inherited from class net.sf.tweety.logics.commons.analysis.BeliefSetInconsistencyMeasure
inconsistencyMeasure

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

- Constructor Detail
  - ContensionInconsistencyMeasure
```
public ContensionInconsistencyMeasure()
```
- Method Detail
  - inconsistencyMeasure
```
public java.lang.Double inconsistencyMeasure(java.util.Collection<PlFormula> formulas)
```
    Description copied from class: BeliefSetInconsistencyMeasure
    
    This method measures the inconsistency of the given set of formulas.
    
    Specified by:
    
    inconsistencyMeasure in class BeliefSetInconsistencyMeasure<PlFormula>
    
    Parameters:
    
    formulas - 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