Uses of Class
org.tweetyproject.arg.dung.semantics.Extension

Packages that use Extension

Package	Description
org.tweetyproject.agents.dialogues
org.tweetyproject.agents.dialogues.oppmodels
org.tweetyproject.arg.bipolar.syntax
org.tweetyproject.arg.dung.divisions
org.tweetyproject.arg.dung.ldo.semantics
org.tweetyproject.arg.dung.learning
org.tweetyproject.arg.dung.parser
org.tweetyproject.arg.dung.reasoner
org.tweetyproject.arg.dung.semantics
org.tweetyproject.arg.dung.syntax
org.tweetyproject.arg.prob.lotteries
org.tweetyproject.arg.prob.reasoner
org.tweetyproject.arg.prob.semantics
org.tweetyproject.arg.rankings.reasoner
org.tweetyproject.arg.rankings.semantics

Uses of Extension in org.tweetyproject.agents.dialogues

Subclasses of Extension in org.tweetyproject.agents.dialogues

Modifier and Type	Class	Description
class	ExecutableExtension	This class packs an extension into an executable object.

Methods in org.tweetyproject.agents.dialogues that return types with arguments of type Extension

Modifier and Type	Method	Description
DialogueTrace<Argument,Extension>	ArgumentationEnvironment.getDialogueTrace()	Returns the current dialogue trace.

Methods in org.tweetyproject.agents.dialogues with parameters of type Extension

Modifier and Type	Method	Description
DungTheory	ArgumentationEnvironment.getPerceivedDungTheory(Extension arguments)	Returns the view of the universal Dung theory restricted to the given set of arguments.
DungTheory	LotteryArgumentationEnvironment.getPerceivedDungTheory(Extension arguments)	Returns the view of the universal Dung theory restricted to the given set of arguments.

Uses of Extension in org.tweetyproject.agents.dialogues.oppmodels

Method parameters in org.tweetyproject.agents.dialogues.oppmodels with type arguments of type Extension

Modifier and Type	Method	Description
Pair<java.lang.Double,java.util.Set<ExecutableExtension>>	T1BeliefState.doMove(ArgumentationEnvironment env, DialogueTrace<Argument,Extension> trace)
double	GroundedGameUtilityFunction.getUtility(DialogueTrace<Argument,Extension> trace)
double	GroundedGameUtilityFunction.getUtility(DialogueTrace<Argument,Extension> trace, java.util.Set<Argument> additionalArguments, java.util.Set<Attack> additionalAttacks)
abstract void	BeliefState.update(DialogueTrace<Argument,Extension> trace)	Updates the current belief state accordingly to the given dialogue trace.
void	T1BeliefState.update(DialogueTrace<Argument,Extension> trace)
void	T2BeliefState.update(DialogueTrace<Argument,Extension> trace)
void	T3BeliefState.update(DialogueTrace<Argument,Extension> trace)

Constructors in org.tweetyproject.agents.dialogues.oppmodels with parameters of type Extension

Constructor	Description
BeliefState(Extension knownArguments, UtilityFunction<Argument,Extension> utilityFunction)	Creates a new belief-state with the given parameters.
T1BeliefState(Extension knownArguments, UtilityFunction<Argument,Extension> utilityFunction)	Creates a new T1-belief-state with the given parameters and without nesting.
T1BeliefState(Extension knownArguments, UtilityFunction<Argument,Extension> utilityFunction, T1BeliefState oppModel)	Creates a new T1-belief-state with the given parameters.
T2BeliefState(Extension knownArguments, UtilityFunction<Argument,Extension> utilityFunction)	Creates a new T2-belief-state with the given parameters and without nesting.
T2BeliefState(Extension knownArguments, UtilityFunction<Argument,Extension> utilityFunction, ProbabilityFunction<T2BeliefState> prob)	Creates a new T2-belief-state with the given parameters.
T3BeliefState(Extension knownArguments, UtilityFunction<Argument,Extension> utilityFunction, java.util.Set<Argument> virtualArguments, java.util.Set<Attack> virtualAttacks, RecognitionFunction rec, ProbabilityFunction<T3BeliefState> prob)	Creates a new T3-belief-state with the given parameters.

Constructor parameters in org.tweetyproject.agents.dialogues.oppmodels with type arguments of type Extension

Constructor	Description
BeliefState(Extension knownArguments, UtilityFunction<Argument,Extension> utilityFunction)	Creates a new belief-state with the given parameters.
T1BeliefState(Extension knownArguments, UtilityFunction<Argument,Extension> utilityFunction)	Creates a new T1-belief-state with the given parameters and without nesting.
T1BeliefState(Extension knownArguments, UtilityFunction<Argument,Extension> utilityFunction, T1BeliefState oppModel)	Creates a new T1-belief-state with the given parameters.
T2BeliefState(Extension knownArguments, UtilityFunction<Argument,Extension> utilityFunction)	Creates a new T2-belief-state with the given parameters and without nesting.
T2BeliefState(Extension knownArguments, UtilityFunction<Argument,Extension> utilityFunction, ProbabilityFunction<T2BeliefState> prob)	Creates a new T2-belief-state with the given parameters.
T3BeliefState(Extension knownArguments, UtilityFunction<Argument,Extension> utilityFunction, java.util.Set<Argument> virtualArguments, java.util.Set<Attack> virtualAttacks, RecognitionFunction rec, ProbabilityFunction<T3BeliefState> prob)	Creates a new T3-belief-state with the given parameters.

Uses of Extension in org.tweetyproject.arg.bipolar.syntax

Constructors in org.tweetyproject.arg.bipolar.syntax with parameters of type Extension

Constructor	Description
ArgumentSet(Extension ext)

Uses of Extension in org.tweetyproject.arg.dung.divisions

Methods in org.tweetyproject.arg.dung.divisions with parameters of type Extension

Modifier and Type	Method	Description
static java.util.Collection<Division>	Division.getDivisions(Extension ext, DungTheory aaf)	Returns all divisions of aaf that arise from the given extension.
boolean	Division.isValid(Extension ext)	Checks whether this division is valid wrt.

Method parameters in org.tweetyproject.arg.dung.divisions with type arguments of type Extension

Modifier and Type	Method	Description
static java.util.Collection<Division>	Division.getDivisions(java.util.Collection<Extension> exts, DungTheory aaf)	Returns all divisions of all given extensions and the given aaf.
boolean	Division.isValid(java.util.Collection<Extension> exts)	Checks whether this division is valid wrt.

Constructors in org.tweetyproject.arg.dung.divisions with parameters of type Extension

Constructor	Description
Division(Extension p, Extension v)	Creates a new division for the given parameters.

Uses of Extension in org.tweetyproject.arg.dung.ldo.semantics

Constructors in org.tweetyproject.arg.dung.ldo.semantics with parameters of type Extension

Constructor	Description
LdoInterpretation(DungTheory theory, Extension ext, Semantics semantics)	Creates a new interpretation

Uses of Extension in org.tweetyproject.arg.dung.learning

Methods in org.tweetyproject.arg.dung.learning that return types with arguments of type Extension

Modifier and Type	Method	Description
java.util.Map<java.util.Collection<Extension>,java.util.Map<java.util.Collection<Extension>,java.util.Collection<DungTheory>>>	ExampleFinder.getExamples(int minArgs, int maxArgs)	compute a tree like structure of examples.
java.util.Map<java.util.Collection<Extension>,java.util.Map<java.util.Collection<Extension>,java.util.Collection<DungTheory>>>	ExampleFinder.getExamples(int minArgs, int maxArgs)	compute a tree like structure of examples.
java.util.Map<java.util.Collection<Extension>,java.util.Map<java.util.Collection<Extension>,java.util.Map<java.util.Collection<Extension>,java.util.Collection<DungTheory>>>>	ExtendedExampleFinder.getExamples(int minArgs, int maxArgs)	compute a tree like structure of examples.
java.util.Map<java.util.Collection<Extension>,java.util.Map<java.util.Collection<Extension>,java.util.Map<java.util.Collection<Extension>,java.util.Collection<DungTheory>>>>	ExtendedExampleFinder.getExamples(int minArgs, int maxArgs)	compute a tree like structure of examples.
java.util.Map<java.util.Collection<Extension>,java.util.Map<java.util.Collection<Extension>,java.util.Map<java.util.Collection<Extension>,java.util.Collection<DungTheory>>>>	ExtendedExampleFinder.getExamples(int minArgs, int maxArgs)	compute a tree like structure of examples.

Method parameters in org.tweetyproject.arg.dung.learning with type arguments of type Extension

Modifier and Type	Method	Description
DungTheory	NiskanenTheorySynthesizer.learnExamples(java.util.Map<Extension,java.lang.Integer> positiveExamples, java.util.Map<Extension,java.lang.Integer> negativeExamples)	learns an argumentation framework fulfilling as many positive examples as possible while trying to not fulfill any negative examples
void	ExampleFinder.showExamples(java.util.Collection<Extension> extensions)	prints a theory for each set of extensions (of the second semantics) that can occur, given the set of extensions for the first semantics
void	ExtendedExampleFinder.showExamples(java.util.Collection<Extension> extensions1, java.util.Collection<Extension> extensions2)	prints a theory for each set of extensions (of the third semantics) that can occur, given the set of extensions for the first and second semantics

Uses of Extension in org.tweetyproject.arg.dung.parser

Methods in org.tweetyproject.arg.dung.parser that return Extension

Modifier and Type	Method	Description
static Extension	AbstractDungParser.parseArgumentList(java.lang.String s)	Returns a collection view of the given set of arguments

Uses of Extension in org.tweetyproject.arg.dung.reasoner

Methods in org.tweetyproject.arg.dung.reasoner that return Extension

Modifier and Type	Method	Description
abstract Extension	AbstractExtensionReasoner.getModel(DungTheory bbase)
Extension	AbstractSatExtensionReasoner.getModel(DungTheory bbase)
Extension	ProboReasoner.getModel(DungTheory bbase)
Extension	QualifiedReasoner.getModel(DungTheory bbase)
Extension	SccCF2Reasoner.getModel(DungTheory bbase)
Extension	SCF2Reasoner.getModel(DungTheory bbase)
Extension	SCOOCNaiveReasoner.getModel(DungTheory bbase)
Extension	SemiQualifiedReasoner.getModel(DungTheory bbase)
Extension	SimpleAdmissibleReasoner.getModel(DungTheory bbase)
Extension	SimpleCompleteReasoner.getModel(DungTheory bbase)
Extension	SimpleConflictFreeReasoner.getModel(DungTheory bbase)
Extension	SimpleGroundedReasoner.getModel(DungTheory bbase)
Extension	SimpleIdealReasoner.getModel(DungTheory bbase)
Extension	SimpleNaiveReasoner.getModel(DungTheory bbase)
Extension	SimplePreferredReasoner.getModel(DungTheory bbase)
Extension	SimpleSccCompleteReasoner.getModel(DungTheory bbase)
Extension	SimpleSemiStableReasoner.getModel(DungTheory bbase)
Extension	SimpleStableReasoner.getModel(DungTheory bbase)
Extension	SimpleStageReasoner.getModel(DungTheory bbase)
Extension	Stage2Reasoner.getModel(DungTheory bbase)
Extension	WeaklyAdmissibleReasoner.getModel(DungTheory bbase)	returns one weakly admissible set of bbase

Methods in org.tweetyproject.arg.dung.reasoner that return types with arguments of type Extension

Modifier and Type	Method	Description
java.util.Collection<Extension>	SimpleNaiveReasoner.getMaximalConflictFreeSets(DungTheory bbase, java.util.Collection<Argument> candidates)	computes all maximal conflict-free sets of bbase
abstract java.util.Collection<Extension>	AbstractExtensionReasoner.getModels(DungTheory bbase)
java.util.Collection<Extension>	AbstractSatExtensionReasoner.getModels(DungTheory bbase)
java.util.Collection<Extension>	ProboReasoner.getModels(DungTheory bbase)
java.util.Collection<Extension>	QualifiedReasoner.getModels(DungTheory bbase)
java.util.Collection<Extension>	SccCF2Reasoner.getModels(DungTheory bbase)
java.util.Collection<Extension>	SCF2Reasoner.getModels(DungTheory bbase)
java.util.Collection<Extension>	SCOOCNaiveReasoner.getModels(DungTheory bbase)
java.util.Collection<Extension>	SemiQualifiedReasoner.getModels(DungTheory bbase)
java.util.Collection<Extension>	SimpleAdmissibleReasoner.getModels(DungTheory bbase)
java.util.Collection<Extension>	SimpleCompleteReasoner.getModels(DungTheory bbase)
java.util.Collection<Extension>	SimpleConflictFreeReasoner.getModels(DungTheory bbase)
java.util.Collection<Extension>	SimpleGroundedReasoner.getModels(DungTheory bbase)
java.util.Collection<Extension>	SimpleIdealReasoner.getModels(DungTheory bbase)
java.util.Collection<Extension>	SimpleNaiveReasoner.getModels(DungTheory bbase)
java.util.Collection<Extension>	SimplePreferredReasoner.getModels(DungTheory bbase)
java.util.Collection<Extension>	SimpleSccCompleteReasoner.getModels(DungTheory bbase)
java.util.Collection<Extension>	SimpleSemiStableReasoner.getModels(DungTheory bbase)
java.util.Collection<Extension>	SimpleStableReasoner.getModels(DungTheory bbase)
java.util.Collection<Extension>	SimpleStageReasoner.getModels(DungTheory bbase)
java.util.Collection<Extension>	Stage2Reasoner.getModels(DungTheory bbase)
java.util.Collection<Extension>	WeaklyAdmissibleReasoner.getModels(DungTheory bbase)	computes all weakly admissible sets of bbase.

Methods in org.tweetyproject.arg.dung.reasoner with parameters of type Extension

Modifier and Type	Method	Description
java.util.Collection<Argument>	OrderingSemanticsReasoner.getConflicts(Extension ext, DungTheory theory)	computes the set of conflicts occurring inside ext
java.util.Collection<Argument>	OrderingSemanticsReasoner.getDefendedNotIn(Extension ext, DungTheory theory)	computes the set of arguments outside of ext, which are defended by ext
java.util.Collection<Argument>	OrderingSemanticsReasoner.getEmpty(Extension ext, DungTheory theory)	dummy method used if only one ordering semantics is specified
DungTheory	WeaklyAdmissibleReasoner.getReduct(DungTheory bbase, Extension ext)	computes the reduct of bbase wrt.
java.util.Collection<Argument>	OrderingSemanticsReasoner.getUnattacked(Extension ext, DungTheory theory)	computes the set of arguments outside of ext, which are not attacked by ext
java.util.Collection<Argument>	OrderingSemanticsReasoner.getUndefended(Extension ext, DungTheory theory)	computes the set of arguments in ext, which are not defended by ext against outside attackers

Uses of Extension in org.tweetyproject.arg.dung.semantics

Methods in org.tweetyproject.arg.dung.semantics that return Extension

Modifier and Type	Method	Description
abstract Extension	AbstractArgumentationInterpretation.getArgumentsOfStatus(ArgumentStatus status)	Returns all arguments that have the given status in this interpretation.
Extension	Extension.getArgumentsOfStatus(ArgumentStatus status)
Extension	Labeling.getArgumentsOfStatus(ArgumentStatus status)

Methods in org.tweetyproject.arg.dung.semantics with parameters of type Extension

Modifier and Type	Method	Description
int	Extension.compareTo(Extension arg0)

Constructors in org.tweetyproject.arg.dung.semantics with parameters of type Extension

Constructor	Description
Labeling(DungTheory theory, Extension ext)	Creates a new labeling from the given extension wrt.

Uses of Extension in org.tweetyproject.arg.dung.syntax

Methods in org.tweetyproject.arg.dung.syntax that return Extension

Modifier and Type	Method	Description
Extension	DungTheory.faf(Extension extension)	The characteristic function of an abstract argumentation framework: F_AF(S) = {A|A is acceptable wrt.

Methods in org.tweetyproject.arg.dung.syntax with parameters of type Extension

Modifier and Type	Method	Description
Extension	DungTheory.faf(Extension extension)	The characteristic function of an abstract argumentation framework: F_AF(S) = {A|A is acceptable wrt.
boolean	DungTheory.isAttacked(Extension ext1, Extension ext2)	returns true if some argument of ext2 attacks some argument in ext1
boolean	DungTheory.isAttacked(Argument argument, Extension ext)	returns true if some argument of ext attacks argument.
boolean	DungTheory.isAttackingAllOtherArguments(Extension ext)	returns true if arguments attack all other arguments in the theory
boolean	DungTheory.isStable(Extension e)	Checks whether the given extension is stable wrt.

Uses of Extension in org.tweetyproject.arg.prob.lotteries

Methods in org.tweetyproject.arg.prob.lotteries with parameters of type Extension

Modifier and Type	Method	Description
Probability	SubgraphProbabilityFunction.getAcceptanceProbability(Extension ext, Semantics semantics)	Returns the probability of the given set of arguments being acceptable wrt.
SubgraphProbabilityFunction	SubgraphProbabilityFunction.naiveUpdate(Extension e)	Updates this probability function with the given extension, i.e.

Uses of Extension in org.tweetyproject.arg.prob.reasoner

Methods in org.tweetyproject.arg.prob.reasoner with parameters of type Extension

Modifier and Type	Method	Description
abstract java.lang.Double	AbstractPafReasoner.query(ProbabilisticArgumentationFramework paf, Extension ext)	Estimates the probability that the given set of arguments is an extension
java.lang.Double	MonteCarloPafReasoner.query(ProbabilisticArgumentationFramework paf, Extension ext)
java.lang.Double	SimplePafReasoner.query(ProbabilisticArgumentationFramework paf, Extension ext)	Estimates the probability that the given set of arguments is an extension

Uses of Extension in org.tweetyproject.arg.prob.semantics

Methods in org.tweetyproject.arg.prob.semantics that return Extension

Modifier and Type	Method	Description
Extension	ProbabilisticExtension.geLowerCut(DungTheory theory, double delta)	Returns the lower cut of this probabilistic extension wrt.
Extension	ProbabilisticExtension.getAllArguments()	Returns the set of all arguments appearing.
Extension	ProbabilisticExtension.getUpperCut(DungTheory theory, double delta)	Returns the upper cut of this probabilistic extension wrt.

Uses of Extension in org.tweetyproject.arg.rankings.reasoner

Methods in org.tweetyproject.arg.rankings.reasoner that return types with arguments of type Extension

Modifier and Type	Method	Description
java.util.Collection<Extension>	IteratedGradedDefenseReasoner.getAllMNCompleteExtensions(DungTheory theory, int m, int n)	Returns all mn-complete extensions.
java.util.Collection<Extension>	IteratedGradedDefenseReasoner.getAllMNGroundedExtensions(DungTheory theory, int m, int n)	Returns all mn-grounded extensions.
java.util.Collection<Extension>	IteratedGradedDefenseReasoner.getAllMNPreferredExtensions(DungTheory theory, int m, int n)	Returns all mn-preferred extensions.
java.util.Collection<Extension>	IteratedGradedDefenseReasoner.getAllMStableExtensions(DungTheory theory, int m)	Returns all m-stable extensions.

Uses of Extension in org.tweetyproject.arg.rankings.semantics

Methods in org.tweetyproject.arg.rankings.semantics that return Extension

Modifier and Type	Method	Description
Extension	LatticeArgumentRanking.getArgumentsOfStatus(ArgumentStatus status)
Extension	NumericalArgumentRanking.getArgumentsOfStatus(ArgumentStatus status)