Interface Interpretation<B extends BeliefBase,S extends Formula>

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.