Package org.tweetyproject.arg.explanations.reasoner.acceptance
package org.tweetyproject.arg.explanations.reasoner.acceptance
-
ClassesClassDescriptionAbstract class for all acceptance explanation reasoners An acceptance explanation reasoner provides explanations for the acceptance of some argument within an argumentation frameworkAbstract class for sequence-based explanation reasonersReasoner for dialectical sequence explanations for the acceptance of arguments A sequence (S_1, T_1, ...Reasoner for minimal sequence explanations for the acceptance of arguments A sequence (S_1, ...Reasoner for necessary explanations for the acceptance of an argument a set S is a necessary explanation for the acceptance of an argument 'a' iff every 'b' in S is contained in every admissible set containing 'a'Reasoner for sequence explanations for the acceptance of arguments A sequence (S_1, ...Reasoner for sufficient explanations for the acceptance of an argument a set S is a sufficient explanation for the acceptance of an argument 'a' iff S + {a} is admissible and only contains arguments relevant for 'a'