net.sf.tweety.logics.ml.semantics

Class KripkeModel

java.lang.Object

net.sf.tweety.commons.AbstractInterpretation<ModalBeliefSet,FolFormula>

net.sf.tweety.logics.ml.semantics.KripkeModel

All Implemented Interfaces:

Interpretation<ModalBeliefSet,FolFormula>

public class KripkeModel
extends AbstractInterpretation<ModalBeliefSet,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

Field Summary

Fields

Modifier and Type	Field and Description
private AccessibilityRelation	accRelation The accessibility relation.
private java.util.Set<? extends Interpretation<FolBeliefSet,FolFormula>>	possibleWorlds The possible worlds of this model.

Constructor Summary

Constructors

Constructor and Description
KripkeModel(java.util.Set<? extends Interpretation<FolBeliefSet,FolFormula>> possibleWorlds, AccessibilityRelation accRelation) Creates a new Kripke model.

Method Summary

Modifier and Type	Method and Description
boolean	satisfies(FolFormula formula) Checks whether this interpretation satisfies the given formula.
boolean	satisfies(ModalBeliefSet beliefBase) Checks whether this interpretation satisfies the given knowledge base.
java.lang.String	toString()

Methods inherited from class net.sf.tweety.commons.AbstractInterpretation

satisfies

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

possibleWorlds

private java.util.Set<? extends Interpretation<FolBeliefSet,FolFormula>> possibleWorlds

The possible worlds of this model.

accRelation

private AccessibilityRelation accRelation

The accessibility relation.

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(ModalBeliefSet 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