Uses of Class
org.tweetyproject.arg.deductive.semantics.DeductiveArgument
-
Packages that use DeductiveArgument Package Description org.tweetyproject.arg.deductive.semantics org.tweetyproject.arg.deductive.semantics.attacks org.tweetyproject.arg.deductive.syntax -
-
Uses of DeductiveArgument in org.tweetyproject.arg.deductive.semantics
Subclasses of DeductiveArgument in org.tweetyproject.arg.deductive.semantics Modifier and Type Class Description class
DeductiveArgumentNode
Extends a deductive argument by a unique identifier.Methods in org.tweetyproject.arg.deductive.semantics with parameters of type DeductiveArgument Modifier and Type Method Description ArgumentTree
Compilation. getArgumentTree(DeductiveArgument arg)
Returns the argument tree for the given argument.Constructors in org.tweetyproject.arg.deductive.semantics with parameters of type DeductiveArgument Constructor Description DeductiveArgumentNode(DeductiveArgument arg)
Creates a new deductive argument node from the given deductive argument (a unique ID is generated) -
Uses of DeductiveArgument in org.tweetyproject.arg.deductive.semantics.attacks
Methods in org.tweetyproject.arg.deductive.semantics.attacks with parameters of type DeductiveArgument Modifier and Type Method Description boolean
Attack. isAttackedBy(DeductiveArgument a, DeductiveArgument b)
Returns "true" iff the first argument is attacked by the second argument.boolean
CanonicalUndercut. isAttackedBy(DeductiveArgument a, DeductiveArgument b)
boolean
Defeat. isAttackedBy(DeductiveArgument a, DeductiveArgument b)
boolean
DefeatingRebuttal. isAttackedBy(DeductiveArgument a, DeductiveArgument b)
boolean
DirectDefeat. isAttackedBy(DeductiveArgument a, DeductiveArgument b)
boolean
DirectUndercut. isAttackedBy(DeductiveArgument a, DeductiveArgument b)
boolean
Rebuttal. isAttackedBy(DeductiveArgument a, DeductiveArgument b)
boolean
Undercut. isAttackedBy(DeductiveArgument a, DeductiveArgument b)
-
Uses of DeductiveArgument in org.tweetyproject.arg.deductive.syntax
Methods in org.tweetyproject.arg.deductive.syntax that return types with arguments of type DeductiveArgument Modifier and Type Method Description java.util.Set<DeductiveArgument>
DeductiveKnowledgeBase. getDeductiveArguments()
Computes all deductive arguments.java.util.Set<DeductiveArgument>
DeductiveKnowledgeBase. getDeductiveArguments(PlFormula claim)
Computes all deductive arguments for the given claim.
-