Class DialecticalSequenceExplanationReasoner

java.lang.Object
org.tweetyproject.arg.explanations.reasoner.acceptance.AbstractAcceptanceExplanationReasoner
org.tweetyproject.arg.explanations.reasoner.acceptance.AbstractSequenceExplanationReasoner
org.tweetyproject.arg.explanations.reasoner.acceptance.DialecticalSequenceExplanationReasoner
public class DialecticalSequenceExplanationReasoner extends AbstractSequenceExplanationReasoner
Reasoner for dialectical sequence explanations for the acceptance of arguments A sequence (S_1, T_1, ... S_n, T_n) of sets is a dialectical sequence explanation for the acceptance of an argument 'a' iff (S-1, ..., S_n) is a sequence explanation for 'a' and every T_i is the set of arguments defeated by S_i in the context of the explanation.
Author:
Lars Bengel
See Also:
  • "Lars Bengel, and Matthias Thimm. 'Sequence Explanations for Acceptance in Abstract Argumentation' Conference on Principles of Knowledge Representation and Reasoning (KR'25) (2025)."