Class FuzzyLogic

java.lang.Object

org.episteme.core.mathematics.logic.fuzzy.FuzzyLogic

All Implemented Interfaces:

Logic<Real>

public class FuzzyLogic
extends Object
implements Logic<Real>

Fuzzy Logic system where truth values are Real numbers in [0, 1].

Uses Zadeh operators:

• AND(a, b) = min(a, b)
• OR(a, b) = max(a, b)
• NOT(a) = 1 - a

References

• Lotfi A. Zadeh, "Fuzzy Sets", Information and Control, Vol. 8, No. 3, 1965, pp. 338-353 (foundational paper)
• George J. Klir and Bo Yuan, "Fuzzy Sets and Fuzzy Logic: Theory and Applications", Prentice Hall, 1995

Since:

1.0

Author:

Silvere Martin-Michiellot, Gemini AI (Google DeepMind)

Method Summary

Modifier and Type	Method	Description
Real	and(Real a, Real b)	Logical AND (Conjunction).
Real	falseValue()	Returns the truth value representing "False" (contradiction).
static FuzzyLogic	getInstance()
Real	not(Real a)	Logical NOT (Negation).
Real	or(Real a, Real b)	Logical OR (Disjunction).
Real	trueValue()	Returns the truth value representing "True" (tautology).

Methods inherited from class Object

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

Methods inherited from interface Logic

equivalent, implies

Method Details

getInstance

public static FuzzyLogic getInstance()

trueValue

public Real trueValue()

Description copied from interface: Logic

Returns the truth value representing "True" (tautology).

Specified by:

trueValue in interface Logic<Real>

Returns:

the true value

falseValue

public Real falseValue()

Description copied from interface: Logic

Returns the truth value representing "False" (contradiction).

Specified by:

falseValue in interface Logic<Real>

Returns:

the false value

and

public Real and(Real a,
 Real b)

Description copied from interface: Logic

Logical AND (Conjunction).

Specified by:

and in interface Logic<Real>

Parameters:

a - first operand

b - second operand

Returns:

a AND b

or

public Real or(Real a,
 Real b)

Description copied from interface: Logic

Logical OR (Disjunction).

Specified by:

or in interface Logic<Real>

Parameters:

a - first operand

b - second operand

Returns:

a OR b

not

public Real not(Real a)

Description copied from interface: Logic

Logical NOT (Negation).

Specified by:

not in interface Logic<Real>

Parameters:

a - operand

Returns:

NOT a