Package net.sf.tweety.agents.dialogues.lotteries.sim

Class LotteryGameGenerator

java.lang.Object

net.sf.tweety.agents.dialogues.lotteries.sim.LotteryGameGenerator

All Implemented Interfaces:

net.sf.tweety.agents.sim.MultiAgentSystemGenerator<AbstractLotteryAgent,LotteryGameSystem>

public class LotteryGameGenerator
extends Object
implements net.sf.tweety.agents.sim.MultiAgentSystemGenerator<AbstractLotteryAgent,LotteryGameSystem>

Generates lottery games.

Author:

Matthias Thimm

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.

Constructor Summary

Constructors

Constructor	Description
LotteryGameGenerator(net.sf.tweety.arg.dung.util.DungTheoryGenerator gen, net.sf.tweety.arg.dung.semantics.Semantics semantics)	Creates a new game generator.
LotteryGameGenerator(net.sf.tweety.arg.dung.util.DungTheoryGenerator gen, net.sf.tweety.arg.dung.semantics.Semantics semantics, boolean ensureArg)	Creates a new game generator.

Method Summary

Modifier and Type	Method	Description
LotteryGameSystem	generate(net.sf.tweety.agents.sim.SimulationParameters params)
void	setSeed(long seed)

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

Constructor Detail

LotteryGameGenerator

public LotteryGameGenerator(net.sf.tweety.arg.dung.util.DungTheoryGenerator gen,
                            net.sf.tweety.arg.dung.semantics.Semantics semantics)

Creates a new game generator.

Parameters:

gen - for generating Dung theories.

semantics - the semantics used.

LotteryGameGenerator

public LotteryGameGenerator(net.sf.tweety.arg.dung.util.DungTheoryGenerator gen,
                            net.sf.tweety.arg.dung.semantics.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(net.sf.tweety.agents.sim.SimulationParameters params)

Specified by:

generate in interface net.sf.tweety.agents.sim.MultiAgentSystemGenerator<AbstractLotteryAgent,LotteryGameSystem>

setSeed

public void setSeed(long seed)

Specified by:

setSeed in interface net.sf.tweety.agents.sim.MultiAgentSystemGenerator<AbstractLotteryAgent,LotteryGameSystem>