Class SimpleDefaultReasoner

    • Method Summary

      Modifier and Type Method Description
      Extension getModel​(DefaultTheory bbase)
      Returns a single (dedicated) model of the given belief base.
      java.util.Collection<Extension> getModels​(DefaultTheory bbase)
      Returns a characterizing model of the given belief base
      java.lang.Boolean query​(DefaultTheory theory, FolFormula query)
      Queries the given belief base for the given formula.
      java.lang.Boolean query​(DefaultTheory theory, FolFormula query, InferenceMode inferenceMode)
      Queries the given default theory for the given query using the given inference mode.
      • Methods inherited from class java.lang.Object

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

      • SimpleDefaultReasoner

        public SimpleDefaultReasoner()
    • Method Detail

      • getModel

        public Extension getModel​(DefaultTheory bbase)
        Description copied from interface: ModelProvider
        Returns a single (dedicated) model of the given belief base. If the implemented method allows for more than one dedicated model, the selection may be non-deterministic.
        Specified by:
        getModel in interface ModelProvider<FolFormula,​DefaultTheory,​Extension>
        Parameters:
        bbase - some belief base
        Returns:
        a selected model of the belief base.
      • query

        public java.lang.Boolean query​(DefaultTheory theory,
                                       FolFormula query,
                                       InferenceMode inferenceMode)
        Queries the given default theory for the given query using the given inference mode.
        Parameters:
        theory - a default theory
        query - a formula
        inferenceMode - either InferenceMode.SKEPTICAL or InferenceMode.CREDULOUS
        Returns:
        "true" if the formula is accepted