Class FlatAbaReasoner<T extends Formula>

    • Method Summary

      Modifier and Type Method Description
      java.util.Collection<AbaExtension<T>> getModels​(AbaTheory<T> abat)
      Returns a characterizing model of the given belief base
      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
    • Constructor Detail

      • FlatAbaReasoner

        public FlatAbaReasoner​(Semantics semantics)
        Creates a new instance
        Parameters:
        semantics - an indicator for the used semantics (c.f. org.tweetyproject.arg.dung.semantics.Semantics)