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