Class LdoInterpretation

java.lang.Object
org.tweetyproject.commons.AbstractInterpretation<DungTheory,LdoFormula>
org.tweetyproject.arg.dung.ldo.semantics.LdoInterpretation
All Implemented Interfaces:
Interpretation<DungTheory,LdoFormula>

public class LdoInterpretation extends AbstractInterpretation<DungTheory,LdoFormula>
This class models an LDO interpretation, i.e., a pair of an argumentation framework and (possibly) an extension.
Author:
Matthias Thimm
  • Constructor Details

    • LdoInterpretation

      public LdoInterpretation(DungTheory theory, Extension ext, Semantics semantics)
      Creates a new interpretation
      Parameters:
      theory - an abstract argumentation framework
      ext - an extension (possibly null)
      semantics - the used semantics (see org.tweetyproject.arg.dung.semantics.Semantics)
    • LdoInterpretation

      public LdoInterpretation(DungTheory theory, Semantics semantics)
      Creates a new interpretation
      Parameters:
      theory - an abstract argumentation framework
      semantics - the used semantics (see org.tweetyproject.arg.dung.semantics.Semantics)
  • Method Details

    • satisfies

      public boolean satisfies(LdoFormula 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(DungTheory 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.