Package org.tweetyproject.agents.dialogues.oppmodels

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

  • Constructor Details

    • DeductiveEnvironment

      public DeductiveEnvironment(PlBeliefSet universalTheory)
      Creates a new grounded environment.
      Parameters:
      universalTheory - the universal propositional theory used for argumentation.

  • Method Details

    • execute

      public 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 Set<Perceivable> execute(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 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<PlFormula,Collection<PlFormula>> 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.