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