Class SequenceExplanationReasoner

java.lang.Object

org.tweetyproject.arg.explanations.reasoner.acceptance.AbstractAcceptanceExplanationReasoner

org.tweetyproject.arg.explanations.reasoner.acceptance.AbstractSequenceExplanationReasoner

org.tweetyproject.arg.explanations.reasoner.acceptance.SequenceExplanationReasoner

public class SequenceExplanationReasoner
extends AbstractSequenceExplanationReasoner

Reasoner for sequence explanations for the acceptance of arguments A sequence (S_1, ... S_n) of sets is a sequence explanation for the acceptance of an argument 'a' iff (S-1, ..., S_n) is a serialisation sequence and 'a' is contained in S_n.

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)."

Constructor Summary

Constructors

Constructor	Description
SequenceExplanationReasoner()

Method Summary

Modifier and Type	Method	Description
Collection<Explanation>	getExplanations(DungTheory theory, Argument argument)	Computes all acceptance explanations for argument

Methods inherited from class org.tweetyproject.arg.explanations.reasoner.acceptance.AbstractAcceptanceExplanationReasoner

getExplanation

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

SequenceExplanationReasoner

public SequenceExplanationReasoner()

Method Details

getExplanations

public Collection<Explanation> getExplanations(DungTheory theory,
 Argument argument)

Description copied from class: AbstractAcceptanceExplanationReasoner

Computes all acceptance explanations for argument

Specified by:

getExplanations in class AbstractAcceptanceExplanationReasoner

Parameters:

theory - some argumentation framework

argument - some argument

Returns:

all explanations for the acceptance of argument in theory