Class DeductiveEnvironment

java.lang.Object
org.tweetyproject.agents.dialogues.oppmodels.DeductiveEnvironment
All Implemented Interfaces:
Environment, Perceivable

public class DeductiveEnvironment extends 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