T
- The type of formulas.public class RandomAspicReasoner<T extends Invertable> extends AbstractAspicReasoner<T>
Modifier and Type | Field and Description |
---|---|
private int |
maxArguments
The maximal number of arguments constructed by this reasoner.
|
private int |
maxDuplicates
The maximal number of duplicates tolerated before this reasoner
cancels looking for more arguments (even if
maxArguments is
not yet reached). |
private java.util.Random |
rand
Random number generator
|
Constructor and Description |
---|
RandomAspicReasoner(AbstractExtensionReasoner aafReasoner,
int maxArguments,
int maxDuplicates)
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
|
private AspicArgument<T> |
sampleArgument(java.util.Map<T,java.util.List<InferenceRule<T>>> rules)
Samples a single ASPIC argument via a random search.
|
private AspicArgument<T> |
sampleArgument(java.util.Map<T,java.util.List<InferenceRule<T>>> rules,
T conclusion,
java.util.Set<T> conclusions)
Samples a single ASPIC argument for the given conclusion via a random search.
|
query, query
private java.util.Random rand
private int maxArguments
private int maxDuplicates
maxArguments
is
not yet reached).public RandomAspicReasoner(AbstractExtensionReasoner aafReasoner, int maxArguments, int maxDuplicates)
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 if maxArguments
is
not yet reached).protected DungTheory getDungTheory(AspicArgumentationTheory<T> aat, Formula query)
AbstractAspicReasoner
getDungTheory
in class AbstractAspicReasoner<T extends Invertable>
aat
- some Aspic theoryquery
- some queryprivate AspicArgument<T> sampleArgument(java.util.Map<T,java.util.List<InferenceRule<T>>> rules)
rules
- some rulesprivate AspicArgument<T> sampleArgument(java.util.Map<T,java.util.List<InferenceRule<T>>> rules, T conclusion, java.util.Set<T> conclusions)
rules
- some rulesconclusion
- some conclusionconclusions
- the conclusions accumulated so far (from the top)