Class IcebergInconsistencyMeasure

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

      • 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