Class SocialMapping<L>

Type Parameters:
L - The set used for valuations
All Implemented Interfaces:
Interpretation<SocialAbstractArgumentationFramework,Argument>

Implements a mapping from arguments to social value.
Author:
Matthias Thimm
  • Constructor Details

    • SocialMapping

      public SocialMapping(AbstractSocialSemantics<L> semantics)
      Creates a new mapping wrt. the given semantics.
      Parameters:
      semantics - some semantics
  • Method Details

    • satisfies

      public boolean satisfies(Argument formula) throws IllegalArgumentException
      Description copied from interface: Interpretation
      Checks whether this interpretation satisfies the given formula.
      Parameters:
      formula - a formula .
      Returns:
      "true" if this interpretation satisfies the given formula.
      Throws:
      IllegalArgumentException - if the formula does not correspond to the expected language.
    • satisfies

      public boolean satisfies(SocialAbstractArgumentationFramework beliefBase) throws IllegalArgumentException
      Description copied from interface: Interpretation
      Checks whether this interpretation satisfies the given knowledge base.
      Parameters:
      beliefBase - a knowledge base.
      Returns:
      "true" if this interpretation satisfies the given knowledge base.
      Throws:
      IllegalArgumentException - IllegalArgumentException if the knowledgebase does not correspond to the expected language.
    • get

      public L get(Argument a)
      Returns the social value of the given argument
      Parameters:
      a - some argument
      Returns:
      the social value of the given argument
    • put

      public L put(Argument a, L val)
      Sets the social value of the given argument
      Parameters:
      a - some argument
      val - the value for the argument
      Returns:
      the social value of the given argument
    • containsKey

      public boolean containsKey(Argument a)
      Returns "true" iff the given argument has a value.
      Parameters:
      a - some argument
      Returns:
      "true" iff the given argument has a value.
    • toString

      public String toString()
      Overrides:
      toString in class Object