Engee documentation

Logical connectives

Conjuction methods

DrasticAnd

struct DrasticAnd <: FuzzyLogic.AbstractAnd

Drastic T-norm defining conjuction as is or and otherwise.

EinsteinAnd

struct EinsteinAnd <: FuzzyLogic.AbstractAnd

Einstein T-norm defining conjuction as .

HamacherAnd

struct HamacherAnd <: FuzzyLogic.AbstractAnd

Hamacher T-norm defining conjuction as if and otherwise.

LukasiewiczAnd

struct LukasiewiczAnd <: FuzzyLogic.AbstractAnd

Lukasiewicz T-norm defining conjuction as .

MinAnd

struct MinAnd <: FuzzyLogic.AbstractAnd

Minimum T-norm defining conjuction as .

NilpotentAnd

struct NilpotentAnd <: FuzzyLogic.AbstractAnd

Nilpotent T-norm defining conjuction as when and otherwise.

ProdAnd

struct ProdAnd <: FuzzyLogic.AbstractAnd

Product T-norm defining conjuction as .

Disjunction methods

BoundedSumOr

struct BoundedSumOr <: FuzzyLogic.AbstractOr

Bounded sum S-norm defining disjunction as .

DrasticOr

struct DrasticOr <: FuzzyLogic.AbstractOr

Drastic S-norm defining disjunction as .

EinsteinOr

struct EinsteinOr <: FuzzyLogic.AbstractOr

Einstein S-norm defining disjunction as .

HamacherOr

struct HamacherOr <: FuzzyLogic.AbstractOr

Hamacher S-norm defining conjuction as if and otherwise.

MaxOr

struct MaxOr <: FuzzyLogic.AbstractOr

Maximum S-norm defining disjunction as .

NilpotentOr

struct NilpotentOr <: FuzzyLogic.AbstractOr

Nilpotent S-norm defining disjunction as when and otherwise.

ProbSumOr

struct ProbSumOr <: FuzzyLogic.AbstractOr

Probabilistic sum S-norm defining disjunction as .

Implication methods

MinImplication

struct MinImplication <: FuzzyLogic.AbstractImplication

Minimum implication defined as .

ProdImplication

struct ProdImplication <: FuzzyLogic.AbstractImplication

Product implication defined as .