Uses of Class
org.tweetyproject.arg.delp.syntax.DelpArgument
Package
Description
-
Uses of DelpArgument in org.tweetyproject.arg.delp.reasoner
Modifier and TypeMethodDescriptionstatic Set
<DelpArgument> DelpReasoner.getArgumentsWithConclusion
(DefeasibleLogicProgram delp, FolFormula f) Returns all arguments with the given conclusion from the delp.DelpReasoner.getWarrants
(DefeasibleLogicProgram delp) Computes the subset of the arguments of this program, that are warrants. -
Uses of DelpArgument in org.tweetyproject.arg.delp.semantics
Modifier and TypeMethodDescriptionDialecticalTree.getArgumentationLine()
Returns the argumentation line which is generated by the path from this node to the root (in reverse)Modifier and TypeMethodDescriptionabstract ComparisonCriterion.Result
ComparisonCriterion.compare
(DelpArgument argument1, DelpArgument argument2, DefeasibleLogicProgram context) This method returns the relation ofargument1
toargument2
givencontext
.EmptyCriterion.compare
(DelpArgument argument1, DelpArgument argument2, DefeasibleLogicProgram context) GeneralizedSpecificity.compare
(DelpArgument argument1, DelpArgument argument2, DefeasibleLogicProgram context) boolean
DialecticalTree.isAcceptable
(DelpArgument argument, DefeasibleLogicProgram delp, ComparisonCriterion comparisonCriterion) Checks whether the argumentation line composed of the ancestors of this node and the parameterargument
is acceptable given the parameterdelp
ModifierConstructorDescriptionDialecticalTree
(DelpArgument argument) constructor; initializes this dialectical tree node as a root with given argument -
Uses of DelpArgument in org.tweetyproject.arg.delp.syntax
Modifier and TypeMethodDescriptionDelpArgument.getDisagreementSubargument
(FolFormula lit, DefeasibleLogicProgram delp) Computes the disagreement subargument of this argument for the given literalModifier and TypeMethodDescriptionDefeasibleLogicProgram.getArguments()
Returns the set of all possible arguments, that can be built in this delp.Modifier and TypeMethodDescriptionboolean
DelpArgument.isStrongSubargumentOf
(DelpArgument argument) Checks whether this argument is a strong subargument of the given argument, i.e., if the support of this argument is a strict subset of the support of the given argumentboolean
DelpArgument.isSubargumentOf
(DelpArgument argument) Checks whether this argument is a subargument of the given argument