| Package | Description |
|---|---|
| net.sf.tweety.arg.deductive | |
| net.sf.tweety.arg.deductive.accumulator |
| Constructor and Description |
|---|
AbstractDeductiveArgumentationReasoner(net.sf.tweety.commons.BeliefBase beliefBase,
Categorizer categorizer,
Accumulator accumulator)
Creates a new reasoner for the given belief base,
categorizer, and accumulator.
|
CompilationReasoner(net.sf.tweety.commons.BeliefBase beliefBase,
Categorizer categorizer,
Accumulator accumulator)
Creates a new compilation reasoner for the given belief base,
categorizer, and accumulator.
|
SimpleReasoner(net.sf.tweety.commons.BeliefBase beliefBase,
Categorizer categorizer,
Accumulator accumulator)
Creates a new reasoner for the given belief base,
categorizer, and accumulator.
|
| Modifier and Type | Class and Description |
|---|---|
class |
SimpleAccumulator
This implementation of an accumulator simply sums
up the categorizations of the argument trees.
|
Copyright © 2018. All rights reserved.