public class CompilationReasoner extends AbstractDeductiveArgumentationReasoner
Modifier and Type | Field and Description |
---|---|
private Compilation |
compilation
The compilation of the knowledge base.
|
Constructor and Description |
---|
CompilationReasoner(BeliefBase beliefBase,
Categorizer categorizer,
Accumulator accumulator)
Creates a new compilation reasoner for the given belief base,
categorizer, and accumulator.
|
Modifier and Type | Method and Description |
---|---|
protected ArgumentTree |
getArgumentTree(DeductiveArgument arg)
Computes the argument tree of the given argument.
|
query
getKnowledgeBase
private Compilation compilation
public CompilationReasoner(BeliefBase beliefBase, Categorizer categorizer, Accumulator accumulator)
beliefBase
- some belief base (must be of class DeductiveKnowledgebase).categorizer
- some categorizer.accumulator
- some accumulator.protected ArgumentTree getArgumentTree(DeductiveArgument arg)
AbstractDeductiveArgumentationReasoner
getArgumentTree
in class AbstractDeductiveArgumentationReasoner
arg
- some argument.