Uses of Class
org.tweetyproject.arg.delp.syntax.DefeasibleLogicProgram
Package
Description
-
Uses of DefeasibleLogicProgram in org.tweetyproject.arg.delp.parser
Modifier and TypeMethodDescriptionDelpParser.parseBeliefBase
(Reader reader) final DefeasibleLogicProgram
DelpParser.Theory
(FolSignature signature) Modifier and TypeMethodDescriptionfinal FolAtom
DelpParser.Atom
(DefeasibleLogicProgram delp, FolSignature signature) final void
DelpParser.Expression
(DefeasibleLogicProgram delp, FolSignature signature) final FolFormula
DelpParser.Literal
(DefeasibleLogicProgram delp, FolSignature signature) final Term
DelpParser.Term
(DefeasibleLogicProgram delp, FolSignature signature) -
Uses of DefeasibleLogicProgram 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.DelpReasoner.query
(DefeasibleLogicProgram delp, FolFormula f) -
Uses of DefeasibleLogicProgram in org.tweetyproject.arg.delp.semantics
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) DialecticalTree.getDefeaters
(DefeasibleLogicProgram delp, ComparisonCriterion comparisonCriterion) Computes the set of arguments which are defeaters for the argument in this tree node and returns the corresponding dialectical tree nodes with these defeaters.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
-
Uses of DefeasibleLogicProgram in org.tweetyproject.arg.delp.syntax
Modifier and TypeMethodDescriptionDefeasibleLogicProgram.ground()
In general, a delp comprises of rule schemes with variables.In general, a delp comprises of rule schemes with variables.Modifier and TypeMethodDescriptionDelpArgument.getAttackOpportunities
(DefeasibleLogicProgram delp) Computes the set of literals that disagree with the conclusion of a subargument of this argumentDelpArgument.getDisagreementSubargument
(FolFormula lit, DefeasibleLogicProgram delp) Computes the disagreement subargument of this argument for the given literalModifierConstructorDescriptionconstructor; initializes this program with the given program