net.sf.tweety.logics.el.semantics

Class KripkeModel

java.lang.Object

net.sf.tweety.commons.AbstractInterpretation

net.sf.tweety.logics.el.semantics.KripkeModel

All Implemented Interfaces:

Interpretation

public class KripkeModel
extends AbstractInterpretation

This class models a Kripke model, i.e. a set of possible worlds (with evaluation functions) together with an accessibility relation.

Author:

Matthias Thimm

Field Summary

Fields

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

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
boolean	satisfies(BeliefBase beliefBase) Checks whether this interpretation satisfies the given knowledge base.
boolean	satisfies(Formula formula) Checks whether this interpretation satisfies the given formula.

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

satisfies

Methods inherited from class java.lang.Object

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

Field Detail

possibleWorlds

private java.util.Set<Interpretation> possibleWorlds

The possible worlds of this model.

accRelation

private AccessibilityRelation accRelation

The accessibility relation.

Constructor Detail

KripkeModel

public KripkeModel(java.util.Set<Interpretation> 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(Formula 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(BeliefBase 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.