Package net.sf.tweety.arg.aspic.reasoner
Class RandomAspicReasoner<T extends Invertable>
- java.lang.Object
-
- net.sf.tweety.arg.aspic.reasoner.AbstractAspicReasoner<T>
-
- net.sf.tweety.arg.aspic.reasoner.RandomAspicReasoner<T>
-
- Type Parameters:
T
- The type of formulas.
- All Implemented Interfaces:
QualitativeReasoner<AspicArgumentationTheory<T>,T>
,Reasoner<java.lang.Boolean,AspicArgumentationTheory<T>,T>
public class RandomAspicReasoner<T extends Invertable> extends AbstractAspicReasoner<T>
This class implements an approximate reasoner for ASPIC+ that randomly samples arguments.- Author:
- Matthias Thimm
-
-
Constructor Summary
Constructors Constructor Description RandomAspicReasoner(AbstractExtensionReasoner aafReasoner, int maxArguments, int maxDuplicates)
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 derivedjava.lang.String
toString()
-
Methods inherited from class net.sf.tweety.arg.aspic.reasoner.AbstractAspicReasoner
query, query, query
-
-
-
-
Constructor Detail
-
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 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
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-