Class TCoNorm

java.lang.Object
org.tweetyproject.math.func.fuzzy.TCoNorm
All Implemented Interfaces:
BinaryFunction<Double,Double,Double>
Direct Known Subclasses:
BoundedSum, MaximumCoNorm, ProbabilisticSum

public abstract class TCoNorm extends Object implements BinaryFunction<Double,Double,Double>
Represents a T-norm in fuzzy logic, i.e., a generalization of a logical conjunction on values in [0,1].
Author:
Matthias Thimm
  • Constructor Details

    • TCoNorm

      public TCoNorm()
  • Method Details

    • eval

      public abstract Double eval(Double val1, Double val2)
      Description copied from interface: BinaryFunction
      Evaluates the function for the given elements.
      Specified by:
      eval in interface BinaryFunction<Double,Double,Double>
      Parameters:
      val1 - some element
      val2 - some element
      Returns:
      the value of the element.
    • eval

      public Double eval(Collection<Double> vals)
      Generalizes this conorm on sets of input parameters (as t-conorms are associative, the order is not important).
      Parameters:
      vals - a set of values
      Returns:
      the evaluation result on the input
    • evalTerm

      public abstract Term evalTerm(Term val1, Term val2)
      Gives a representation of this conorm as a mathematical term
      Parameters:
      val1 - the term denoting the first parameter
      val2 - the term denoting the second parameter
      Returns:
      the term denoting this conorm evaluation on the two terms
    • evalTerm

      public Term evalTerm(Collection<Term> vals)
      Gives a representation of this conorm as a mathematical term. Generalizes this conorm on sets of input parameters (as t-conorms are associative, the order is not important).
      Parameters:
      vals - a set of value terms
      Returns:
      the evaluation result on the input as a term
    • getDualNorm

      public abstract TNorm getDualNorm()
      Returns the dual T-norm of this T-conorm.
      Returns:
      the dual T-norm of this T-conorm.
    • isNilpotent

      public abstract boolean isNilpotent()
      A T-conorm is nilpotent if there are x,y<1 with s(x,y)=1
      Returns:
      true if the conorm is nilpotent