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