Uses of Class
org.tweetyproject.arg.lp.syntax.Argument
Packages that use Argument
Package
Description
-
Uses of Argument in org.tweetyproject.arg.lp.reasoner
Classes in org.tweetyproject.arg.lp.reasoner that implement interfaces with type arguments of type ArgumentModifier and TypeClassDescriptionclass
This class models a reasoner for extended logic programming based arguments using the fixpoint semantics from [1] parameterised by a notion of attack x for the opponent and another notion of attack y as a defense for the proponent.Methods in org.tweetyproject.arg.lp.reasoner that return types with arguments of type ArgumentModifier 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.Methods in org.tweetyproject.arg.lp.reasoner with parameters of type ArgumentModifier 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
Methods in org.tweetyproject.arg.lp.semantics that return types with arguments of type ArgumentModifier and TypeMethodDescriptionAttackRelation.getAttackingArguments
(Argument a) Returns all arguments from the knowledgebase, that attack argument a.Methods in org.tweetyproject.arg.lp.semantics with parameters of type ArgumentModifier 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.Method parameters in org.tweetyproject.arg.lp.semantics with type arguments of type Argument -
Uses of Argument in org.tweetyproject.arg.lp.semantics.attack
Methods in org.tweetyproject.arg.lp.semantics.attack with parameters of type ArgumentModifier 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
Subclasses with type arguments of type Argument in org.tweetyproject.arg.lp.syntaxModifier and TypeClassDescriptionclass
Instances of this class represent the set of minimal arguments from a extended logic programMethods in org.tweetyproject.arg.lp.syntax that return types with arguments of type ArgumentModifier and TypeMethodDescriptionArgumentationKnowledgeBase.getArguments()
Returns all minimal arguments constructible from the extended logic program