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.