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)	Evaluates a query against the given argumentation knowledge base to determine if the query is justified based on the arguments in the knowledge base.

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.