T
- the type of formulaspublic class ModuleBasedAspicReasoner<T extends Invertable> extends AbstractAspicReasoner<T>
Constructor and Description |
---|
ModuleBasedAspicReasoner(AbstractExtensionReasoner aafReasoner)
Creates a new instance
|
Modifier and Type | Method and Description |
---|---|
protected DungTheory |
getDungTheory(AspicArgumentationTheory<T> aat,
Formula query)
Computes the Dung theory from which the answer will be derived
|
query, query
public ModuleBasedAspicReasoner(AbstractExtensionReasoner aafReasoner)
aafReasoner
- Underlying reasoner for AAFs.protected DungTheory getDungTheory(AspicArgumentationTheory<T> aat, Formula query)
AbstractAspicReasoner
getDungTheory
in class AbstractAspicReasoner<T extends Invertable>
aat
- some Aspic theoryquery
- some query