Interpretation

Type Parameters:

B - the type of belief bases

S - the type of formulas

All Known Implementing Classes:

AbaExtension, AbstractArgumentationInterpretation, AbstractInterpretation, AnswerSet, ArgumentRanking, CondensedProbabilityDistribution, DlInterpretation, ExecutableExtension, Extension, Extension, FuzzyInterpretation, HerbrandInterpretation, Interpretation, InterpretationSet, KripkeModel, Labeling, LatticeArgumentRanking, LdoInterpretation, MlHerbrandInterpretation, NicePossibleWorld, NumericalArgumentRanking, PossibleWorld, PriestWorld, ProbabilityDistribution, QbPossibleWorld, 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	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.