Uses of Class
org.tweetyproject.arg.lp.syntax.ArgumentationKnowledgeBase

Packages that use ArgumentationKnowledgeBase

Package	Description
org.tweetyproject.arg.lp.reasoner
org.tweetyproject.arg.lp.semantics

Uses of ArgumentationKnowledgeBase in org.tweetyproject.arg.lp.reasoner

Methods in org.tweetyproject.arg.lp.reasoner with parameters of type ArgumentationKnowledgeBase

Modifier and Type	Method	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, 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, 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, ASPLiteral query)

Uses of ArgumentationKnowledgeBase in org.tweetyproject.arg.lp.semantics

Constructors in org.tweetyproject.arg.lp.semantics with parameters of type ArgumentationKnowledgeBase

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