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 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 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 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 org.tweetyproject.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 org.tweetyproject.arg.lp.semantics.attack
Methods in org.tweetyproject.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 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
-