net.sf.tweety.commons

Interface Interpretation

All Known Implementing Classes:

AbstractArgumentationInterpretation, AbstractInterpretation, ArgumentRanking, CondensedProbabilityDistribution, ExecutableExtension, Extension, FuzzyInterpretation, HerbrandInterpretation, InterpretationSet, KripkeModel, Labeling, LatticeArgumentRanking, LdoInterpretation, NicePossibleWorld, NumericalArgumentRanking, PossibleWorld, PriestWorld, ProbabilityDistribution, RankingFunction, ReferenceWorld, RelationalRankingFunction, RpclProbabilityDistribution, SocialMapping, StratifiedLabeling

public interface Interpretation

An interpretation for some logical language.

Author:

Matthias Thimm

Method Summary

Modifier and Type	Method and Description
boolean	satisfies(BeliefBase beliefBase) Checks whether this interpretation satisfies the given knowledge base.
boolean	satisfies(java.util.Collection<? extends Formula> formulas) Checks whether this interpretation satisfies all given formulas.
boolean	satisfies(Formula formula) Checks whether this interpretation satisfies the given formula.

Method Detail

satisfies

boolean satisfies(Formula formula)
           throws java.lang.IllegalArgumentException

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

boolean satisfies(java.util.Collection<? extends Formula> formulas)
           throws java.lang.IllegalArgumentException

Checks whether this interpretation satisfies all given formulas.

Parameters:

formulas - a collection of formulas.

Returns:

"true" if this interpretation satisfies all given formulas.

Throws:

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

satisfies

boolean satisfies(BeliefBase beliefBase)
           throws java.lang.IllegalArgumentException

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.