Class IcebergInconsistencyMeasure

java.lang.Object
org.tweetyproject.logics.commons.analysis.BeliefSetInconsistencyMeasure<PlFormula>
org.tweetyproject.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
  • Constructor Details

    • 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 operation
      useSumVariant - if set to true, the sum variant of the inconsistency measure is used *
  • Method Details

    • inconsistencyMeasure

      public Double inconsistencyMeasure(Collection<PlFormula> formulas)
      Description copied from class: BeliefSetInconsistencyMeasure
      This method measures the inconsistency of the given set of formulas.
      Specified by:
      inconsistencyMeasure in class BeliefSetInconsistencyMeasure<PlFormula>
      Parameters:
      formulas - a collection of formulas.
      Returns:
      a Double indicating the degree of inconsistency.
    • getStarConflicts

      public Collection<Set<PlFormula>> getStarConflicts(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