Package net.sf.tweety.commons

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:
    AbstractInterpretation, InterpretationSet
    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 Detail

      • 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.