Class KripkeModel

All Implemented Interfaces:
Interpretation<MlBeliefSet,FolFormula>

public class KripkeModel extends AbstractInterpretation<MlBeliefSet,FolFormula>
This class models a Kripke model, i.e. a set of possible worlds (with evaluation functions) together with an accessibility relation.
Author:
Matthias Thimm, Anna Gessler
  • Constructor Details

  • Method Details

    • satisfies

      public boolean satisfies(FolFormula 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(MlBeliefSet 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.
    • toString

      public String toString()
      Overrides:
      toString in class Object