Uses of Class
net.sf.tweety.arg.lp.syntax.ArgumentationKnowledgeBase

Packages that use ArgumentationKnowledgeBase

Package	Description
net.sf.tweety.arg.lp.reasoner
net.sf.tweety.arg.lp.semantics
net.sf.tweety.argumentation.parameterisedhierarchy

Uses of ArgumentationKnowledgeBase in net.sf.tweety.arg.lp.reasoner

Methods in net.sf.tweety.arg.lp.reasoner with parameters of type ArgumentationKnowledgeBase

Modifier and Type	Method and 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 calculation
java.util.Set<Argument>	ArgumentationReasoner.getOverruledArguments(ArgumentationKnowledgeBase kb) Returns the set of overruled arguments, i.e.
private boolean	ArgumentationReasoner.isAcceptable(ArgumentationKnowledgeBase kb, java.util.Set<Argument> arguments, java.util.Set<Argument> defendingArguments, Argument toCheck) Returns true iff the argument toCheck is x/y-acceptable wrt.
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	LiteralReasoner.isJustified(ArgumentationKnowledgeBase kb, DLPLiteral arg) A literal is called x/y-justified, if a x/y-justified argument with conclusion arg can be constructed from p.
boolean	ArgumentationReasoner.isOverruled(ArgumentationKnowledgeBase kb, Argument arg) An argument is called x/y-overruled, if it is attacked by an x/y-justified argument.
boolean	LiteralReasoner.isOverruled(ArgumentationKnowledgeBase kb, DLPLiteral arg) A literal is called x/y-overruled, iff it is not x/y-justified.
java.lang.Boolean	ArgumentationReasoner.query(ArgumentationKnowledgeBase kb, Argument query)
java.lang.Boolean	LiteralReasoner.query(ArgumentationKnowledgeBase kb, DLPLiteral query)

Uses of ArgumentationKnowledgeBase in net.sf.tweety.arg.lp.semantics

Fields in net.sf.tweety.arg.lp.semantics declared as ArgumentationKnowledgeBase

Modifier and Type	Field and Description
private ArgumentationKnowledgeBase	AttackRelation.kb

Constructors in net.sf.tweety.arg.lp.semantics with parameters of type ArgumentationKnowledgeBase

Constructor and Description
AttackRelation(ArgumentationKnowledgeBase kb, AttackStrategy strategy) Creates a new AttackRelation for an argumentation knowledgebase and a certain notion of attack.

Uses of ArgumentationKnowledgeBase in net.sf.tweety.argumentation.parameterisedhierarchy

Fields in net.sf.tweety.argumentation.parameterisedhierarchy declared as ArgumentationKnowledgeBase

Modifier and Type	Field and Description
(package private) ArgumentationKnowledgeBase	ArgumentationReasonerTest.kb