Class IaqAcceptabilityReasoner
java.lang.Object
org.tweetyproject.arg.dung.reasoner.AbstractDungReasoner
org.tweetyproject.arg.dung.reasoner.AbstractAcceptabilityReasoner
org.tweetyproject.arg.dung.reasoner.IaqAcceptabilityReasoner
- All Implemented Interfaces:
QualitativeReasoner<DungTheory,Argument>
,Reasoner<Boolean,DungTheory,Argument>
Implements the IAQ approach ("iterative acceptability queries") to
determine the set of acceptable arguments of an AF, cf. [Thimm, Cerutti, Vallati; 2020, in preparation].
It uses another extension-based reasoner to query for each argument
separately whether it is accepted.
- Author:
- Matthias Thimm
-
Constructor Summary
ConstructorDescriptionIaqAcceptabilityReasoner(AbstractExtensionReasoner reasoner, InferenceMode inferenceMode)
Creates a new IaqAcceptabilityReasoner. -
Method Summary
Modifier and TypeMethodDescriptionReturns the set of acceptable arguments of this reasoner.Methods inherited from class org.tweetyproject.arg.dung.reasoner.AbstractAcceptabilityReasoner
query
-
Constructor Details
-
IaqAcceptabilityReasoner
Creates a new IaqAcceptabilityReasoner.- Parameters:
reasoner
- the internal reasoner used.inferenceMode
- the inference mode.
-
-
Method Details
-
getAcceptableArguments
Description copied from class:AbstractAcceptabilityReasoner
Returns the set of acceptable arguments of this reasoner.- Specified by:
getAcceptableArguments
in classAbstractAcceptabilityReasoner
- Parameters:
aaf
- some AAF- Returns:
- the set of acceptable arguments of this reasoner.
-