Package net.sf.tweety.logics.pl.analysis
Class PmInconsistencyMeasure
- java.lang.Object
-
- net.sf.tweety.logics.commons.analysis.BeliefSetInconsistencyMeasure<PlFormula>
-
- net.sf.tweety.logics.pl.analysis.PmInconsistencyMeasure
-
- All Implemented Interfaces:
PostulateEvaluatable<PlFormula>
,InconsistencyMeasure<BeliefSet<PlFormula,?>>
public class PmInconsistencyMeasure extends BeliefSetInconsistencyMeasure<PlFormula>
This class implements the inconsistency measure I_{P_m} proposed in [Jabbour, Raddaoui. Measuring Inconsistency Through Minimal Proofs. ECSQARU 2013]. The implementation here follows the characterization of I_{P_m} using Proposition 9 in the above paper. There, I_{P_m} (K)= \sum_{x\in Var(K)}|Pm(x)|*|Pm(-x)| where Pm(x) is the set of all (not necessarily consistent) minimal proofs of x in K that mention x.- Author:
- Matthias Thimm
-
-
Field Summary
-
Fields inherited from interface net.sf.tweety.logics.commons.analysis.InconsistencyMeasure
MEASURE_TOLERANCE
-
-
Constructor Summary
Constructors Constructor Description PmInconsistencyMeasure()
-
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.-
Methods inherited from class net.sf.tweety.logics.commons.analysis.BeliefSetInconsistencyMeasure
inconsistencyMeasure
-
-
-
-
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 classBeliefSetInconsistencyMeasure<PlFormula>
- Parameters:
formulas
- a collection of formulas.- Returns:
- a Double indicating the degree of inconsistency.
-
-