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.
|