Package | Description |
---|---|
net.sf.tweety.arg.deductive | |
net.sf.tweety.arg.deductive.categorizer | |
net.sf.tweety.arg.deductive.semantics | |
net.sf.tweety.beliefdynamics.mas |
Modifier and Type | Method and Description |
---|---|
protected ArgumentTree |
SimpleReasoner.getArgumentTree(DeductiveArgument arg) |
protected ArgumentTree |
CompilationReasoner.getArgumentTree(DeductiveArgument arg) |
protected abstract ArgumentTree |
AbstractDeductiveArgumentationReasoner.getArgumentTree(DeductiveArgument arg)
Computes the argument tree of the given argument.
|
private ArgumentTree |
SimpleReasoner.getArgumentTree(DeductiveArgumentNode argNode,
java.util.Set<PropositionalFormula> support)
Computes the argument tree of the given argument.
|
Modifier and Type | Method and Description |
---|---|
double |
HCategorizer.categorize(ArgumentTree argumentTree) |
double |
ClassicalCategorizer.categorize(ArgumentTree argumentTree) |
double |
Categorizer.categorize(ArgumentTree argumentTree)
This method categorizes the given argument tree.
|
private double |
HCategorizer.categorize(ArgumentTree argumentTree,
DeductiveArgumentNode parent,
DeductiveArgumentNode node)
Categorizes the node in the given tree.
|
private double |
ClassicalCategorizer.categorize(ArgumentTree argumentTree,
DeductiveArgumentNode parent,
DeductiveArgumentNode node)
Performs the bottom-up search.
|
Modifier and Type | Method and Description |
---|---|
ArgumentTree |
Compilation.getArgumentTree(DeductiveArgument arg)
Returns the argument tree for the given argument.
|
Modifier and Type | Method and Description |
---|---|
private void |
Compilation.subcuts(DeductiveArgumentNode argNode,
java.util.Set<CompilationNode> remainingNodes,
CompilationNode current,
java.util.Set<PropositionalFormula> currentSupport,
ArgumentTree argTree)
This method recursively builds up the argument tree from
the given argument.
|
Modifier and Type | Method and Description |
---|---|
double |
CredibilityCategorizer.categorize(ArgumentTree argumentTree) |
private double |
CredibilityCategorizer.categorize(ArgumentTree argumentTree,
DeductiveArgumentNode parent,
DeductiveArgumentNode node)
Performs the bottom-up search.
|