Package org.tweetyproject.logics.ml.semantics

Class 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(java.util.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.
java.lang.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 Detail

KripkeModel

public KripkeModel(java.util.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 Detail

satisfies

public boolean satisfies(FolFormula formula)
                  throws java.lang.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:

java.lang.IllegalArgumentException - if the formula does not correspond to the expected language.

satisfies

public boolean satisfies(MlBeliefSet beliefBase)
                  throws java.lang.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:

java.lang.IllegalArgumentException - IllegalArgumentException if the knowledgebase does not correspond to the expected language.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object