Package net.sf.tweety.logics.pl.analysis
Class IcebergInconsistencyMeasure
- java.lang.Object
-
- net.sf.tweety.logics.commons.analysis.BeliefSetInconsistencyMeasure<PlFormula>
-
- net.sf.tweety.logics.pl.analysis.IcebergInconsistencyMeasure
-
- All Implemented Interfaces:
PostulateEvaluatable<PlFormula>
,InconsistencyMeasure<BeliefSet<PlFormula,?>>
public class IcebergInconsistencyMeasure extends BeliefSetInconsistencyMeasure<PlFormula>
This class implements the inconsistency measures proposed in [De Bona, Hunter. Localising iceberg inconsistencies. AI 2017].- Author:
- Anna Gessler
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
IcebergInconsistencyMeasure.ConsequenceOperation
A consequence operation returns parts of knowledge bases.
-
Field Summary
-
Fields inherited from interface net.sf.tweety.logics.commons.analysis.InconsistencyMeasure
MEASURE_TOLERANCE
-
-
Constructor Summary
Constructors Constructor Description IcebergInconsistencyMeasure(IcebergInconsistencyMeasure.ConsequenceOperation c)
Creates a new Iceberg Inconsistency Measure with the given consequence operation with default properties.IcebergInconsistencyMeasure(IcebergInconsistencyMeasure.ConsequenceOperation c, boolean useSumVariant)
Creates a new Iceberg Inconsistency Measure with the given consequence operation.
-
Method Summary
Modifier and Type Method Description java.util.Collection<java.util.Set<PlFormula>>
getStarConflicts(java.util.Collection<PlFormula> beliefSet)
Computes all *-conflicts of a given belief base.java.lang.Double
inconsistencyMeasure(java.util.Collection<PlFormula> formulas)
This method measures the inconsistency of the given set of formulas.void
setConsequenceOperation(IcebergInconsistencyMeasure.ConsequenceOperation consequenceOperation)
Sets the consequence operation for this IcebergInconsistencyMeasure.-
Methods inherited from class net.sf.tweety.logics.commons.analysis.BeliefSetInconsistencyMeasure
inconsistencyMeasure
-
-
-
-
Constructor Detail
-
IcebergInconsistencyMeasure
public IcebergInconsistencyMeasure(IcebergInconsistencyMeasure.ConsequenceOperation c)
Creates a new Iceberg Inconsistency Measure with the given consequence operation with default properties.- Parameters:
c
- a consequence operation
-
IcebergInconsistencyMeasure
public IcebergInconsistencyMeasure(IcebergInconsistencyMeasure.ConsequenceOperation c, boolean useSumVariant)
Creates a new Iceberg Inconsistency Measure with the given consequence operation.- Parameters:
c
- a consequence operationuseSumVariant
- if set to true, the sum variant of the inconsistency measure is used *
-
-
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.
-
getStarConflicts
public java.util.Collection<java.util.Set<PlFormula>> getStarConflicts(java.util.Collection<PlFormula> beliefSet)
Computes all *-conflicts of a given belief base. A set of formulas S is a *-conflict iff there are a minimal inconsistent set delta in Cn*(S) and a *-mapping f: delta -> powerset(S).- Parameters:
beliefSet
- some belief set- Returns:
- all *-conflicts of beliefSet
-
setConsequenceOperation
public void setConsequenceOperation(IcebergInconsistencyMeasure.ConsequenceOperation consequenceOperation)
Sets the consequence operation for this IcebergInconsistencyMeasure.- Parameters:
consequenceOperation
- some consequence operation
-
-