Class DMaxInconsistencyMeasure<T extends Interpretation<B,S>,B extends BeliefBase,S extends Formula>
java.lang.Object
org.tweetyproject.logics.commons.analysis.BeliefSetInconsistencyMeasure<S>
org.tweetyproject.logics.commons.analysis.DMaxInconsistencyMeasure<T,B,S>
- Type Parameters:
T
- the type of interpretationsB
- the type of belief basesS
- The type of formulas supported
- All Implemented Interfaces:
PostulateEvaluatable<S>
,InconsistencyMeasure<BeliefSet<S,
?>>
public class DMaxInconsistencyMeasure<T extends Interpretation<B,S>,B extends BeliefBase,S extends Formula>
extends BeliefSetInconsistencyMeasure<S>
This class implements the d-max inconsistency measure from [Grant, Hunter. Distance-based Measures of Inconsistency, ECSQARU'13].
This implementation uses a slightly different characterization than the one used in the paper. This measure seeks an interpretation
I such that the the maximal distance between every formula of the knowledge base and I is minimal. The value
of the inconsistency is than exactly this value. The distance can be parameterized.
NOTE: Currently, this algorithm uses a brute force approach (checking all interpretations) for computing the solution.
NOTE: Currently, this algorithm uses a brute force approach (checking all interpretations) for computing the solution.
- Author:
- Matthias Thimm
-
Field Summary
Fields inherited from interface org.tweetyproject.logics.commons.analysis.InconsistencyMeasure
MEASURE_TOLERANCE
-
Constructor Summary
ConstructorDescriptionDMaxInconsistencyMeasure
(InterpretationDistance<T, B, S> distance, InterpretationIterator<S, B, T> it) Creates a new d-max inconsistency measure using the given distance and interpretations provided from the given interpretation iterator. -
Method Summary
Modifier and TypeMethodDescriptioninconsistencyMeasure
(Collection<S> formulas) This method measures the inconsistency of the given set of formulas.toString()
Methods inherited from class org.tweetyproject.logics.commons.analysis.BeliefSetInconsistencyMeasure
inconsistencyMeasure
-
Constructor Details
-
DMaxInconsistencyMeasure
public DMaxInconsistencyMeasure(InterpretationDistance<T, B, S> distance, InterpretationIterator<S, B, T> it) Creates a new d-max inconsistency measure using the given distance and interpretations provided from the given interpretation iterator.- Parameters:
distance
- some distance measureit
- some interpretation iterator
-
-
Method Details
-
inconsistencyMeasure
Description copied from class:BeliefSetInconsistencyMeasure
This method measures the inconsistency of the given set of formulas.- Specified by:
inconsistencyMeasure
in classBeliefSetInconsistencyMeasure<S extends Formula>
- Parameters:
formulas
- a collection of formulas.- Returns:
- a Double indicating the degree of inconsistency.
-
toString
-