Uses of Class
org.tweetyproject.arg.lp.syntax.ArgumentationKnowledgeBase
-
Uses of ArgumentationKnowledgeBase in org.tweetyproject.arg.lp.reasoner
Modifier and TypeMethodDescriptionArgumentationReasoner.getDefensibleArguments(ArgumentationKnowledgeBase kb)
Returns the set of defensible arguments, i.e.ArgumentationReasoner.getJustifiedArguments(ArgumentationKnowledgeBase kb)
Returns the set of x/y-justified arguments using a bottom-up fixpoint calculationArgumentationReasoner.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.ArgumentationReasoner.query(ArgumentationKnowledgeBase kb, Argument query)
LiteralReasoner.query(ArgumentationKnowledgeBase kb, ASPLiteral query)
-
Uses of ArgumentationKnowledgeBase in org.tweetyproject.arg.lp.semantics
ModifierConstructorDescriptionAttackRelation(ArgumentationKnowledgeBase kb, AttackStrategy strategy)
Creates a new AttackRelation for an argumentation knowledgebase and a certain notion of attack.