Class RandomAspicReasoner<T extends Invertable>
java.lang.Object
org.tweetyproject.arg.aspic.reasoner.AbstractAspicReasoner<T>
org.tweetyproject.arg.aspic.reasoner.RandomAspicReasoner<T>
- Type Parameters:
T
- The type of formulas.
- All Implemented Interfaces:
QualitativeReasoner<AspicArgumentationTheory<T>,T>
,Reasoner<Boolean,AspicArgumentationTheory<T>,T>
This class implements an approximate reasoner for ASPIC+ that randomly
samples arguments.
- Author:
- Matthias Thimm
-
Constructor Summary
ConstructorDescriptionRandomAspicReasoner(AbstractExtensionReasoner aafReasoner, int maxArguments, int maxDuplicates)
Creates a new instance. -
Method Summary
Modifier and TypeMethodDescriptiongetDungTheory(AspicArgumentationTheory<T> aat, T query)
Computes the Dung theory from which the answer will be derivedtoString()
Methods inherited from class org.tweetyproject.arg.aspic.reasoner.AbstractAspicReasoner
query, query, query
-
Constructor Details
-
RandomAspicReasoner
public RandomAspicReasoner(AbstractExtensionReasoner aafReasoner, int maxArguments, int maxDuplicates)Creates a new instance.- Parameters:
aafReasoner
- Underlying reasoner for AAFs.maxArguments
- The maximal number of arguments constructed by this reasoner.maxDuplicates
- The maximal number of duplicates tolerated before this reasoner cancels looking for more arguments (even ifmaxArguments
is not yet reached).
-
-
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
-
toString
-