Package | Description |
---|---|
net.sf.tweety.agents.dialogues | |
net.sf.tweety.agents.dialogues.oppmodels |
Modifier and Type | Field and Description |
---|---|
private DialogueTrace<DungTheory,java.util.Collection<DungTheory>> |
LotteryArgumentationEnvironment.trace
The current dialogue trace.
|
private DialogueTrace<Argument,Extension> |
ArgumentationEnvironment.trace
The current dialogue trace.
|
Modifier and Type | Method and Description |
---|---|
DialogueTrace<S,T> |
DialogueTrace.addAndCopy(T newMove)
Returns a copy of this trace and adds the given move to this copy.
|
DialogueTrace<DungTheory,java.util.Collection<DungTheory>> |
LotteryArgumentationEnvironment.getDialogueTrace()
Returns the current dialogue trace.
|
DialogueTrace<Argument,Extension> |
ArgumentationEnvironment.getDialogueTrace()
Returns the current dialogue trace.
|
Modifier and Type | Field and Description |
---|---|
private DialogueTrace<PropositionalFormula,java.util.Collection<PropositionalFormula>> |
DeductiveEnvironment.trace
The current dialogue trace.
|
Modifier and Type | Method and Description |
---|---|
DialogueTrace<PropositionalFormula,java.util.Collection<PropositionalFormula>> |
DeductiveEnvironment.getDialogueTrace()
Returns the current dialogue trace.
|
Modifier and Type | Method and Description |
---|---|
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 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 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) |
abstract double |
UtilityFunction.getUtility(DialogueTrace<S,T> t)
Gives the utility of the given dialogue trace.
|
abstract double |
UtilityFunction.getUtility(DialogueTrace<S,T> t,
java.util.Set<S> additionalArguments,
java.util.Set<Attack> additionalAttacks)
Gives the utility of the given dialogue trace that
takes the additional arguments and attacks into account.
|
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.
|
void |
T2BeliefState.update(DialogueTrace<Argument,Extension> trace) |
void |
T3BeliefState.update(DialogueTrace<Argument,Extension> trace) |
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) |