net.sf.tweety.math.func.fuzzy

Class ProductNorm

java.lang.Object

net.sf.tweety.math.func.fuzzy.TNorm

net.sf.tweety.math.func.fuzzy.ProductNorm

All Implemented Interfaces:

BinaryFunction<java.lang.Double,java.lang.Double,java.lang.Double>

public class ProductNorm
extends TNorm

Represents the product-norm in fuzzy logic, i.e., T(x,y)=xy

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
ProductNorm()

Method Summary

Modifier and Type	Method and Description
java.lang.Double	eval(java.lang.Double val1, java.lang.Double val2) Evaluates the function for the given elements.
Term	evalTerm(Term val1, Term val2) Gives a representation of this norm as a mathematical term
TCoNorm	getDualCoNorm() Returns the dual T-conorm of this T-norm.
boolean	isNilpotent() A T-norm is nilpotent if there are x,y>0 with t(x,y)=0

Methods inherited from class net.sf.tweety.math.func.fuzzy.TNorm

eval, evalTerm

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ProductNorm

public ProductNorm()

Method Detail

eval

public java.lang.Double eval(java.lang.Double val1,
                             java.lang.Double val2)

Description copied from interface: BinaryFunction

Evaluates the function for the given elements.

Specified by:

eval in interface BinaryFunction<java.lang.Double,java.lang.Double,java.lang.Double>

Specified by:

eval in class TNorm

Parameters:

val1 - some element

val2 - some element

Returns:

the value of the element.

getDualCoNorm

public TCoNorm getDualCoNorm()

Description copied from class: TNorm

Returns the dual T-conorm of this T-norm.

Specified by:

getDualCoNorm in class TNorm

Returns:

evalTerm

public Term evalTerm(Term val1,
                     Term val2)

Description copied from class: TNorm

Gives a representation of this norm as a mathematical term

Specified by:

evalTerm in class TNorm

Parameters:

val1 - the term denoting the first parameter

val2 - the term denoting the second parameter

Returns:

the term denoting this norm evaluation on the two terms

isNilpotent

public boolean isNilpotent()

Description copied from class: TNorm

A T-norm is nilpotent if there are x,y>0 with t(x,y)=0

Specified by:

isNilpotent in class TNorm

Returns:

true if the norm is nilpotent