Class ArgumentationEnvironment

  • All Implemented Interfaces:
    net.sf.tweety.agents.Environment, net.sf.tweety.agents.Perceivable

    public class ArgumentationEnvironment
    extends Object
    implements net.sf.tweety.agents.Environment, net.sf.tweety.agents.Perceivable
    This class models the environment for agents in argumentation games. It consists of the universal Dung theory used for argumentation (but not completely revealed to all agents) and the current trace of disclosed arguments.
    Author:
    Matthias Thimm
    • Constructor Summary

      Constructors 
      Constructor Description
      ArgumentationEnvironment​(net.sf.tweety.arg.dung.syntax.DungTheory 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.arg.dung.syntax.Argument,​net.sf.tweety.arg.dung.semantics.Extension> getDialogueTrace()
      Returns the current dialogue trace.
      net.sf.tweety.arg.dung.syntax.DungTheory getPerceivedDungTheory​(net.sf.tweety.arg.dung.semantics.Extension arguments)
      Returns the view of the universal Dung theory restricted to the given set of arguments.
      Set<net.sf.tweety.agents.Perceivable> getPercepts​(net.sf.tweety.agents.Agent agent)  
      boolean reset()  
    • Constructor Detail

      • ArgumentationEnvironment

        public ArgumentationEnvironment​(net.sf.tweety.arg.dung.syntax.DungTheory universalTheory)
        Creates a new grounded environment.
        Parameters:
        universalTheory - the universal Dung 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.arg.dung.syntax.Argument,​net.sf.tweety.arg.dung.semantics.Extension> 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
      • getPerceivedDungTheory

        public net.sf.tweety.arg.dung.syntax.DungTheory getPerceivedDungTheory​(net.sf.tweety.arg.dung.semantics.Extension arguments)
        Returns the view of the universal Dung theory restricted to the given set of arguments.
        Parameters:
        arguments - a set of arguments.
        Returns:
        the projection of the universal theory.