Interpretation

Type Parameters:: B - the type of belief bases; S - the type of formulas

All Known Implementing Classes:: AbaExtension, AbstractArgumentationInterpretation, AbstractInterpretation, AnswerSet, ClaimSet, CondensedProbabilityDistribution, DlInterpretation, ExecutableExtension, Extension, Extension, FourValuedWorld, FuzzyInterpretation, GeneralComparator, HerbrandInterpretation, Input, InterpretationSet, KripkeModel, Labeling, LastLinkOrder, LatticePartialOrder, LdoInterpretation, MlHerbrandInterpretation, NicePossibleWorld, NumericalPartialOrder, PossibleWorld, PriestWorld, PriestWorldAdapted, ProbabilityDistribution, QbPossibleWorld, RankingFunction, RankingFunctionThreeValued, ReferenceWorld, RelationalRankingFunction, RpclProbabilityDistribution, RuleComparator, SerialisationSequence, SimpleAspicOrder, SocialMapping, StratifiedLabeling, ThreeValuedWorld, WeakestLinkOrder

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

An interpretation for some logical language.

Author:: Matthias Thimm

Method Summary

Modifier and Type

Method

Description

boolean

satisfies(B beliefBase)

Checks whether this interpretation satisfies the given knowledge base.

boolean

satisfies(Collection<S> formulas)

Checks whether this interpretation satisfies all given formulas.

boolean

satisfies(S formula)

Checks whether this interpretation satisfies the given formula.

Method Details
- satisfies
  
  boolean satisfies(S formula) throws IllegalArgumentException
  
  Checks whether this interpretation satisfies the given formula.
  
  Parameters:
  
  formula - a formula .
  
  Returns:
  
  "true" if this interpretation satisfies the given formula.
  
  Throws:
  
  IllegalArgumentException - if the formula does not correspond to the expected language.
- satisfies
  
  boolean satisfies(Collection<S> formulas) throws 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:
  
  IllegalArgumentException - if at least one formula does not correspond to the expected language.
- satisfies
  
  boolean satisfies(B beliefBase) throws 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:
  
  IllegalArgumentException - IllegalArgumentException if the knowledgebase does not correspond to the expected language.