Class AbstractPlReasoner

    • Method Summary

      Modifier and Type Method Description
      java.util.Collection<java.util.Collection<PlFormula>> getKernels​(java.util.Collection<PlFormula> formulas, PlFormula formula)
      Retrieves the set of kernels for the given formula from the given set of formulas.
      boolean isEquivalent​(PlFormula p1, PlFormula p2)
      Checks whether the two formulas are equivalent
      abstract java.lang.Boolean query​(PlBeliefSet beliefbase, PlFormula formula)
      Queries the given belief base for the given formula.
      boolean query​(PlFormula formula, PlFormula formula2)
      Checks whether the first formula entails the second.
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • AbstractPlReasoner

        public AbstractPlReasoner()
    • Method Detail

      • query

        public boolean query​(PlFormula formula,
                             PlFormula formula2)
        Checks whether the first formula entails the second.
        Parameters:
        formula - some formula
        formula2 - a formula
        Returns:
        true if the second formula is entailed be the first formula.
      • isEquivalent

        public boolean isEquivalent​(PlFormula p1,
                                    PlFormula p2)
        Checks whether the two formulas are equivalent
        Parameters:
        p1 - a formula
        p2 - a formula
        Returns:
        true iff the two formulas are equivalent
      • getKernels

        public java.util.Collection<java.util.Collection<PlFormula>> getKernels​(java.util.Collection<PlFormula> formulas,
                                                                                PlFormula formula)
        Description copied from interface: KernelProvider
        Retrieves the set of kernels for the given formula from the given set of formulas.
        Specified by:
        getKernels in interface KernelProvider<PlFormula>
        Parameters:
        formulas - a set of formulas.
        formula - a formula.
        Returns:
        the collection of kernels