Class AbstractAcceptabilityReasoner

    • Method Summary

      Modifier and Type Method Description
      abstract java.util.Collection<Argument> getAcceptableArguments​(DungTheory aaf)
      Returns the set of acceptable arguments of this reasoner.
      java.lang.Boolean query​(DungTheory beliefbase, Argument formula)
      Queries the given belief base for the given formula.
      • Methods inherited from class java.lang.Object

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

      • AbstractAcceptabilityReasoner

        public AbstractAcceptabilityReasoner()
    • Method Detail

      • getAcceptableArguments

        public abstract java.util.Collection<Argument> getAcceptableArguments​(DungTheory aaf)
        Returns the set of acceptable arguments of this reasoner.
        Parameters:
        aaf - some AAF
        Returns:
        the set of acceptable arguments of this reasoner.