Package org.tweetyproject.arg.dung.semantics

Class AbstractArgumentationInterpretation<T extends ArgumentationFramework<Argument>>

java.lang.Object
org.tweetyproject.commons.AbstractInterpretation<T,Argument>
org.tweetyproject.arg.dung.semantics.AbstractArgumentationInterpretation<T>
All Implemented Interfaces:
Interpretation<T,Argument>
Direct Known Subclasses:
Extension, Labeling
public abstract class AbstractArgumentationInterpretation<T extends ArgumentationFramework<Argument>> extends AbstractInterpretation<T,Argument>
This abstract class acts as a common ancestor for interpretations to abstract argumentation frameworks.
Author:
Matthias Thimm

  • Constructor Details

    • AbstractArgumentationInterpretation

      public AbstractArgumentationInterpretation()

  • 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(T 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.

    • getArgumentsOfStatus

      public abstract Extension getArgumentsOfStatus(ArgumentStatus status)
      Returns all arguments that have the given status in this interpretation.
      Parameters:
      status - the status of the arguments to be returned.
      Returns:
      the set of arguments with the given status.

    • toString

      public abstract String toString()
      Overrides:
      toString in class Object