Package org.tweetyproject.arg.bipolar.reasoner.necessity

package org.tweetyproject.arg.bipolar.reasoner.necessity
  • Classes
    a set of arguments S is admissible iff it is strongly coherent and defends all of its arguments.
    a set of arguments S is complete iff it is admissible and all arguments defended by S are in S.
    the grounded extension of bbase is the least fixed point of the characteristic function.
    a set of arguments S is preferred iff it is maximal wrt set inclusion admissible.
    a set of arguments S is stable iff the set of arguments deactivated by S equals A\S, where A is the set of all arguments in the argumentation framework.