Uses of Class
org.tweetyproject.arg.dung.semantics.Extension
Package
Description
-
Uses of Extension in org.tweetyproject.agents.dialogues
Modifier and TypeClassDescriptionclass
This class packs an extension into an executable object.Modifier and TypeMethodDescriptionArgumentationEnvironment.getDialogueTrace()
Returns the current dialogue trace.Modifier and TypeMethodDescriptionArgumentationEnvironment.getPerceivedDungTheory(Extension arguments)
Returns the view of the universal Dung theory restricted to the given set of arguments.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
Modifier and TypeMethodDescriptionT1BeliefState.doMove(ArgumentationEnvironment env, DialogueTrace<Argument,Extension> trace)
double
GroundedGameUtilityFunction.getUtility(DialogueTrace<Argument,Extension> trace)
double
GroundedGameUtilityFunction.getUtility(DialogueTrace<Argument,Extension> trace, Set<Argument> additionalArguments, 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)
ModifierConstructorDescriptionBeliefState(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, Set<Argument> virtualArguments, Set<Attack> virtualAttacks, RecognitionFunction rec, ProbabilityFunction<T3BeliefState> prob)
Creates a new T3-belief-state with the given parameters.ModifierConstructorDescriptionBeliefState(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, Set<Argument> virtualArguments, 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
-
Uses of Extension in org.tweetyproject.arg.dung.divisions
Modifier and TypeMethodDescriptionstatic Collection<Division>
Division.getDivisions(Extension ext, DungTheory aaf)
Returns all divisions of aaf that arise from the given extension.boolean
Checks whether this division is valid wrt.Modifier and TypeMethodDescriptionstatic Collection<Division>
Division.getDivisions(Collection<Extension> exts, DungTheory aaf)
Returns all divisions of all given extensions and the given aaf.boolean
Division.isValid(Collection<Extension> exts)
Checks whether this division is valid wrt. -
Uses of Extension in org.tweetyproject.arg.dung.ldo.semantics
ModifierConstructorDescriptionLdoInterpretation(DungTheory theory, Extension ext, Semantics semantics)
Creates a new interpretation -
Uses of Extension in org.tweetyproject.arg.dung.learning
Modifier and TypeMethodDescriptionExampleFinder.getExamples(int minArgs, int maxArgs)
compute a tree like structure of examples.ExampleFinder.getExamples(int minArgs, int maxArgs)
compute a tree like structure of examples.Map<Collection<Extension>,Map<Collection<Extension>,Map<Collection<Extension>,Collection<DungTheory>>>>
ExtendedExampleFinder.getExamples(int minArgs, int maxArgs)
compute a tree like structure of examples.Map<Collection<Extension>,Map<Collection<Extension>,Map<Collection<Extension>,Collection<DungTheory>>>>
ExtendedExampleFinder.getExamples(int minArgs, int maxArgs)
compute a tree like structure of examples.Map<Collection<Extension>,Map<Collection<Extension>,Map<Collection<Extension>,Collection<DungTheory>>>>
ExtendedExampleFinder.getExamples(int minArgs, int maxArgs)
compute a tree like structure of examples.Modifier and TypeMethodDescriptionNiskanenTheorySynthesizer.learnExamples(Map<Extension,Integer> positiveExamples, Map<Extension,Integer> negativeExamples)
learns an argumentation framework fulfilling as many positive examples as possible while trying to not fulfill any negative examplesvoid
ExampleFinder.showExamples(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 semanticsvoid
ExtendedExampleFinder.showExamples(Collection<Extension> extensions1, 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
Modifier and TypeMethodDescriptionstatic Extension
AbstractDungParser.parseArgumentList(String s)
Returns a collection view of the given set of arguments -
Uses of Extension in org.tweetyproject.arg.dung.reasoner
Modifier and TypeMethodDescriptionAbstractSatExtensionReasoner.getModel(ArgumentationFramework bbase)
ProboReasoner.getModel(ArgumentationFramework bbase)
QualifiedReasoner.getModel(ArgumentationFramework bbase)
SccCF2Reasoner.getModel(ArgumentationFramework bbase)
SCF2Reasoner.getModel(ArgumentationFramework bbase)
SCOOCNaiveReasoner.getModel(ArgumentationFramework bbase)
SemiQualifiedReasoner.getModel(ArgumentationFramework bbase)
SimpleAdmissibleReasoner.getModel(ArgumentationFramework bbase)
SimpleCompleteReasoner.getModel(ArgumentationFramework bbase)
SimpleConflictFreeReasoner.getModel(ArgumentationFramework bbase)
SimpleEagerReasoner.getModel(ArgumentationFramework bbase)
SimpleGroundedReasoner.getModel(ArgumentationFramework bbase)
SimpleIdealReasoner.getModel(ArgumentationFramework bbase)
SimpleNaiveReasoner.getModel(ArgumentationFramework bbase)
SimplePreferredReasoner.getModel(ArgumentationFramework bbase)
SimpleResolutionBasedReasoner.getModel(ArgumentationFramework bbase)
SimpleSccCompleteReasoner.getModel(ArgumentationFramework bbase)
SimpleSccRecursiveReasoner.getModel(ArgumentationFramework bbase)
SimpleSemiStableReasoner.getModel(ArgumentationFramework bbase)
SimpleStableReasoner.getModel(ArgumentationFramework bbase)
SimpleStageReasoner.getModel(ArgumentationFramework bbase)
SolidAdmissibleReasoner.getModel(ArgumentationFramework bbase)
Stage2Reasoner.getModel(ArgumentationFramework bbase)
StronglyAdmissibleReasoner.getModel(ArgumentationFramework bbase)
WeaklyAdmissibleReasoner.getModel(ArgumentationFramework bbase)
returns one weakly admissible set of bbaseWeaklyCompleteReasoner.getModel(ArgumentationFramework bbase)
WeaklyGroundedReasoner.getModel(ArgumentationFramework bbase)
WeaklyPreferredReasoner.getModel(ArgumentationFramework bbase)
Modifier and TypeMethodDescriptionSimpleNaiveReasoner.getMaximalConflictFreeSets(DungTheory bbase, Collection<Argument> candidates)
computes all maximal conflict-free sets of bbaseAbstractSatExtensionReasoner.getModels(ArgumentationFramework bbase)
ProboReasoner.getModels(ArgumentationFramework bbase)
QualifiedReasoner.getModels(ArgumentationFramework bbase)
SccCF2Reasoner.getModels(ArgumentationFramework bbase)
SCF2Reasoner.getModels(ArgumentationFramework bbase)
SCOOCNaiveReasoner.getModels(ArgumentationFramework bbase)
SemiQualifiedReasoner.getModels(ArgumentationFramework bbase)
SimpleAdmissibleReasoner.getModels(ArgumentationFramework bbase)
SimpleCompleteReasoner.getModels(ArgumentationFramework bbase)
SimpleConflictFreeReasoner.getModels(ArgumentationFramework bbase)
SimpleEagerReasoner.getModels(ArgumentationFramework bbase)
SimpleGroundedReasoner.getModels(ArgumentationFramework bbase)
SimpleIdealReasoner.getModels(ArgumentationFramework bbase)
SimpleNaiveReasoner.getModels(ArgumentationFramework bbase)
SimplePreferredReasoner.getModels(ArgumentationFramework bbase)
SimpleResolutionBasedReasoner.getModels(ArgumentationFramework bbase)
compute the extension with the base semantics of this.semanticSimpleSccCompleteReasoner.getModels(ArgumentationFramework bbase)
SimpleSccRecursiveReasoner.getModels(ArgumentationFramework bbase)
SimpleSemiStableReasoner.getModels(ArgumentationFramework bbase)
SimpleStableReasoner.getModels(ArgumentationFramework bbase)
SimpleStageReasoner.getModels(ArgumentationFramework bbase)
SolidAdmissibleReasoner.getModels(ArgumentationFramework bbase)
Stage2Reasoner.getModels(ArgumentationFramework bbase)
StronglyAdmissibleReasoner.getModels(ArgumentationFramework bbase)
WeaklyAdmissibleReasoner.getModels(ArgumentationFramework bbase)
computes all weakly admissible sets of bbase.WeaklyCompleteReasoner.getModels(ArgumentationFramework bbase)
WeaklyGroundedReasoner.getModels(ArgumentationFramework bbase)
WeaklyPreferredReasoner.getModels(ArgumentationFramework bbase)
Modifier and TypeMethodDescriptionOrderingSemanticsReasoner.getConflicts(Extension ext, DungTheory theory)
computes the set of conflicts occurring inside extOrderingSemanticsReasoner.getDefendedNotIn(Extension ext, DungTheory theory)
computes the set of arguments outside of ext, which are defended by extOrderingSemanticsReasoner.getEmpty(Extension ext, DungTheory theory)
dummy method used if only one ordering semantics is specifiedWeaklyAdmissibleReasoner.getReduct(DungTheory bbase, Extension ext)
computes the reduct of bbase wrt.SolidAdmissibleReasoner.getSolidlyDefended(Extension ext, DungTheory theory)
OrderingSemanticsReasoner.getUnattacked(Extension ext, DungTheory theory)
computes the set of arguments outside of ext, which are not attacked by extOrderingSemanticsReasoner.getUndefended(Extension ext, DungTheory theory)
computes the set of arguments in ext, which are not defended by ext against outside attackersboolean
SolidAdmissibleReasoner.isSolidlyDefendedBy(Argument arg, Extension ext, DungTheory theory)
-
Uses of Extension in org.tweetyproject.arg.dung.semantics
Modifier and TypeMethodDescriptionabstract Extension
AbstractArgumentationInterpretation.getArgumentsOfStatus(ArgumentStatus status)
Returns all arguments that have the given status in this interpretation.Extension.getArgumentsOfStatus(ArgumentStatus status)
Labeling.getArgumentsOfStatus(ArgumentStatus status)
ModifierConstructorDescriptionLabeling(ArgumentationFramework theory, Extension ext)
Creates a new labeling from the given extension wrt. -
Uses of Extension in org.tweetyproject.arg.dung.syntax
Modifier and TypeMethodDescriptionThe characteristic function of an abstract argumentation framework: F_AF(S) = {A|A is acceptable wrt.Modifier and TypeMethodDescriptionThe characteristic function of an abstract argumentation framework: F_AF(S) = {A|A is acceptable wrt.boolean
DungTheory.isAcceptable(Argument argument, Extension ext)
returns true if every attacker onargument
is attacked by some accepted argument wrt.boolean
DungTheory.isAdmissable(Extension ext)
boolean
ArgumentationFramework.isAttacked(Argument a, Extension ext)
boolean
DungTheory.isAttacked(Extension ext1, Extension ext2)
returns true if some argument ofext2
attacks some argument inext1
boolean
DungTheory.isAttacked(Argument argument, Extension ext)
returns true if some argument ofext
attacks argument.boolean
DungTheory.isAttackingAllOtherArguments(Extension ext)
returns true ifarguments
attack all other arguments in the theoryboolean
DungTheory.isConflictFree(Extension ext)
boolean
Checks whether the given extension is stable wrt. -
Uses of Extension in org.tweetyproject.arg.prob.lotteries
Modifier and TypeMethodDescriptionSubgraphProbabilityFunction.getAcceptanceProbability(Extension ext, Semantics semantics)
Returns the probability of the given set of arguments being acceptable wrt.SubgraphProbabilityFunction.naiveUpdate(Extension e)
Updates this probability function with the given extension, i.e. -
Uses of Extension in org.tweetyproject.arg.prob.reasoner
Modifier and TypeMethodDescriptionabstract Double
AbstractPafReasoner.query(ProbabilisticArgumentationFramework paf, Extension ext)
Estimates the probability that the given set of arguments is an extensionMonteCarloPafReasoner.query(ProbabilisticArgumentationFramework paf, Extension ext)
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
Modifier and TypeMethodDescriptionProbabilisticExtension.geLowerCut(DungTheory theory, double delta)
Returns the lower cut of this probabilistic extension wrt.ProbabilisticExtension.getAllArguments()
Returns the set of all arguments appearing.ProbabilisticExtension.getUpperCut(DungTheory theory, double delta)
Returns the upper cut of this probabilistic extension wrt. -
Uses of Extension in org.tweetyproject.arg.rankings.reasoner
Modifier and TypeMethodDescriptionIteratedGradedDefenseReasoner.getAllMNCompleteExtensions(DungTheory theory, int m, int n)
Returns all mn-complete extensions.IteratedGradedDefenseReasoner.getAllMNGroundedExtensions(DungTheory theory, int m, int n)
Returns all mn-grounded extensions.IteratedGradedDefenseReasoner.getAllMNPreferredExtensions(DungTheory theory, int m, int n)
Returns all mn-preferred extensions.IteratedGradedDefenseReasoner.getAllMStableExtensions(DungTheory theory, int m)
Returns all m-stable extensions. -
Uses of Extension in org.tweetyproject.arg.rankings.semantics
Modifier and TypeMethodDescriptionLatticeArgumentRanking.getArgumentsOfStatus(ArgumentStatus status)
NumericalArgumentRanking.getArgumentsOfStatus(ArgumentStatus status)
-
Uses of Extension in org.tweetyproject.arg.setaf.reasoners
Modifier and TypeMethodDescriptionSimpleAdmissibleSetAfReasoner.getModel(ArgumentationFramework bbase)
SimpleCompleteSetAfReasoner.getModel(ArgumentationFramework bbase)
SimpleConflictFreeSetAfReasoner.getModel(ArgumentationFramework bbase)
SimpleEagerSetAfReasoner.getModel(ArgumentationFramework bbase)
SimpleGroundedSetAfReasoner.getModel(ArgumentationFramework bbase)
SimpleIdealSetAfReasoner.getModel(ArgumentationFramework bbase)
SimpleNaiveSetAfReasoner.getModel(ArgumentationFramework bbase)
SimplePreferredSetAfReasoner.getModel(ArgumentationFramework bbase)
SimpleSemiStableSetAfReasoner.getModel(ArgumentationFramework bbase)
SimpleStableSetAfReasoner.getModel(ArgumentationFramework bbase)
SimpleStageSetAfReasoner.getModel(ArgumentationFramework bbase)
Modifier and TypeMethodDescriptionSimpleNaiveSetAfReasoner.getMaximalConflictFreeSets(SetAf bbase, Collection<Argument> candidates)
computes all maximal conflict-free sets of bbaseSimpleAdmissibleSetAfReasoner.getModels(ArgumentationFramework bbase)
SimpleCompleteSetAfReasoner.getModels(ArgumentationFramework bbase)
SimpleConflictFreeSetAfReasoner.getModels(ArgumentationFramework bbase)
SimpleEagerSetAfReasoner.getModels(ArgumentationFramework bbase)
SimpleGroundedSetAfReasoner.getModels(ArgumentationFramework bbase)
SimpleIdealSetAfReasoner.getModels(ArgumentationFramework bbase)
SimpleNaiveSetAfReasoner.getModels(ArgumentationFramework bbase)
SimplePreferredSetAfReasoner.getModels(ArgumentationFramework bbase)
SimpleSemiStableSetAfReasoner.getModels(ArgumentationFramework bbase)
SimpleStableSetAfReasoner.getModels(ArgumentationFramework bbase)
SimpleStageSetAfReasoner.getModels(ArgumentationFramework bbase)
-
Uses of Extension in org.tweetyproject.arg.setaf.syntax
Modifier and TypeMethodDescriptionThe characteristic function of an abstract argumentation framework: F_AF(S) = {A|A is acceptable wrt.Modifier and TypeMethodDescriptionThe characteristic function of an abstract argumentation framework: F_AF(S) = {A|A is acceptable wrt.boolean
SetAf.isAcceptable(Argument argument, Extension ext)
returns true if every attacker onargument
is attacked by some accepted argument wrt.boolean
SetAf.isAdmissable(Extension ext)
returns true if every accepted argument of this is defended by some accepted argument wrt.boolean
SetAf.isAttacked(Extension ext1, Extension ext2)
returns true if some argument ofext2
attacks some argument inext1
boolean
SetAf.isAttacked(Argument a, Extension setAfExtension)
returns true if some argument ofext
attacks argument.boolean
SetAf.isAttackingAllOtherArguments(Extension ext)
returns true ifarguments
attack all other arguments in the theoryboolean
SetAf.isConflictFree(Extension ext)
returns true if no accepted argument attacks another accepted one in this interpretation wrt.boolean
Checks whether the given extension is stable wrt.