Package net.sf.tweety.agents.dialogues.oppmodels

Class BeliefState

  • Direct Known Subclasses:
    T1BeliefState, T2BeliefState, T3BeliefState
    public abstract class BeliefState
extends Object
    This abstract class encapsulates the common characteristics of a belief state for arguing agents.
    Author:
    Matthias Thimm, Tjitze Rienstra

    • Constructor Detail

      • BeliefState

        public BeliefState​(net.sf.tweety.arg.dung.semantics.Extension knownArguments,
                   UtilityFunction<net.sf.tweety.arg.dung.syntax.Argument,​net.sf.tweety.arg.dung.semantics.Extension> utilityFunction)
        Creates a new belief-state with the given parameters.
        Parameters:
        knownArguments - the set of arguments known by the agent.
        utilityFunction - the utility function of the agent.

    • Method Detail

      • getLegalMoves

        protected Set<ExecutableExtension> getLegalMoves​(ArgumentationEnvironment env,
                                                 DialogueTrace<net.sf.tweety.arg.dung.syntax.Argument,​net.sf.tweety.arg.dung.semantics.Extension> trace)
        Returns the set of possible moves in the given situation and the given trace.
        Parameters:
        env - the environment (gives access to universal Dung theory)
        trace - the trace to be considered.
        Returns:
        the set of possible moves in the given situation.

      • getKnownArguments

        protected net.sf.tweety.arg.dung.semantics.Extension getKnownArguments()
        Returns the set of known arguments.
        Returns:
        the set of known arguments.

      • getUtilityFunction

        protected UtilityFunction<net.sf.tweety.arg.dung.syntax.Argument,​net.sf.tweety.arg.dung.semantics.Extension> getUtilityFunction()
        Returns the utility function of this belief state.
        Returns:
        the utility function of this belief state.

      • update

        public abstract void update​(DialogueTrace<net.sf.tweety.arg.dung.syntax.Argument,​net.sf.tweety.arg.dung.semantics.Extension> trace)
        Updates the current belief state accordingly to the given dialogue trace.
        Parameters:
        trace - a dialogue trace

      • doMove

        protected abstract net.sf.tweety.commons.util.Pair<Double,​Set<ExecutableExtension>> doMove​(ArgumentationEnvironment env,
                                                                                                 DialogueTrace<net.sf.tweety.arg.dung.syntax.Argument,​net.sf.tweety.arg.dung.semantics.Extension> trace)
        Gives the set of all best next moves with their expected utility according to the belief state and the given trace.
        Parameters:
        env - the environment (gives access to the current trace)
        trace - the dialogue trace.
        Returns:
        the set of all best next moves with their expected utility

      • display

        public abstract String display()
        Pretty print of this belief state.
        Returns:
        a string representation of this state.

      • move

        public ExecutableExtension move​(ArgumentationEnvironment env)
        Gives the next best move according to the belief state and the given trace.
        Parameters:
        env - the environment (gives access to the current trace)
        Returns:
        a set of arguments.

      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class Object