Class DHitSatInconsistencyMeasure
- java.lang.Object
-
- org.tweetyproject.logics.commons.analysis.BeliefSetInconsistencyMeasure<PlFormula>
-
- org.tweetyproject.logics.pl.analysis.SatBasedInconsistencyMeasure
-
- org.tweetyproject.logics.pl.analysis.DHitSatInconsistencyMeasure
-
- All Implemented Interfaces:
PostulateEvaluatable<PlFormula>
,InconsistencyMeasure<BeliefSet<PlFormula,?>>
public class DHitSatInconsistencyMeasure extends SatBasedInconsistencyMeasure
This class presents a sat-encoding-based implementation of the hit-distance measure of [Grant and Hunter, “Analysing inconsistent information using distance-based measures” Int. J. Approx. Reasoning, 2017]. The hit-distance measure calculates an interpretation such that the number of distances greater than 0 to the models of each formula is minimal. The value of the inconsistency is than exactly this number of distances.
Note: This implementation may produce different results thanDHitInconsistencyMeasure
in a few cases because the latter implements a slightly different interpretation of the measure.- Author:
- Anna Gessler
-
-
Field Summary
-
Fields inherited from interface org.tweetyproject.logics.commons.analysis.InconsistencyMeasure
MEASURE_TOLERANCE
-
-
Constructor Summary
Constructors Constructor Description DHitSatInconsistencyMeasure()
Create a new DHitSatInconsistencyMeasure with the default SAT solver.DHitSatInconsistencyMeasure(SatSolver solver)
Create a new DHitSatInconsistencyMeasure 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
-
DHitSatInconsistencyMeasure
public DHitSatInconsistencyMeasure(SatSolver solver)
Create a new DHitSatInconsistencyMeasure with the given SAT solver.- Parameters:
solver
- some SAT solver
-
DHitSatInconsistencyMeasure
public DHitSatInconsistencyMeasure()
Create a new DHitSatInconsistencyMeasure 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
-
-