public abstract class AbstractDeductiveArgumentationReasoner extends Reasoner
Modifier and Type | Field and Description |
---|---|
private Accumulator |
accumulator
The accumulator used for reasoning.
|
private Categorizer |
categorizer
The categorizer used for reasoning.
|
private static org.slf4j.Logger |
log
Logger.
|
Constructor and Description |
---|
AbstractDeductiveArgumentationReasoner(BeliefBase beliefBase,
Categorizer categorizer,
Accumulator accumulator)
Creates a new reasoner for the given belief base,
categorizer, and accumulator.
|
Modifier and Type | Method and Description |
---|---|
protected abstract ArgumentTree |
getArgumentTree(DeductiveArgument arg)
Computes the argument tree of the given argument.
|
Answer |
query(Formula query)
This method determines the answer of the given query
wrt.
|
getKnowledgeBase
private static org.slf4j.Logger log
private Categorizer categorizer
private Accumulator accumulator
public AbstractDeductiveArgumentationReasoner(BeliefBase beliefBase, Categorizer categorizer, Accumulator accumulator)
beliefBase
- some belief base (must be of class DeductiveKnowledgebase).categorizer
- some categorizer.accumulator
- some accumulator.protected abstract ArgumentTree getArgumentTree(DeductiveArgument arg)
arg
- some argument.