Uses of Class
org.tweetyproject.arg.aba.syntax.Assumption
Package
Description
-
Uses of Assumption in org.tweetyproject.arg.aba.reasoner
Modifier and TypeMethodDescriptionFlatAbaReasoner.query(AbaTheory<T> beliefbase, Assumption<T> query, InferenceMode inferenceMode)
GeneralAbaReasoner.query(AbaTheory<T> beliefbase, Assumption<T> query)
GeneralAbaReasoner.query(AbaTheory<T> beliefbase, Assumption<T> query, InferenceMode inferenceMode)
Queries the given ABA theory for the given assumption using the given inference type. -
Uses of Assumption in org.tweetyproject.arg.aba.semantics
Modifier and TypeMethodDescriptionboolean
AbaExtension.add(Assumption<T> e)
static <T extends Invertable>
booleanAbaAttack.attacks(Deduction<T> attacker, Assumption<T> attacked)
boolean
AbaExtension.satisfies(Assumption<T> formula)
Modifier and TypeMethodDescriptionboolean
AbaExtension.addAll(Collection<? extends Assumption<T>> c)
static <T extends Formula>
Collection<AbaAttack<T>>AbaAttack.allAttacks(Collection<Assumption<T>> from, Collection<Assumption<T>> to, AbaTheory<T> abat)
Returns all attacks from the given attacking set to the given attacked set.ModifierConstructorDescriptionAbaExtension(Collection<Assumption<T>> assumptions)
Creates a new extension with the given assumptions. -
Uses of Assumption in org.tweetyproject.arg.aba.syntax
Modifier and TypeMethodDescriptionAbaTheory.getAllConflictFreeExtensions()
Computes all context-free extensions.AbaTheory.getAllExtensions()
Computes all possible extensions.AbaTheory.getAssumptions()
AbaTheory.getClosure(Collection<Assumption<T>> assumptions)
A closure is the set of assumptions that can be derived from a set of assumptions via inference rules.Modifier and TypeMethodDescriptionboolean
AbaTheory.defends(Collection<Assumption<T>> defendor, Assumption<T> defended)
Checks whether a set of arguments defends an argument.Modifier and TypeMethodDescriptionboolean
AbaTheory.attacks(Collection<Assumption<T>> attackers, Collection<Assumption<T>> attackeds)
Checks whether a set of assumptions attacks another set of assumptions.boolean
AbaTheory.defends(Collection<Assumption<T>> defendor, Assumption<T> defended)
Checks whether a set of arguments defends an argument.AbaTheory.getAllDeductions(Collection<Assumption<T>> assumptions)
AbaTheory.getClosure(Collection<Assumption<T>> assumptions)
A closure is the set of assumptions that can be derived from a set of assumptions via inference rules.boolean
AbaTheory.isClosed(Collection<Assumption<T>> assumptions)
A set of assumptions is closed iff it equals its closure.boolean
AbaTheory.isConflictFree(Collection<Assumption<T>> ext)
Checks whether a set of arguments is conflict-free.void
AbaTheory.setAssumptions(Collection<Assumption<T>> assumptions)