Package net.sf.tweety.math.func.fuzzy

Class ProbabilisticSum

java.lang.Object

net.sf.tweety.math.func.fuzzy.TCoNorm

net.sf.tweety.math.func.fuzzy.ProbabilisticSum

All Implemented Interfaces:

BinaryFunction<Double,Double,Double>

public class ProbabilisticSum
extends TCoNorm

Represents the probabilistic sum in fuzzy logic, i.e., S(x,y)=x+y-xy

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
ProbabilisticSum()

Method Summary

Modifier and Type	Method	Description
Double	eval(Double val1, Double val2)	Evaluates the function for the given elements.
Term	evalTerm(Term val1, Term val2)	Gives a representation of this conorm as a mathematical term
TNorm	getDualNorm()	Returns the dual T-norm of this T-conorm.
boolean	isNilpotent()	A T-conorm is nilpotent if there are x,y<1 with s(x,y)=1

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

eval, evalTerm

Methods inherited from class java.lang.Object

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

Constructor Detail

ProbabilisticSum

public ProbabilisticSum()

Method Detail

eval

public 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>

Specified by:

eval in class TCoNorm

Parameters:

val1 - some element

val2 - some element

Returns:

the value of the element.

getDualNorm

public TNorm getDualNorm()

Description copied from class: TCoNorm

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

Specified by:

getDualNorm in class TCoNorm

Returns:

the dual T-norm of this T-conorm.

evalTerm

public Term evalTerm(Term val1,
                     Term val2)

Description copied from class: TCoNorm

Gives a representation of this conorm as a mathematical term

Specified by:

evalTerm in class TCoNorm

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

isNilpotent

public boolean isNilpotent()

Description copied from class: TCoNorm

A T-conorm is nilpotent if there are x,y<1 with s(x,y)=1

Specified by:

isNilpotent in class TCoNorm

Returns:

true if the conorm is nilpotent