Class FolReasoner

    • Constructor Summary

      Constructors 
      Constructor Description
      FolReasoner()  
    • Method Summary

      Modifier and Type Method Description
      abstract boolean equivalent​(FolBeliefSet kb, FolFormula a, FolFormula b)
      This method determines whether two formulas are equivalent wrt.
      static FolReasoner getDefaultReasoner()
      Returns the default theorem prover
      abstract java.lang.Boolean query​(FolBeliefSet beliefbase, FolFormula formula)
      Queries the given belief base for the given formula.
      static void setDefaultReasoner​(FolReasoner reasoner)
      Set default reasoner with given
      • Methods inherited from class java.lang.Object

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

      • defaultReasoner

        public static FolReasoner defaultReasoner
        Empty default reasoner
    • Constructor Detail

      • FolReasoner

        public FolReasoner()
    • Method Detail

      • setDefaultReasoner

        public static void setDefaultReasoner​(FolReasoner reasoner)
        Set default reasoner with given
        Parameters:
        reasoner - a FolReasoner
      • getDefaultReasoner

        public static FolReasoner getDefaultReasoner()
        Returns the default theorem prover
        Returns:
        the default theorem prover
      • equivalent

        public abstract boolean equivalent​(FolBeliefSet kb,
                                           FolFormula a,
                                           FolFormula b)
        This method determines whether two formulas are equivalent wrt. to the given knowledge base.
        Parameters:
        kb - the knowledge base
        a - the first formula.
        b - the second formula.
        Returns:
        the answer to the query.