KripkeModel

java.lang.Object

org.tweetyproject.commons.AbstractInterpretation<MlBeliefSet,FolFormula>

org.tweetyproject.logics.ml.semantics.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 Summary

Constructors

Constructor

Description

KripkeModel(Set<? extends Interpretation<FolBeliefSet,FolFormula>> possibleWorlds, AccessibilityRelation accRelation)

Creates a new Kripke model.
Method Summary

Modifier and Type

Method

Description

boolean

satisfies(FolFormula formula)

Checks whether this interpretation satisfies the given formula.

boolean

satisfies(MlBeliefSet beliefBase)

Checks whether this interpretation satisfies the given knowledge base.

String

toString()

Methods inherited from class org.tweetyproject.commons.AbstractInterpretation
satisfies

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details
- KripkeModel
  
  public KripkeModel(Set<? extends Interpretation<FolBeliefSet,FolFormula>> possibleWorlds, AccessibilityRelation accRelation)
  
  Creates a new Kripke model.
  
  Parameters:
  
  possibleWorlds - a set of interpretations.
  
  accRelation - an accessibility relation under the given interpretations.
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