Class LotteryArgumentationEnvironment

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

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

      Constructors 
      Constructor Description
      LotteryArgumentationEnvironment​(net.sf.tweety.arg.dung.syntax.DungTheory universalTheory)
      Creates a new grounded environment.
    • Constructor Detail

      • LotteryArgumentationEnvironment

        public LotteryArgumentationEnvironment​(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.DungTheory,​Collection<net.sf.tweety.arg.dung.syntax.DungTheory>> 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.