Class LotteryGameGenerator

    • Field Summary

      Fields 
      Modifier and Type Field Description
      private boolean ensureArg
      whether the theories generated should ensure one specific argument to be skeptically inferred.
      private DungTheoryGenerator gen
      for generating Dung theories.
      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.
      private java.util.Random random
      Random numbers generator.
      private Semantics semantics
      The semantics used.
    • 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

        clone, equals, finalize, 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
      • semantics

        private Semantics semantics
        The semantics used.
      • random

        private java.util.Random random
        Random numbers generator.
      • ensureArg

        private boolean ensureArg
        whether the theories generated should ensure one specific argument to be skeptically inferred.
    • 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.