Package org.tweetyproject.arg.explanations.reasoner.acceptance


package org.tweetyproject.arg.explanations.reasoner.acceptance
  • Classes
    Class
    Description
    Abstract class for all acceptance explanation reasoners An acceptance explanation reasoner provides explanations for the acceptance of some argument within an argumentation framework
    Abstract class for sequence-based explanation reasoners
    Reasoner 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'