DeductiveEnvironment (Tweety (Dialogue Systems Library) 1.15 API)

java.lang.Object
- net.sf.tweety.agents.dialogues.oppmodels.DeductiveEnvironment

All Implemented Interfaces:

net.sf.tweety.agents.Environment, net.sf.tweety.agents.Perceivable
```
public class DeductiveEnvironment
extends Object
implements net.sf.tweety.agents.Environment, net.sf.tweety.agents.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

Constructor Summary

Constructors
Constructor Description

DeductiveEnvironment(net.sf.tweety.logics.pl.syntax.PlBeliefSet universalTheory)
Creates a new grounded environment.

Method Summary

Modifier and Type	Method	Description
`Set<net.sf.tweety.agents.Perceivable>`	`execute(Collection<? extends net.sf.tweety.agents.Executable> actions)`
`Set<net.sf.tweety.agents.Perceivable>`	`execute(net.sf.tweety.agents.Executable action)`
`DialogueTrace<net.sf.tweety.logics.pl.syntax.PlFormula,Collection<net.sf.tweety.logics.pl.syntax.PlFormula>>`	`getDialogueTrace()`	Returns the current dialogue trace.
`Set<net.sf.tweety.agents.Perceivable>`	`getPercepts(net.sf.tweety.agents.Agent agent)`
`boolean`	`reset()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail
- DeductiveEnvironment
```
public DeductiveEnvironment(net.sf.tweety.logics.pl.syntax.PlBeliefSet universalTheory)
```
  Creates a new grounded environment.
  
  Parameters:
  
  universalTheory - the universal propositional theory used for argumentation.

Method Detail

execute

public Set<net.sf.tweety.agents.Perceivable> execute(net.sf.tweety.agents.Executable action)

Specified by:: execute in interface net.sf.tweety.agents.Environment

execute

public Set<net.sf.tweety.agents.Perceivable> execute(Collection<? extends net.sf.tweety.agents.Executable> actions)

Specified by:: execute in interface net.sf.tweety.agents.Environment

getPercepts

public Set<net.sf.tweety.agents.Perceivable> getPercepts(net.sf.tweety.agents.Agent agent)

Specified by:: getPercepts in interface net.sf.tweety.agents.Environment

getDialogueTrace

public DialogueTrace<net.sf.tweety.logics.pl.syntax.PlFormula,Collection<net.sf.tweety.logics.pl.syntax.PlFormula>> getDialogueTrace()

Returns the current dialogue trace.

Returns:: the current dialogue trace.

reset
```
public boolean reset()
```
Specified by:

reset in interface net.sf.tweety.agents.Environment