Class DialectialSequenceExplanation

java.lang.Object

org.tweetyproject.commons.AbstractInterpretation<DungTheory, Argument>

org.tweetyproject.arg.dung.semantics.AbstractArgumentationInterpretation<DungTheory>

org.tweetyproject.arg.explanations.semantics.Explanation

org.tweetyproject.arg.explanations.semantics.DialectialSequenceExplanation

All Implemented Interfaces:

Comparable<Explanation>, Interpretation<DungTheory, Argument>

public class DialectialSequenceExplanation
extends Explanation

Models a sequence-based representation of an explanation for some argument The representation distinguishes between supporting and defeated arguments

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
DialectialSequenceExplanation(Argument argument)	Instantiates a new empty dialectical explanation for the given argument

Method Summary

Modifier and Type	Method	Description
boolean	add(Collection<Argument> s, Collection<Argument> t)	add a new 'step' to the explanation
int	compareTo(Explanation o)
Extension<?>	getArgumentsOfStatus(ArgumentStatus status)	Returns all arguments that have the given status in this interpretation.
List<Collection<Argument>>	getDefeated()	returns the sequence of defeated argument sets
Collection<Argument>	getSetExplanation()	Returns the set-based explanation.
List<Collection<Argument>>	getSupporters()	returns the sequence of supporting argument sets
String	toString()

Methods inherited from class org.tweetyproject.arg.explanations.semantics.Explanation

getArgument

Methods inherited from class org.tweetyproject.arg.dung.semantics.AbstractArgumentationInterpretation

satisfies, satisfies

Methods inherited from class org.tweetyproject.commons.AbstractInterpretation

satisfies

Methods inherited from class java.lang.Object

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

Constructor Details

DialectialSequenceExplanation

public DialectialSequenceExplanation(Argument argument)

Instantiates a new empty dialectical explanation for the given argument

Parameters:

argument - some argument

Method Details

getSetExplanation

public Collection<Argument> getSetExplanation()

Description copied from class: Explanation

Returns the set-based explanation.

Specified by:

getSetExplanation in class Explanation

Returns:

the explanation as a collection of arguments

add

public boolean add(Collection<Argument> s,
 Collection<Argument> t)

add a new 'step' to the explanation

Parameters:

s - a set of supporting arguments

t - a set of defeated argument

Returns:

'true' if added successfully

getDefeated

public List<Collection<Argument>> getDefeated()

returns the sequence of defeated argument sets

Returns:

the sequence of defeated arguments

getSupporters

public List<Collection<Argument>> getSupporters()

returns the sequence of supporting argument sets

Returns:

the sequence of supporting arguments

compareTo

public int compareTo(Explanation o)

getArgumentsOfStatus

public Extension<?> getArgumentsOfStatus(ArgumentStatus status)

Description copied from class: AbstractArgumentationInterpretation

Returns all arguments that have the given status in this interpretation.

Specified by:

getArgumentsOfStatus in class AbstractArgumentationInterpretation<DungTheory>

Parameters:

status - the status of the arguments to be returned.

Returns:

the set of arguments with the given status.

toString

public String toString()

Specified by:

toString in class AbstractArgumentationInterpretation<DungTheory>