Class GeneralAbaReasoner<T extends Formula>

    • Method Summary

      Modifier and Type Method Description
      AbaExtension<T> getModel​(AbaTheory<T> bbase)
      Returns a single (dedicated) model of the given belief base.
      abstract java.util.Collection<AbaExtension<T>> getModels​(AbaTheory<T> bbase)
      Returns a characterizing model of the given belief base
      java.lang.Boolean query​(AbaTheory<T> beliefbase, Assumption<T> query)
      Queries the given belief base for the given formula.
      java.lang.Boolean query​(AbaTheory<T> beliefbase, Assumption<T> query, InferenceMode inferenceMode)
      Queries the given ABA theory for the given assumption using the given inference type.
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait