| Package | Description |
|---|---|
| net.sf.tweety.arg.deductive | |
| net.sf.tweety.arg.deductive.accumulator | |
| net.sf.tweety.beliefdynamics.selectiverevision.argumentative |
| Modifier and Type | Field and Description |
|---|---|
private Accumulator |
AbstractDeductiveArgumentationReasoner.accumulator
The accumulator used for reasoning.
|
| Constructor and Description |
|---|
AbstractDeductiveArgumentationReasoner(BeliefBase beliefBase,
Categorizer categorizer,
Accumulator accumulator)
Creates a new reasoner for the given belief base,
categorizer, and accumulator.
|
CompilationReasoner(BeliefBase beliefBase,
Categorizer categorizer,
Accumulator accumulator)
Creates a new compilation reasoner for the given belief base,
categorizer, and accumulator.
|
SimpleReasoner(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.
|
| Modifier and Type | Field and Description |
|---|---|
private Accumulator |
ArgumentativeTransformationFunction.accumulator
The accumulator used by this transformation function.
|
| Constructor and Description |
|---|
ArgumentativeTransformationFunction(Categorizer categorizer,
Accumulator accumulator,
PlBeliefSet beliefSet,
boolean isSkeptical)
Creates a new argumentative transformation function.
|