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 booleanensureArgwhether the theories generated should ensure one specific argument to be skeptically inferred.private DungTheoryGeneratorgenfor generating Dung theories.static intPARAM_ARGUMENTKey for the simulation parameter which refers to the argument of the dialogue.static intPARAM_DUMMY_THEORYKey for the simulation parameter which refers to the dummy agent's theory.static intPARAM_LOT_PROBKey for the simulation parameter which refers to the probability function for the actual lottery agent.static intPARAM_LOT_UTILKey for the simulation parameter which refers to the utility function for the actual lottery agent.static intPARAM_SEMKey for the simulation parameter which refers to the semantics used.static intPARAM_UNIVERSALTHEORYKey for the simulation parameter which refers to the universal theory generated.private java.util.RandomrandomRandom numbers generator.private SemanticssemanticsThe 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 LotteryGameSystemgenerate(SimulationParameters params)Generates a new multi-agent system.voidsetSeed(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:MultiAgentSystemGeneratorGenerates a new multi-agent system.- Specified by:
generatein 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:MultiAgentSystemGeneratorSet the seed for the generation. Every two runs of generations with the same seed are ensured to be identical.- Specified by:
setSeedin interfaceMultiAgentSystemGenerator<AbstractLotteryAgent,LotteryGameSystem>- Parameters:
seed- some seed.
-
-