net.sf.tweety.commons

Interface Interpretation<B extends BeliefBase,S extends Formula>

All Known Implementing Classes:

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

public interface Interpretation<B extends BeliefBase,S extends Formula>

An interpretation for some logical language.

Author:

Matthias Thimm

Method Summary

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

Method Detail

satisfies

boolean satisfies(S 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<S> 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(B 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.