Class AbstractExtensionReasoner

    • Method Summary

      Modifier and Type Method Description
      abstract Extension getModel​(DungTheory bbase)
      Returns a single (dedicated) model of the given belief base.
      abstract java.util.Collection<Extension> getModels​(DungTheory bbase)
      Returns a characterizing model of the given belief base
      static AbstractExtensionReasoner getSimpleReasonerForSemantics​(Semantics semantics)
      Creates a reasoner for the given semantics.
      java.lang.Boolean query​(DungTheory beliefbase, Argument formula)
      Queries the given belief base for the given formula.
      java.lang.Boolean query​(DungTheory beliefbase, Argument formula, InferenceMode inferenceMode)
      Queries the given AAF for the given argument using the given inference type.
      • Methods inherited from class java.lang.Object

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

      • AbstractExtensionReasoner

        public AbstractExtensionReasoner()
    • Method Detail

      • query

        public java.lang.Boolean query​(DungTheory beliefbase,
                                       Argument formula,
                                       InferenceMode inferenceMode)
        Queries the given AAF for the given argument using the given inference type.
        Parameters:
        beliefbase - an AAF
        formula - a single argument
        inferenceMode - either InferenceMode.SKEPTICAL or InferenceMode.CREDULOUS
        Returns:
        "true" if the argument is accepted
      • getSimpleReasonerForSemantics

        public static AbstractExtensionReasoner getSimpleReasonerForSemantics​(Semantics semantics)
        Creates a reasoner for the given semantics.
        Parameters:
        semantics - a semantics
        Returns:
        a reasoner for the given Dung theory, inference type, and semantics
      • getModel

        public abstract Extension getModel​(DungTheory 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<Argument,​DungTheory,​Extension>
        Parameters:
        bbase - some belief base
        Returns:
        a selected model of the belief base.