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 booleanArgumentationReasoner. isDefensible(ArgumentationKnowledgeBase kb, Argument arg)An argument is called x/y-defensible if it is neither x/y-justified nor x/y-overruled.booleanArgumentationReasoner. isOverruled(ArgumentationKnowledgeBase kb, Argument arg)An argument is called x/y-overruled, if it is attacked by an x/y-justified argument.java.lang.BooleanArgumentationReasoner. 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 booleanAttackRelation. attacks(java.util.Set<Argument> attacker, Argument b)Is true iff at least one attacking argument attacks bbooleanAttackRelation. 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 booleanAttackRelation. 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 booleanAttack. attacks(Argument a, Argument b)booleanAttackStrategy. attacks(Argument a, Argument b)Returns "true" iff the first argument attacks the second argument.booleanConfidentAttack. attacks(Argument a, Argument b)booleanConfidentRebut. attacks(Argument a, Argument b)booleanDefeat. attacks(Argument a, Argument b)booleanRebut. attacks(Argument a, Argument b)booleanStrongAttack. attacks(Argument a, Argument b)booleanStrongConfidentAttack. attacks(Argument a, Argument b)booleanStrongUndercut. attacks(Argument a, Argument b)booleanUndercut. 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
-