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 |
---|---|
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 |
---|---|
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 | Field and Description |
---|---|
private DeductiveArgumentNode |
ArgumentTree.rootNode
The root node of this tree.
|
Modifier and Type | Method and Description |
---|---|
DeductiveArgumentNode |
ArgumentTree.getRoot()
Returns the root node of this tree.
|
Modifier and Type | Method and Description |
---|---|
private java.lang.String |
ArgumentTree.prettyPrint(DeductiveArgumentNode node,
java.util.Set<DeductiveArgumentNode> visitedNodes,
int depth)
Returns a string representation of the subtree rooted at
the given node.
|
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 |
---|---|
private java.lang.String |
ArgumentTree.prettyPrint(DeductiveArgumentNode node,
java.util.Set<DeductiveArgumentNode> visitedNodes,
int depth)
Returns a string representation of the subtree rooted at
the given node.
|
Constructor and Description |
---|
ArgumentTree(DeductiveArgumentNode root)
Creates an empty argument tree for the given root node.
|
Modifier and Type | Method and Description |
---|---|
private double |
CredibilityCategorizer.categorize(ArgumentTree argumentTree,
DeductiveArgumentNode parent,
DeductiveArgumentNode node)
Performs the bottom-up search.
|