Class KripkeModel
- java.lang.Object
-
- net.sf.tweety.commons.AbstractInterpretation<MlBeliefSet,FolFormula>
-
- net.sf.tweety.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 net.sf.tweety.commons.AbstractInterpretation
satisfies
-
-
-
-
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 classjava.lang.Object
-
-