Package net.sf.tweety.arg.aspic.reasoner
Class SimpleAspicReasoner<T extends Invertable>
- java.lang.Object
-
- net.sf.tweety.arg.aspic.reasoner.AbstractAspicReasoner<T>
-
- net.sf.tweety.arg.aspic.reasoner.SimpleAspicReasoner<T>
-
- Type Parameters:
T
- the formula type
- All Implemented Interfaces:
QualitativeReasoner<AspicArgumentationTheory<T>,T>
,Reasoner<java.lang.Boolean,AspicArgumentationTheory<T>,T>
public class SimpleAspicReasoner<T extends Invertable> extends AbstractAspicReasoner<T>
- Author:
- Nils Geilen, Matthias Thimm This class models a reasoner over Aspic formulae
-
-
Constructor Summary
Constructors Constructor Description SimpleAspicReasoner(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
-
SimpleAspicReasoner
public SimpleAspicReasoner(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
-
-