Class LotteryGameGenerator
- java.lang.Object
-
- net.sf.tweety.agents.dialogues.lotteries.sim.LotteryGameGenerator
-
- All Implemented Interfaces:
MultiAgentSystemGenerator<AbstractLotteryAgent,LotteryGameSystem>
public class LotteryGameGenerator extends java.lang.Object implements MultiAgentSystemGenerator<AbstractLotteryAgent,LotteryGameSystem>
Generates lottery games.- Author:
- Matthias Thimm
-
-
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.
-
Constructor Summary
Constructors Constructor Description LotteryGameGenerator(DungTheoryGenerator gen, Semantics semantics)
Creates a new game generator.LotteryGameGenerator(DungTheoryGenerator gen, Semantics semantics, boolean ensureArg)
Creates a new game generator.
-
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.
-
-
-
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
-
gen
private DungTheoryGenerator gen
for generating Dung theories.
-
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.
-
-
Method Detail
-
generate
public LotteryGameSystem generate(SimulationParameters params)
Description copied from interface:MultiAgentSystemGenerator
Generates a new multi-agent system.- Specified by:
generate
in interfaceMultiAgentSystemGenerator<AbstractLotteryAgent,LotteryGameSystem>
- Parameters:
params
- this object can be used for sharing parameters across the generating components of a simulation.- Returns:
- a multi-agent system.
-
setSeed
public void setSeed(long seed)
Description copied from interface:MultiAgentSystemGenerator
Set the seed for the generation. Every two runs of generations with the same seed are ensured to be identical.- Specified by:
setSeed
in interfaceMultiAgentSystemGenerator<AbstractLotteryAgent,LotteryGameSystem>
- Parameters:
seed
- some seed.
-
-