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:

net.sf.tweety.commons.Interpretation

public class KripkeModel
extends net.sf.tweety.commons.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, Anna Gessler

Constructor Summary

Constructors

Constructor and Description
KripkeModel(Set<? extends net.sf.tweety.commons.Interpretation> possibleWorlds, AccessibilityRelation accRelation) Creates a new Kripke model.

Method Summary

Modifier and Type	Method and Description
boolean	satisfies(net.sf.tweety.commons.BeliefBase beliefBase)
boolean	satisfies(net.sf.tweety.commons.Formula 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

Constructor Detail

KripkeModel

public KripkeModel(Set<? extends net.sf.tweety.commons.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(net.sf.tweety.commons.Formula formula)
                  throws IllegalArgumentException

Throws:

IllegalArgumentException

satisfies

public boolean satisfies(net.sf.tweety.commons.BeliefBase beliefBase)
                  throws IllegalArgumentException

Throws:

IllegalArgumentException