Class FuzzyInterpretation
java.lang.Object
org.tweetyproject.commons.AbstractInterpretation<PlBeliefSet,PlFormula>
org.tweetyproject.logics.pl.semantics.FuzzyInterpretation
- All Implemented Interfaces:
Map<Proposition,
,Double> Interpretation<PlBeliefSet,
PlFormula>
public class FuzzyInterpretation
extends AbstractInterpretation<PlBeliefSet,PlFormula>
implements Map<Proposition,Double>
A fuzzy interpretation for propositional logic.
- Author:
- Matthias Thimm
-
Nested Class Summary
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionvoid
clear()
boolean
containsKey
(Object arg0) boolean
containsValue
(Object arg0) entrySet()
boolean
isEmpty()
keySet()
put
(Proposition arg0, Double arg1) void
putAll
(Map<? extends Proposition, ? extends Double> arg0) boolean
satisfies
(PlBeliefSet beliefBase) Checks whether this interpretation satisfies the given knowledge base.boolean
Checks whether this interpretation satisfies the given formula.int
size()
toString()
values()
Methods inherited from class org.tweetyproject.commons.AbstractInterpretation
satisfies
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
Methods inherited from interface java.util.Map
compute, computeIfAbsent, computeIfPresent, equals, forEach, getOrDefault, hashCode, merge, putIfAbsent, remove, replace, replace, replaceAll
-
Constructor Details
-
FuzzyInterpretation
public FuzzyInterpretation()Creates a new fuzzy interpretation
-
-
Method Details
-
satisfies
Description copied from interface:Interpretation
Checks whether this interpretation satisfies the given formula.- Specified by:
satisfies
in interfaceInterpretation<PlBeliefSet,
PlFormula> - 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
Description copied from interface:Interpretation
Checks whether this interpretation satisfies the given knowledge base.- Specified by:
satisfies
in interfaceInterpretation<PlBeliefSet,
PlFormula> - 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.
-
clear
public void clear()- Specified by:
clear
in interfaceMap<Proposition,
Double>
-
containsKey
- Specified by:
containsKey
in interfaceMap<Proposition,
Double>
-
containsValue
- Specified by:
containsValue
in interfaceMap<Proposition,
Double>
-
entrySet
- Specified by:
entrySet
in interfaceMap<Proposition,
Double>
-
get
-
isEmpty
public boolean isEmpty()- Specified by:
isEmpty
in interfaceMap<Proposition,
Double>
-
keySet
- Specified by:
keySet
in interfaceMap<Proposition,
Double>
-
put
- Specified by:
put
in interfaceMap<Proposition,
Double>
-
putAll
- Specified by:
putAll
in interfaceMap<Proposition,
Double>
-
remove
-
size
public int size()- Specified by:
size
in interfaceMap<Proposition,
Double>
-
values
- Specified by:
values
in interfaceMap<Proposition,
Double>
-
toString
-