Interface MusEnumerator<S extends Formula>

    • Method Summary

      Modifier and Type Method Description
      java.util.Collection<java.util.Collection<S>> getMiComponents​(java.util.Collection<S> formulas)
      Computes the maximal (wrt.
      boolean isConsistent​(java.util.Collection<S> formulas)
      Checks whether the given collection of formulas is consistent.
      boolean isConsistent​(BeliefSet<S,​?> beliefSet)
      Checks whether the given belief base is consistent.
      boolean isConsistent​(S formula)
      Checks whether the given formula is consistent.
      java.util.Collection<java.util.Collection<S>> maximalConsistentSubsets​(java.util.Collection<S> formulas)
      This method returns the maximal consistent subsets of the given set of formulas
      java.util.Set<java.util.Set<S>> minimalCorrectionSubsets​(java.util.Collection<S> formulas)
      This method returns the minimal correction subsets of the given set of formulas (i.e.
      java.util.Collection<java.util.Collection<S>> minimalInconsistentSubsets​(java.util.Collection<S> formulas)
      This method returns the minimal inconsistent subsets of the given set of formulas.
    • Method Detail

      • minimalInconsistentSubsets

        java.util.Collection<java.util.Collection<S>> minimalInconsistentSubsets​(java.util.Collection<S> formulas)
        This method returns the minimal inconsistent subsets of the given set of formulas.
        Parameters:
        formulas - a set of formulas.
        Returns:
        the minimal inconsistent subsets of the given set of formulas
      • maximalConsistentSubsets

        java.util.Collection<java.util.Collection<S>> maximalConsistentSubsets​(java.util.Collection<S> formulas)
        This method returns the maximal consistent subsets of the given set of formulas
        Parameters:
        formulas - a set of formulas
        Returns:
        the maximal consistent subsets of the given set of formulas.
      • minimalCorrectionSubsets

        java.util.Set<java.util.Set<S>> minimalCorrectionSubsets​(java.util.Collection<S> formulas)
        This method returns the minimal correction subsets of the given set of formulas (i.e. the complements of maximal consistent subsets)
        Parameters:
        formulas - a set of formulas
        Returns:
        the minimal corrections subsets of the given set of formulas.
      • getMiComponents

        java.util.Collection<java.util.Collection<S>> getMiComponents​(java.util.Collection<S> formulas)
        Computes the maximal (wrt. cardinality) partitioning {K1,...,Kn} of K (ie. K is a disjoint union of K1,...,Kn) such that MI(K) is a disjoint union of MI(K1),...,MI(Kn).
        Parameters:
        formulas - a set of formulas K
        Returns:
        the MI components of K
      • isConsistent

        boolean isConsistent​(java.util.Collection<S> formulas)
        Description copied from interface: BeliefSetConsistencyTester
        Checks whether the given collection of formulas is consistent.
        Specified by:
        isConsistent in interface BeliefSetConsistencyTester<S extends Formula>
        Parameters:
        formulas - a collection of formulas.
        Returns:
        "true" iff the given collection of formulas is consistent.