Uses of Class
org.tweetyproject.arg.lp.syntax.Argument
-
Packages that use Argument Package Description org.tweetyproject.arg.lp.reasoner org.tweetyproject.arg.lp.semantics org.tweetyproject.arg.lp.semantics.attack org.tweetyproject.arg.lp.syntax -
-
Uses of Argument in org.tweetyproject.arg.lp.reasoner
Methods in org.tweetyproject.arg.lp.reasoner that return types with arguments of type Argument Modifier and Type Method Description java.util.Set<Argument>
ArgumentationReasoner. getDefensibleArguments(ArgumentationKnowledgeBase kb)
Returns the set of defensible arguments, i.e.java.util.Set<Argument>
ArgumentationReasoner. getJustifiedArguments(ArgumentationKnowledgeBase kb)
Returns the set of x/y-justified arguments using a bottom-up fixpoint calculationjava.util.Set<Argument>
ArgumentationReasoner. getOverruledArguments(ArgumentationKnowledgeBase kb)
Returns the set of overruled arguments, i.e.Methods in org.tweetyproject.arg.lp.reasoner with parameters of type Argument Modifier and Type Method Description boolean
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.java.lang.Boolean
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 Argument Modifier and Type Method Description java.util.Set<Argument>
AttackRelation. getAttackingArguments(Argument a)
Returns all arguments from the knowledgebase, that attack argument a.Methods in org.tweetyproject.arg.lp.semantics with parameters of type Argument Modifier and Type Method Description boolean
AttackRelation. attacks(java.util.Set<Argument> attacker, Argument b)
Is true iff at least one attacking argument attacks bboolean
AttackRelation. attacks(Argument a, Argument b)
Returns true iff argument a attacks argument b for the notion of attack represented by this attack relation.java.util.Set<Argument>
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 Modifier and Type Method Description boolean
AttackRelation. attacks(java.util.Set<Argument> attacker, Argument b)
Is true iff at least one attacking argument attacks b -
Uses of Argument in org.tweetyproject.arg.lp.semantics.attack
Methods in org.tweetyproject.arg.lp.semantics.attack with parameters of type Argument Modifier and Type Method Description boolean
Attack. attacks(Argument a, Argument b)
boolean
AttackStrategy. attacks(Argument a, Argument b)
Returns "true" iff the first argument attacks the second argument.boolean
ConfidentAttack. attacks(Argument a, Argument b)
boolean
ConfidentRebut. attacks(Argument a, Argument b)
boolean
Defeat. attacks(Argument a, Argument b)
boolean
Rebut. attacks(Argument a, Argument b)
boolean
StrongAttack. attacks(Argument a, Argument b)
boolean
StrongConfidentAttack. attacks(Argument a, Argument b)
boolean
StrongUndercut. attacks(Argument a, Argument b)
boolean
Undercut. attacks(Argument a, Argument b)
-
Uses of Argument in org.tweetyproject.arg.lp.syntax
Methods in org.tweetyproject.arg.lp.syntax that return types with arguments of type Argument Modifier and Type Method Description java.util.Set<Argument>
ArgumentationKnowledgeBase. getArguments()
Returns all minimal arguments constructible from the extended logic program
-