public class CompilationReasoner extends AbstractDeductiveArgumentationReasoner
Constructor and Description |
---|
CompilationReasoner(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(DeductiveKnowledgeBase kb,
DeductiveArgument arg)
Computes the argument tree of the given argument.
|
query
public CompilationReasoner(Categorizer categorizer, Accumulator accumulator)
categorizer
- some categorizer.accumulator
- some accumulator.protected ArgumentTree getArgumentTree(DeductiveKnowledgeBase kb, DeductiveArgument arg)
AbstractDeductiveArgumentationReasoner
getArgumentTree
in class AbstractDeductiveArgumentationReasoner
arg
- some argument.