Class 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
    • Method Summary

      Modifier and Type Method 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<PlFormula,​java.util.Collection<PlFormula>> 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

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • 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<PlFormula,​java.util.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.