Package net.sf.tweety.arg.aspic.reasoner
Class ModuleBasedAspicReasoner<T extends Invertable>
- java.lang.Object
-
- net.sf.tweety.arg.aspic.reasoner.AbstractAspicReasoner<T>
-
- net.sf.tweety.arg.aspic.reasoner.ModuleBasedAspicReasoner<T>
-
- Type Parameters:
T
- the type of formulas
- All Implemented Interfaces:
QualitativeReasoner<AspicArgumentationTheory<T>,T>
,Reasoner<java.lang.Boolean,AspicArgumentationTheory<T>,T>
public class ModuleBasedAspicReasoner<T extends Invertable> extends AbstractAspicReasoner<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
Constructors Constructor Description ModuleBasedAspicReasoner(AbstractExtensionReasoner aafReasoner)
Creates a new instance
-
Method Summary
Modifier and Type Method Description DungTheory
getDungTheory(AspicArgumentationTheory<T> aat, T query)
Computes the Dung theory from which the answer will be derived-
Methods inherited from class net.sf.tweety.arg.aspic.reasoner.AbstractAspicReasoner
query, query, query
-
-
-
-
Constructor Detail
-
ModuleBasedAspicReasoner
public ModuleBasedAspicReasoner(AbstractExtensionReasoner aafReasoner)
Creates a new instance- Parameters:
aafReasoner
- Underlying reasoner for AAFs.
-
-
Method Detail
-
getDungTheory
public DungTheory getDungTheory(AspicArgumentationTheory<T> aat, T query)
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
-
-