public class SimpleReasoner extends AbstractDeductiveArgumentationReasoner
Constructor and Description |
---|
SimpleReasoner(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 ArgumentTree |
getArgumentTree(DeductiveArgument arg)
Computes the argument tree of the given argument.
|
private ArgumentTree |
getArgumentTree(DeductiveArgumentNode argNode,
java.util.Set<PropositionalFormula> support)
Computes the argument tree of the given argument.
|
query
getKnowledgeBase
public SimpleReasoner(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.private ArgumentTree getArgumentTree(DeductiveArgumentNode argNode, java.util.Set<PropositionalFormula> support)
argNode
- some argument node.support
- the union of the supports of all previously encountered arguments