Class NecessaryExplanationReasoner

java.lang.Object

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

org.tweetyproject.arg.explanations.reasoner.acceptance.NecessaryExplanationReasoner

public class NecessaryExplanationReasoner
extends AbstractAcceptanceExplanationReasoner

Reasoner for necessary explanations for the acceptance of an argument a set S is a necessary explanation for the acceptance of an argument 'a' iff every 'b' in S is contained in every admissible set containing '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
NecessaryExplanationReasoner()

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

NecessaryExplanationReasoner

public NecessaryExplanationReasoner()

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