Uses of Class
org.tweetyproject.arg.lp.syntax.Argument
Package
Description
-
Uses of Argument in org.tweetyproject.arg.lp.reasoner
Modifier and TypeMethodDescriptionArgumentationReasoner.getDefensibleArguments
(ArgumentationKnowledgeBase kb) Returns the set of defensible arguments, i.e.ArgumentationReasoner.getJustifiedArguments
(ArgumentationKnowledgeBase kb) Returns the set of x/y-justified arguments using a bottom-up fixpoint calculationArgumentationReasoner.getOverruledArguments
(ArgumentationKnowledgeBase kb) Returns the set of overruled arguments, i.e.Modifier and TypeMethodDescriptionboolean
ArgumentationReasoner.isDefensible
(ArgumentationKnowledgeBase kb, Argument arg) An argument is called x/y-defensible if it is neither x/y-justified nor x/y-overruled.boolean
ArgumentationReasoner.isOverruled
(ArgumentationKnowledgeBase kb, Argument arg) An argument is called x/y-overruled, if it is attacked by an x/y-justified argument.ArgumentationReasoner.query
(ArgumentationKnowledgeBase kb, Argument query) -
Uses of Argument in org.tweetyproject.arg.lp.semantics
Modifier and TypeMethodDescriptionAttackRelation.getAttackingArguments
(Argument a) Returns all arguments from the knowledgebase, that attack argument a.Modifier and TypeMethodDescriptionboolean
Is true iff at least one attacking argument attacks bboolean
Returns true iff argument a attacks argument b for the notion of attack represented by this attack relation.AttackRelation.getAttackingArguments
(Argument a) Returns all arguments from the knowledgebase, that attack argument a. -
Uses of Argument in org.tweetyproject.arg.lp.semantics.attack
Modifier and TypeMethodDescriptionboolean
boolean
Returns "true" iff the first argument attacks the second argument.boolean
boolean
boolean
boolean
boolean
boolean
boolean
boolean
-
Uses of Argument in org.tweetyproject.arg.lp.syntax
Modifier and TypeMethodDescriptionArgumentationKnowledgeBase.getArguments()
Returns all minimal arguments constructible from the extended logic program