Package net.sf.tweety.arg.bipolar.reasoner.necessity

Class Summary

Class	Description
AdmissibleReasoner	a set of arguments S is admissible iff it is strongly coherent and defends all of its arguments.
CompleteReasoner	a set of arguments S is complete iff it is admissible and all arguments defended by S are in S.
GroundedReasoner	the grounded extension of bbase is the least fixed point of the characteristic function.
PreferredReasoner	a set of arguments S is preferred iff it is maximal wrt set inclusion admissible.
StableReasoner	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.