Class SufficientExplanationReasoner

java.lang.Object

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

org.tweetyproject.arg.explanations.reasoner.acceptance.SufficientExplanationReasoner

public class SufficientExplanationReasoner
extends AbstractAcceptanceExplanationReasoner

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'

Author:

Lars Bengel

See Also:

• "Borg, AnneMarie, and Floris Bex. 'Minimality, necessity and sufficiency for argumentation and explanation.' International Journal of Approximate Reasoning 168 (2024): 109143."

Constructor Summary

Constructors

Constructor	Description
SufficientExplanationReasoner()

Method Summary

Modifier and Type	Method	Description
Collection<Explanation>	getExplanations(DungTheory theory, Argument argument)	Computes all acceptance explanations for argument
Collection<Argument>	getRelevantArguments(DungTheory theory, Argument argument)	Computes the set of arguments relevant for argument in theory i.e.
boolean	isRelevantFor(DungTheory theory, Collection<Argument> arguments, Argument b)	Determines whether the all arguments in the set are relevant for the argument 'b' in the given theory
boolean	isRelevantFor(DungTheory theory, Argument a, Argument b)	Determines whether the argument 'a' is relevant for the argument 'b' in the given theory

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

SufficientExplanationReasoner

public SufficientExplanationReasoner()

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

isRelevantFor

public boolean isRelevantFor(DungTheory theory,
 Argument a,
 Argument b)

Determines whether the argument 'a' is relevant for the argument 'b' in the given theory

Parameters:

theory - some argumentation framework

a - some argument

b - some argument

Returns:

TRUE iff 'a' is relevant for 'b'

isRelevantFor

public boolean isRelevantFor(DungTheory theory,
 Collection<Argument> arguments,
 Argument b)

Determines whether the all arguments in the set are relevant for the argument 'b' in the given theory

Parameters:

theory - some argumentation framework

arguments - some set of arguments

b - some argument

Returns:

TRUE iff 'arguments' is relevant for 'b'

getRelevantArguments

public Collection<Argument> getRelevantArguments(DungTheory theory,
 Argument argument)

Computes the set of arguments relevant for argument in theory i.e. all arguments for which there exists a directed path to argument

Parameters:

theory - some argumentation framework

argument - some argument

Returns:

the set of arguments relevant for argument