Class ContensionSatInconsistencyMeasure
- java.lang.Object
-
- org.tweetyproject.logics.commons.analysis.BeliefSetInconsistencyMeasure<PlFormula>
-
- org.tweetyproject.logics.pl.analysis.SatBasedInconsistencyMeasure
-
- org.tweetyproject.logics.pl.analysis.ContensionSatInconsistencyMeasure
-
- All Implemented Interfaces:
PostulateEvaluatable<PlFormula>
,InconsistencyMeasure<BeliefSet<PlFormula,?>>
public class ContensionSatInconsistencyMeasure extends SatBasedInconsistencyMeasure
This class implements a SAT encoding of the contension inconsistency measure, originally proposed in [Grant, Hunter. "Measuring consistency gain and information loss in step-wise inconsistency resolution", ECSQARU'11].
This measure is defined on paraconsistent models (three-valued models with truth values F,T,B) of a knowledge base by taking the minimal number of B-valued propositions needed in a model of the knowledge base.- Author:
- Anna Gessler
-
-
Field Summary
-
Fields inherited from interface org.tweetyproject.logics.commons.analysis.InconsistencyMeasure
MEASURE_TOLERANCE
-
-
Constructor Summary
Constructors Constructor Description ContensionSatInconsistencyMeasure()
Create a new ContensionSatInconsistencyMeasure with the default SAT solver.ContensionSatInconsistencyMeasure(SatSolver solver)
Create a new ContensionSatInconsistencyMeasure with the given SAT solver.
-
Method Summary
Modifier and Type Method Description PlBeliefSet
getSATEncoding(java.util.Collection<PlFormula> kb, int upper_bound)
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
-
-
-
-
Constructor Detail
-
ContensionSatInconsistencyMeasure
public ContensionSatInconsistencyMeasure(SatSolver solver)
Create a new ContensionSatInconsistencyMeasure with the given SAT solver.- Parameters:
solver
- some SAT solver
-
ContensionSatInconsistencyMeasure
public ContensionSatInconsistencyMeasure()
Create a new ContensionSatInconsistencyMeasure 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 classBeliefSetInconsistencyMeasure<PlFormula>
- Parameters:
kb
- a collection of formulas.- Returns:
- a Double indicating the degree of inconsistency.
-
getSATEncoding
public PlBeliefSet getSATEncoding(java.util.Collection<PlFormula> kb, int upper_bound)
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-