Package net.sf.tweety.commons
Interface Interpretation<B extends BeliefBase,S extends Formula>
-
- Type Parameters:
B
- the type of belief basesS
- the type of formulas
- All Known Implementing Classes:
AbaExtension
,AbstractArgumentationInterpretation
,AbstractInterpretation
,AnswerSet
,ArgumentRanking
,CondensedProbabilityDistribution
,DlInterpretation
,ExecutableExtension
,Extension
,Extension
,FuzzyInterpretation
,HerbrandInterpretation
,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.
-
-