Package org.tweetyproject.logics.pl.semantics

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

Nested classes/interfaces inherited from interface java.util.Map

Map.Entry<K extends Object,V extends Object>

Constructor Summary

Constructors

Constructor	Description
FuzzyInterpretation()	Creates a new fuzzy interpretation

Method Summary

Modifier and Type	Method	Description
void	clear()
boolean	containsKey(Object arg0)
boolean	containsValue(Object arg0)
Set<Map.Entry<Proposition,Double>>	entrySet()
Double	get(Object arg0)
boolean	isEmpty()
Set<Proposition>	keySet()
Double	put(Proposition arg0, Double arg1)
void	putAll(Map<? extends Proposition,? extends Double> arg0)
Double	remove(Object arg0)
boolean	satisfies(PlBeliefSet beliefBase)	Checks whether this interpretation satisfies the given knowledge base.
boolean	satisfies(PlFormula formula)	Checks whether this interpretation satisfies the given formula.
int	size()
String	toString()
Collection<Double>	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

public boolean satisfies(PlFormula formula)
                  throws IllegalArgumentException

Description copied from interface: Interpretation

Checks whether this interpretation satisfies the given formula.

Specified by:

satisfies in interface Interpretation<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

public boolean satisfies(PlBeliefSet beliefBase)
                  throws IllegalArgumentException

Description copied from interface: Interpretation

Checks whether this interpretation satisfies the given knowledge base.

Specified by:

satisfies in interface Interpretation<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 interface Map<Proposition,Double>

containsKey

public boolean containsKey(Object arg0)

Specified by:

containsKey in interface Map<Proposition,Double>

containsValue

public boolean containsValue(Object arg0)

Specified by:

containsValue in interface Map<Proposition,Double>

entrySet

public Set<Map.Entry<Proposition,Double>> entrySet()

Specified by:

entrySet in interface Map<Proposition,Double>

get

public Double get(Object arg0)

Specified by:

get in interface Map<Proposition,Double>

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface Map<Proposition,Double>

keySet

public Set<Proposition> keySet()

Specified by:

keySet in interface Map<Proposition,Double>

put

public Double put(Proposition arg0,
 Double arg1)

Specified by:

put in interface Map<Proposition,Double>

putAll

public void putAll(Map<? extends Proposition,? extends Double> arg0)

Specified by:

putAll in interface Map<Proposition,Double>

remove

public Double remove(Object arg0)

Specified by:

remove in interface Map<Proposition,Double>

size

public int size()

Specified by:

size in interface Map<Proposition,Double>

values

public Collection<Double> values()

Specified by:

values in interface Map<Proposition,Double>

toString

public String toString()

Overrides:

toString in class Object