net.sf.tweety.agents.dialogues.oppmodels

Class DeductiveEnvironment

java.lang.Object

net.sf.tweety.agents.dialogues.oppmodels.DeductiveEnvironment

All Implemented Interfaces:

Environment, Perceivable

public class DeductiveEnvironment
extends java.lang.Object
implements Environment, Perceivable

This class models the environment for agents in a game of deductive argumentation. It consists of the universal propositional theory used for argumentation (but not completely revealed to all agents) and the current trace of disclosed sets of propositional formulas.

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field and Description
private DialogueTrace<PropositionalFormula,java.util.Collection<PropositionalFormula>>	trace The current dialogue trace.

Constructor Summary

Constructors

Constructor and Description
DeductiveEnvironment(PlBeliefSet universalTheory) Creates a new grounded environment.

Method Summary

Modifier and Type	Method and Description
java.util.Set<Perceivable>	execute(java.util.Collection<? extends Executable> actions) Executes the given actions simultaneously and returns the resulting percepts.
java.util.Set<Perceivable>	execute(Executable action) Executes the given action and returns the resulting percepts.
DialogueTrace<PropositionalFormula,java.util.Collection<PropositionalFormula>>	getDialogueTrace() Returns the current dialogue trace.
java.util.Set<Perceivable>	getPercepts(Agent agent) Retrieves the current percepts for the given agent.
boolean	reset() Resets the environment, i.e.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

trace

private DialogueTrace<PropositionalFormula,java.util.Collection<PropositionalFormula>> trace

The current dialogue trace.

Constructor Detail

DeductiveEnvironment

public DeductiveEnvironment(PlBeliefSet universalTheory)

Creates a new grounded environment.

Parameters:

universalTheory - the universal propositional theory used for argumentation.

Method Detail

execute

public java.util.Set<Perceivable> execute(Executable action)

Description copied from interface: Environment

Executes the given action and returns the resulting percepts.

Specified by:

execute in interface Environment

Parameters:

action - an executable

Returns:

a set of percepts.

execute

public java.util.Set<Perceivable> execute(java.util.Collection<? extends Executable> actions)

Description copied from interface: Environment

Executes the given actions simultaneously and returns the resulting percepts.

Specified by:

execute in interface Environment

Parameters:

actions - a collection of executables.

Returns:

a set of percepts.

getPercepts

public java.util.Set<Perceivable> getPercepts(Agent agent)

Description copied from interface: Environment

Retrieves the current percepts for the given agent.

Specified by:

getPercepts in interface Environment

Parameters:

agent - an agent.

Returns:

a set of percepts perceivable for the given agent.

getDialogueTrace

public DialogueTrace<PropositionalFormula,java.util.Collection<PropositionalFormula>> getDialogueTrace()

Returns the current dialogue trace.

Returns:

the current dialogue trace.

reset

public boolean reset()

Description copied from interface: Environment

Resets the environment, i.e. brings it to its initialization state.

Specified by:

reset in interface Environment

Returns:

"true" iff reset was successful.