Class StratifiedLabelingReasoner

    • Field Summary

      Fields 
      Modifier and Type Field Description
      private Semantics semantics
      The semantics used for this reasoner.
    • Method Summary

      Modifier and Type Method Description
      StratifiedLabeling getModel​(DungTheory bbase)
      Returns a single (dedicated) model of the given belief base.
      java.util.Collection<StratifiedLabeling> getModels​(DungTheory bbase)
      Returns a characterizing model of the given belief base
      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
    • Field Detail

      • semantics

        private Semantics semantics
        The semantics used for this reasoner.
    • Constructor Detail

      • StratifiedLabelingReasoner

        public StratifiedLabelingReasoner​(Semantics semantics)
        Creates a new reasoner for the given semantics.
        Parameters:
        semantics - a semantics
      • StratifiedLabelingReasoner

        public StratifiedLabelingReasoner()
        Creates a new reasoner using sceptical inference and grounded semantics.