Class LotteryGameGenerator

    • Field Summary

      Fields 
      Modifier and Type Field Description
      static int PARAM_ARGUMENT
      Key for the simulation parameter which refers to the argument of the dialogue.
      static int PARAM_DUMMY_THEORY
      Key for the simulation parameter which refers to the dummy agent's theory.
      static int PARAM_LOT_PROB
      Key for the simulation parameter which refers to the probability function for the actual lottery agent.
      static int PARAM_LOT_UTIL
      Key for the simulation parameter which refers to the utility function for the actual lottery agent.
      static int PARAM_SEM
      Key for the simulation parameter which refers to the semantics used.
      static int PARAM_UNIVERSALTHEORY
      Key for the simulation parameter which refers to the universal theory generated.
    • Method Summary

      Modifier and Type Method Description
      LotteryGameSystem generate​(SimulationParameters params)
      Generates a new multi-agent system.
      void setSeed​(long seed)
      Set the seed for the generation.
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Field Detail

      • PARAM_UNIVERSALTHEORY

        public static final int PARAM_UNIVERSALTHEORY
        Key for the simulation parameter which refers to the universal theory generated.
        See Also:
        Constant Field Values
      • PARAM_ARGUMENT

        public static final int PARAM_ARGUMENT
        Key for the simulation parameter which refers to the argument of the dialogue.
        See Also:
        Constant Field Values
      • PARAM_DUMMY_THEORY

        public static final int PARAM_DUMMY_THEORY
        Key for the simulation parameter which refers to the dummy agent's theory.
        See Also:
        Constant Field Values
      • PARAM_LOT_PROB

        public static final int PARAM_LOT_PROB
        Key for the simulation parameter which refers to the probability function for the actual lottery agent.
        See Also:
        Constant Field Values
      • PARAM_LOT_UTIL

        public static final int PARAM_LOT_UTIL
        Key for the simulation parameter which refers to the utility function for the actual lottery agent.
        See Also:
        Constant Field Values
      • PARAM_SEM

        public static final int PARAM_SEM
        Key for the simulation parameter which refers to the semantics used.
        See Also:
        Constant Field Values
    • Constructor Detail

      • LotteryGameGenerator

        public LotteryGameGenerator​(DungTheoryGenerator gen,
                                    Semantics semantics)
        Creates a new game generator.
        Parameters:
        gen - for generating Dung theories.
        semantics - the semantics used.
      • LotteryGameGenerator

        public LotteryGameGenerator​(DungTheoryGenerator gen,
                                    Semantics semantics,
                                    boolean ensureArg)
        Creates a new game generator.
        Parameters:
        gen - for generating Dung theories.
        semantics - the semantics used.
        ensureArg - whether the theories generated should ensure one specific argument to be skeptically inferred.