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

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
Set<Argument>	ArgumentationReasoner.getDefensibleArguments(ArgumentationKnowledgeBase kb) Returns the set of defensible arguments, i.e.
Set<Argument>	ArgumentationReasoner.getJustifiedArguments(ArgumentationKnowledgeBase kb) Returns the set of x/y-justified arguments using a bottom-up fixpoint calculation
Set<Argument>	ArgumentationReasoner.getOverruledArguments(ArgumentationKnowledgeBase kb) Returns the set of overruled arguments, i.e.
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, net.sf.tweety.lp.asp.syntax.ASPLiteral 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, net.sf.tweety.lp.asp.syntax.ASPLiteral arg) A literal is called x/y-overruled, iff it is not x/y-justified.
Boolean	ArgumentationReasoner.query(ArgumentationKnowledgeBase kb, Argument query)
Boolean	LiteralReasoner.query(ArgumentationKnowledgeBase kb, net.sf.tweety.lp.asp.syntax.ASPLiteral query)

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

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.