Class ModuleBasedAspicReasoner<T extends Invertable>
java.lang.Object
org.tweetyproject.arg.aspic.reasoner.AbstractAspicReasoner<T>
org.tweetyproject.arg.aspic.reasoner.ModuleBasedAspicReasoner<T>
- Type Parameters:
T
- the type of formulas
- All Implemented Interfaces:
QualitativeReasoner<AspicArgumentationTheory<T>,T>
,Reasoner<Boolean,AspicArgumentationTheory<T>,T>
Slightly optimised reasoner for ASPIC. It first computes the syntactic module of the ASPIC theory and then
constructs an AAF from that module (instead of the whole ASPIC theory).
- Author:
- Matthias Thimm
-
Constructor Summary
ConstructorDescriptionModuleBasedAspicReasoner(AbstractExtensionReasoner aafReasoner)
Creates a new instance -
Method Summary
Modifier and TypeMethodDescriptiongetDungTheory(AspicArgumentationTheory<T> aat, T query)
Computes the Dung theory from which the answer will be derivedMethods inherited from class org.tweetyproject.arg.aspic.reasoner.AbstractAspicReasoner
query, query, query
-
Constructor Details
-
ModuleBasedAspicReasoner
Creates a new instance- Parameters:
aafReasoner
- Underlying reasoner for AAFs.
-
-
Method Details
-
getDungTheory
Description copied from class:AbstractAspicReasoner
Computes the Dung theory from which the answer will be derived- Specified by:
getDungTheory
in classAbstractAspicReasoner<T extends Invertable>
- Parameters:
aat
- some Aspic theoryquery
- some query- Returns:
- a Dung theory
-