public class FuzzyInterpretation extends AbstractInterpretation implements java.util.Map<Proposition,java.lang.Double>
Modifier and Type | Field and Description |
---|---|
private java.util.Map<Proposition,java.lang.Double> |
values
Maps the propositions to their values.
|
Constructor and Description |
---|
FuzzyInterpretation()
Creates a new fuzzy interpretation
|
Modifier and Type | Method and Description |
---|---|
void |
clear() |
boolean |
containsKey(java.lang.Object arg0) |
boolean |
containsValue(java.lang.Object arg0) |
java.util.Set<java.util.Map.Entry<Proposition,java.lang.Double>> |
entrySet() |
java.lang.Double |
get(java.lang.Object arg0) |
boolean |
isEmpty() |
java.util.Set<Proposition> |
keySet() |
java.lang.Double |
put(Proposition arg0,
java.lang.Double arg1) |
void |
putAll(java.util.Map<? extends Proposition,? extends java.lang.Double> arg0) |
java.lang.Double |
remove(java.lang.Object arg0) |
boolean |
satisfies(BeliefBase beliefBase)
Checks whether this interpretation satisfies the given knowledge base.
|
boolean |
satisfies(Formula formula)
Checks whether this interpretation satisfies the given formula.
|
int |
size() |
java.lang.String |
toString() |
java.util.Collection<java.lang.Double> |
values() |
satisfies
private java.util.Map<Proposition,java.lang.Double> values
public FuzzyInterpretation()
public boolean satisfies(Formula formula) throws java.lang.IllegalArgumentException
Interpretation
satisfies
in interface Interpretation
formula
- a formula .java.lang.IllegalArgumentException
- if the formula does not correspond
to the expected language.public boolean satisfies(BeliefBase beliefBase) throws java.lang.IllegalArgumentException
Interpretation
satisfies
in interface Interpretation
beliefBase
- a knowledge base.java.lang.IllegalArgumentException
- IllegalArgumentException if the knowledgebase does not correspond
to the expected language.public void clear()
clear
in interface java.util.Map<Proposition,java.lang.Double>
public boolean containsKey(java.lang.Object arg0)
containsKey
in interface java.util.Map<Proposition,java.lang.Double>
public boolean containsValue(java.lang.Object arg0)
containsValue
in interface java.util.Map<Proposition,java.lang.Double>
public java.util.Set<java.util.Map.Entry<Proposition,java.lang.Double>> entrySet()
entrySet
in interface java.util.Map<Proposition,java.lang.Double>
public java.lang.Double get(java.lang.Object arg0)
get
in interface java.util.Map<Proposition,java.lang.Double>
public boolean isEmpty()
isEmpty
in interface java.util.Map<Proposition,java.lang.Double>
public java.util.Set<Proposition> keySet()
keySet
in interface java.util.Map<Proposition,java.lang.Double>
public java.lang.Double put(Proposition arg0, java.lang.Double arg1)
put
in interface java.util.Map<Proposition,java.lang.Double>
public void putAll(java.util.Map<? extends Proposition,? extends java.lang.Double> arg0)
putAll
in interface java.util.Map<Proposition,java.lang.Double>
public java.lang.Double remove(java.lang.Object arg0)
remove
in interface java.util.Map<Proposition,java.lang.Double>
public int size()
size
in interface java.util.Map<Proposition,java.lang.Double>
public java.util.Collection<java.lang.Double> values()
values
in interface java.util.Map<Proposition,java.lang.Double>
public java.lang.String toString()
toString
in class java.lang.Object