Package org.tweetyproject.logics.pl.semantics

Class FuzzyInterpretation

    • Nested Class Summary

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

        java.util.Map.Entry<K extends java.lang.Object,​V extends java.lang.Object>

    • Constructor Summary

      Constructors 
      Constructor Description
      FuzzyInterpretation()
      Creates a new fuzzy interpretation

    • Method Summary

      Modifier and Type Method 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​(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()  
      java.lang.String toString()  
      java.util.Collection<java.lang.Double> values()  

      • 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 Detail

      • FuzzyInterpretation

        public FuzzyInterpretation()
        Creates a new fuzzy interpretation

    • Method Detail

      • satisfies

        public boolean satisfies​(PlFormula formula)
                  throws java.lang.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:
        java.lang.IllegalArgumentException - if the formula does not correspond to the expected language.

      • satisfies

        public boolean satisfies​(PlBeliefSet beliefBase)
                  throws java.lang.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:
        java.lang.IllegalArgumentException - IllegalArgumentException if the knowledgebase does not correspond to the expected language.

      • clear

        public void clear()
        Specified by:
        clear in interface java.util.Map<Proposition,​java.lang.Double>

      • containsKey

        public boolean containsKey​(java.lang.Object arg0)
        Specified by:
        containsKey in interface java.util.Map<Proposition,​java.lang.Double>

      • containsValue

        public boolean containsValue​(java.lang.Object arg0)
        Specified by:
        containsValue in interface java.util.Map<Proposition,​java.lang.Double>

      • entrySet

        public java.util.Set<java.util.Map.Entry<Proposition,​java.lang.Double>> entrySet()
        Specified by:
        entrySet in interface java.util.Map<Proposition,​java.lang.Double>

      • get

        public java.lang.Double get​(java.lang.Object arg0)
        Specified by:
        get in interface java.util.Map<Proposition,​java.lang.Double>

      • isEmpty

        public boolean isEmpty()
        Specified by:
        isEmpty in interface java.util.Map<Proposition,​java.lang.Double>

      • keySet

        public java.util.Set<Proposition> keySet()
        Specified by:
        keySet in interface java.util.Map<Proposition,​java.lang.Double>

      • put

        public java.lang.Double put​(Proposition arg0,
                            java.lang.Double arg1)
        Specified by:
        put in interface java.util.Map<Proposition,​java.lang.Double>

      • putAll

        public void putAll​(java.util.Map<? extends Proposition,​? extends java.lang.Double> arg0)
        Specified by:
        putAll in interface java.util.Map<Proposition,​java.lang.Double>

      • remove

        public java.lang.Double remove​(java.lang.Object arg0)
        Specified by:
        remove in interface java.util.Map<Proposition,​java.lang.Double>

      • size

        public int size()
        Specified by:
        size in interface java.util.Map<Proposition,​java.lang.Double>

      • values

        public java.util.Collection<java.lang.Double> values()
        Specified by:
        values in interface java.util.Map<Proposition,​java.lang.Double>

      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object