| AdmissibleReasoner |
a set of arguments S is admissible iff it is conflict-free and all elements of S are acceptable wrt.
|
| CompleteReasoner |
a set of arguments S is complete iff it is admissible and all arguments acceptable wrt.
|
| ConflictFreeReasoner |
a set of arguments S is conflict-free iff there exists no attack between a subset of S and an element of 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.
|
| SelfSupportingReasoner |
a set of arguments S is self-supporting iff all arguments in S are e-supported by S.
|
| StableReasoner |
a set of arguments S is stable iff it is conflict-free, self-supporting and for any argument a e-supported by bbase,
where a is not in S, S e-support attacks either a or every set of arguments minimally e-supporting a.
|