Uses of Class
net.sf.tweety.arg.dung.semantics.Extension
-
-
-
Uses of Extension in net.sf.tweety.agents.dialogues
Subclasses of Extension in net.sf.tweety.agents.dialogues Modifier and Type Class Description class
ExecutableExtension
This class packs an extension into an executable object.Fields in net.sf.tweety.agents.dialogues with type parameters of type Extension Modifier and Type Field Description private DialogueTrace<Argument,Extension>
ArgumentationEnvironment. trace
The current dialogue trace.Methods in net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.agents.dialogues.oppmodels
Fields in net.sf.tweety.agents.dialogues.oppmodels declared as Extension Modifier and Type Field Description private Extension
BeliefState. knownArguments
The set of arguments known by the agent.Fields in net.sf.tweety.agents.dialogues.oppmodels with type parameters of type Extension Modifier and Type Field Description private UtilityFunction<Argument,Extension>
BeliefState. utilityFunction
The utility function of the agent.Methods in net.sf.tweety.agents.dialogues.oppmodels that return Extension Modifier and Type Method Description protected Extension
BeliefState. getKnownArguments()
Returns the set of known arguments.Methods in net.sf.tweety.agents.dialogues.oppmodels that return types with arguments of type Extension Modifier and Type Method Description protected UtilityFunction<Argument,Extension>
BeliefState. getUtilityFunction()
Returns the utility function of this belief state.Methods in net.sf.tweety.agents.dialogues.oppmodels with parameters of type Extension Modifier and Type Method Description private double
GroundedGameUtilityFunction. getUtility(Extension groundedExtension, DialogueTrace<Argument,Extension> trace)
Determines the utility of the given trace with the given grounded extension.Method parameters in net.sf.tweety.agents.dialogues.oppmodels with type arguments of type Extension Modifier and Type Method Description protected abstract Pair<java.lang.Double,java.util.Set<ExecutableExtension>>
BeliefState. doMove(ArgumentationEnvironment env, DialogueTrace<Argument,Extension> trace)
Gives the set of all best next moves with their expected utility according to the belief state and the given trace.Pair<java.lang.Double,java.util.Set<ExecutableExtension>>
T1BeliefState. doMove(ArgumentationEnvironment env, DialogueTrace<Argument,Extension> trace)
protected Pair<java.lang.Double,java.util.Set<ExecutableExtension>>
T2BeliefState. doMove(ArgumentationEnvironment env, DialogueTrace<Argument,Extension> trace)
protected Pair<java.lang.Double,java.util.Set<ExecutableExtension>>
T3BeliefState. doMove(ArgumentationEnvironment env, DialogueTrace<Argument,Extension> trace)
protected java.util.Set<ExecutableExtension>
BeliefState. getLegalMoves(ArgumentationEnvironment env, DialogueTrace<Argument,Extension> trace)
Returns the set of possible moves in the given situation and the given trace.protected double
ArguingAgent. getUtility(DialogueTrace<Argument,Extension> trace)
Assess the given dialogue trace with the belief states utility function.double
GroundedGameUtilityFunction. getUtility(DialogueTrace<Argument,Extension> trace)
double
GroundedGameUtilityFunction. getUtility(DialogueTrace<Argument,Extension> trace, java.util.Set<Argument> additionalArguments, java.util.Set<Attack> additionalAttacks)
private double
GroundedGameUtilityFunction. getUtility(Extension groundedExtension, DialogueTrace<Argument,Extension> trace)
Determines the utility of the given trace with the given grounded extension.private boolean
BeliefState. isLegal(ArgumentationEnvironment env, DialogueTrace<Argument,Extension> trace, java.util.Set<Argument> move)
Given the theory from the environment and the dialogue trace, returns true if move is a valid move.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 net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.agents.dialogues.oppmodels.sim
Methods in net.sf.tweety.agents.dialogues.oppmodels.sim with parameters of type Extension Modifier and Type Method Description private T1BeliefState
GroundedGameT1AgentGenerator. generateBeliefState(GroundedGameSystem mas, SimulationParameters params, int depth, Extension arguments, GroundedGameSystem.AgentFaction faction)
Generates the (sub-)belief state of a T1-belief state.private T2BeliefState
GroundedGameT2AgentGenerator. generateBeliefState(GroundedGameSystem mas, SimulationParameters params, int depth, Extension arguments, GroundedGameSystem.AgentFaction faction)
Generates the (sub-)belief state of a T2-belief state.private T3BeliefState
GroundedGameT3AgentGenerator. generateBeliefState(GroundedGameSystem mas, SimulationParameters params, int depth, Extension arguments, GroundedGameSystem.AgentFaction faction)
Generates the (sub-)belief state of a T3-belief state. -
Uses of Extension in net.sf.tweety.arg.bipolar.reasoner
Methods in net.sf.tweety.arg.bipolar.reasoner that return Extension Modifier and Type Method Description Extension
ClosureReasoner. getModel(DungTheory bbase)
Extension
SafetyReasoner. getModel(DungTheory bbase)
Methods in net.sf.tweety.arg.bipolar.reasoner that return types with arguments of type Extension Modifier and Type Method Description java.util.Collection<Extension>
ClosureReasoner. getModels(BipolarArgFramework bbase)
java.util.Collection<Extension>
SafetyReasoner. getModels(BipolarArgFramework bbase)
-
Uses of Extension in net.sf.tweety.arg.bipolar.reasoner.evidential
Methods in net.sf.tweety.arg.bipolar.reasoner.evidential that return Extension Modifier and Type Method Description Extension
AdmissibleReasoner. getModel(EvidentialArgSystem bbase)
Extension
EvidentialCompleteReasoner. getModel(EvidentialArgSystem bbase)
Extension
GroundedReasoner. getModel(EvidentialArgSystem bbase)
Extension
PreferredReasoner. getModel(EvidentialArgSystem bbase)
Extension
SelfSupportingReasoner. getModel(EvidentialArgSystem bbase)
Methods in net.sf.tweety.arg.bipolar.reasoner.evidential that return types with arguments of type Extension Modifier and Type Method Description java.util.Collection<Extension>
AdmissibleReasoner. getModels(EvidentialArgSystem bbase)
java.util.Collection<Extension>
EvidentialCompleteReasoner. getModels(EvidentialArgSystem bbase)
java.util.Collection<Extension>
GroundedReasoner. getModels(EvidentialArgSystem bbase)
java.util.Collection<Extension>
PreferredReasoner. getModels(EvidentialArgSystem bbase)
java.util.Collection<Extension>
SelfSupportingReasoner. getModels(EvidentialArgSystem bbase)
java.util.Collection<Extension>
StableReasoner. getModels(EvidentialArgSystem bbase)
-
Uses of Extension in net.sf.tweety.arg.bipolar.syntax
Methods in net.sf.tweety.arg.bipolar.syntax that return Extension Modifier and Type Method Description Extension
EvidentialArgSystem. fes(Extension extension)
The characteristic function of an abstract argumentation framework: F_ES(S) = {A|A is acceptable wrt.Methods in net.sf.tweety.arg.bipolar.syntax with parameters of type Extension Modifier and Type Method Description Extension
EvidentialArgSystem. fes(Extension extension)
The characteristic function of an abstract argumentation framework: F_ES(S) = {A|A is acceptable wrt.boolean
BipolarArgFramework. isClosed(Extension ext)
Determines if ext is closed under the support relation of this framework i.e., if all arguments supported by ext are an element of extboolean
BipolarArgFramework. isSupported(Extension ext1, Extension ext2)
returns true if some argument ofext2
supports some argument inext1
boolean
BipolarArgFramework. isSupported(Argument argument, Extension ext)
returns true if some argument ofext
supports argument. -
Uses of Extension in net.sf.tweety.arg.dung.divisions
Methods in net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.arg.dung.ldo.semantics
Fields in net.sf.tweety.arg.dung.ldo.semantics declared as Extension Modifier and Type Field Description private Extension
LdoInterpretation. ext
the extensionConstructors in net.sf.tweety.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 net.sf.tweety.arg.dung.parser
Methods in net.sf.tweety.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 net.sf.tweety.arg.dung.reasoner
Methods in net.sf.tweety.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
SimpleAdmissibleReasoner. getModel(DungTheory bbase)
Extension
SimpleCF2Reasoner. getModel(DungTheory bbase)
Extension
SimpleCompleteReasoner. getModel(DungTheory bbase)
Extension
SimpleConflictFreeReasoner. getModel(DungTheory bbase)
Extension
SimpleGroundedReasoner. getModel(DungTheory bbase)
Extension
SimpleIdealReasoner. 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)
Methods in net.sf.tweety.arg.dung.reasoner that return types with arguments of type Extension Modifier and Type Method Description private java.util.Set<Extension>
SimpleSccCompleteReasoner. computeExtensionsViaSccs(DungTheory theory, java.util.List<java.util.Collection<Argument>> sccs, int idx, java.util.Collection<Argument> in, java.util.Collection<Argument> out, java.util.Collection<Argument> undec)
Computes extensions recursively following the SCC structure.private java.util.Set<Extension>
SimpleCompleteReasoner. getCompleteExtensions(DungTheory dungTheory, Extension ext, java.util.Collection<Argument> remaining)
Auxiliary method to compute all complete extensionsabstract 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>
SimpleAdmissibleReasoner. getModels(DungTheory bbase)
java.util.Collection<Extension>
SimpleCF2Reasoner. 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>
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)
private java.util.Set<Extension>
SimpleCF2Reasoner. singleAFExtensions(DungTheory theory)
Computes the extensions for the single af case.Methods in net.sf.tweety.arg.dung.reasoner with parameters of type Extension Modifier and Type Method Description private java.util.Set<Extension>
SimpleCompleteReasoner. getCompleteExtensions(DungTheory dungTheory, Extension ext, java.util.Collection<Argument> remaining)
Auxiliary method to compute all complete extensions -
Uses of Extension in net.sf.tweety.arg.dung.semantics
Methods in net.sf.tweety.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 net.sf.tweety.arg.dung.semantics with parameters of type Extension Modifier and Type Method Description int
Extension. compareTo(Extension arg0)
Constructors in net.sf.tweety.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 net.sf.tweety.arg.dung.syntax
Methods in net.sf.tweety.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 net.sf.tweety.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 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. isStable(Extension e)
Checks whether the given extension is stable wrt. -
Uses of Extension in net.sf.tweety.arg.prob.lotteries
Methods in net.sf.tweety.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 net.sf.tweety.arg.prob.reasoner
Methods in net.sf.tweety.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 extensionjava.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 net.sf.tweety.arg.prob.semantics
Methods in net.sf.tweety.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 net.sf.tweety.arg.rankings.reasoner
Methods in net.sf.tweety.arg.rankings.reasoner that return types with arguments of type Extension Modifier and Type Method Description java.util.Collection<Extension>
GrossiModgilRankingReasoner. getAllMNCompleteExtensions(DungTheory theory, int m, int n)
Returns all mn-complete extensions.java.util.Collection<Extension>
GrossiModgilRankingReasoner. getAllMNGroundedExtensions(DungTheory theory, int m, int n)
Returns all mn-grounded extensions.java.util.Collection<Extension>
GrossiModgilRankingReasoner. getAllMNPreferredExtensions(DungTheory theory, int m, int n)
Returns all mn-preferred extensions.java.util.Collection<Extension>
GrossiModgilRankingReasoner. getAllMStableExtensions(DungTheory theory, int m)
Returns all m-stable extensions.Method parameters in net.sf.tweety.arg.rankings.reasoner with type arguments of type Extension Modifier and Type Method Description private boolean
GrossiModgilRankingReasoner. isContainedInAll(Argument y, java.util.Collection<Extension> exts)
Checks whether the given argument "y" is contained in all sets of arguments in "args". -
Uses of Extension in net.sf.tweety.arg.rankings.semantics
Methods in net.sf.tweety.arg.rankings.semantics that return Extension Modifier and Type Method Description Extension
LatticeArgumentRanking. getArgumentsOfStatus(ArgumentStatus status)
Extension
NumericalArgumentRanking. getArgumentsOfStatus(ArgumentStatus status)
-