public abstract class BeliefState
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private Extension |
knownArguments
The set of arguments known by the agent.
|
private UtilityFunction<Argument,Extension> |
utilityFunction
The utility function of the agent.
|
Constructor and Description |
---|
BeliefState(Extension knownArguments,
UtilityFunction<Argument,Extension> utilityFunction)
Creates a new belief-state with the given parameters.
|
Modifier and Type | Method and Description |
---|---|
abstract java.lang.Object |
clone() |
abstract java.lang.String |
display()
Pretty print of this belief state.
|
protected abstract Pair<java.lang.Double,java.util.Set<ExecutableExtension>> |
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.
|
boolean |
equals(java.lang.Object obj) |
protected Extension |
getKnownArguments()
Returns the set of known arguments.
|
protected java.util.Set<ExecutableExtension> |
getLegalMoves(ArgumentationEnvironment env,
DialogueTrace<Argument,Extension> trace)
Returns the set of possible moves in the given situation and the given trace.
|
protected UtilityFunction<Argument,Extension> |
getUtilityFunction()
Returns the utility function of this belief state.
|
int |
hashCode() |
private boolean |
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.
|
ExecutableExtension |
move(ArgumentationEnvironment env)
Gives the next best move according to the
belief state and the given trace.
|
abstract void |
update(DialogueTrace<Argument,Extension> trace)
Updates the current belief state accordingly to
the given dialogue trace.
|
private Extension knownArguments
private UtilityFunction<Argument,Extension> utilityFunction
public BeliefState(Extension knownArguments, UtilityFunction<Argument,Extension> utilityFunction)
knownArguments
- the set of arguments known by the agent.utilityFunction
- the utility function of the agent.private boolean isLegal(ArgumentationEnvironment env, DialogueTrace<Argument,Extension> trace, java.util.Set<Argument> move)
env
- the environment (gives access to universal Dung theory)trace
- the trace to be considered.move
- a possible moveprotected java.util.Set<ExecutableExtension> getLegalMoves(ArgumentationEnvironment env, DialogueTrace<Argument,Extension> trace)
env
- the environment (gives access to universal Dung theory)trace
- the trace to be considered.protected Extension getKnownArguments()
protected UtilityFunction<Argument,Extension> getUtilityFunction()
public abstract void update(DialogueTrace<Argument,Extension> trace)
trace
- a dialogue traceprotected abstract Pair<java.lang.Double,java.util.Set<ExecutableExtension>> doMove(ArgumentationEnvironment env, DialogueTrace<Argument,Extension> trace)
env
- the environment (gives access to the current trace)trace
- the dialogue trace.public abstract java.lang.String display()
public ExecutableExtension move(ArgumentationEnvironment env)
env
- the environment (gives access to the current trace)public abstract java.lang.Object clone()
clone
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object