Uses of Class
net.sf.tweety.arg.lp.syntax.Argument
-
Packages that use Argument Package Description net.sf.tweety.arg.lp.reasoner net.sf.tweety.arg.lp.semantics net.sf.tweety.arg.lp.semantics.attack net.sf.tweety.arg.lp.syntax -
-
Uses of Argument in net.sf.tweety.arg.lp.reasoner
Methods in net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.arg.lp.semantics
Methods in net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.arg.lp.semantics.attack
Methods in net.sf.tweety.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 net.sf.tweety.arg.lp.syntax
Methods in net.sf.tweety.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
-