Class MinimalSequenceExplanationReasoner

java.lang.Object

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

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

org.tweetyproject.arg.explanations.reasoner.acceptance.MinimalSequenceExplanationReasoner

public class MinimalSequenceExplanationReasoner
extends AbstractSequenceExplanationReasoner

Reasoner for minimal sequence explanations for the acceptance of arguments A sequence (S_1, ... S_n) of sets is a minimal sequence explanation for the acceptance of an argument 'a' iff (S-1, ..., S_n) is a sequence explanation for 'a' and there exists no shorter sequence satisfying this.

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
MinimalSequenceExplanationReasoner()

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

MinimalSequenceExplanationReasoner

public MinimalSequenceExplanationReasoner()

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