Документация Engee

Логические связки

Методы конъюнкции

DrasticAnd

struct DrasticAnd <: FuzzyLogic.AbstractAnd

Жесткая T-норма, определяющая конъюнкцию как , представляет собой или и в противном случае.

EinsteinAnd

struct EinsteinAnd <: FuzzyLogic.AbstractAnd

T-норма Эйнштейна, определяющая конъюнкцию как .

HamacherAnd

struct HamacherAnd <: FuzzyLogic.AbstractAnd

T-норма Хамахера, определяющая конъюнкцию как , если , и в противном случае.

LukasiewiczAnd

struct LukasiewiczAnd <: FuzzyLogic.AbstractAnd

T-норма Лукасевича, определяющая конъюнкцию как .

MinAnd

struct MinAnd <: FuzzyLogic.AbstractAnd

Минимальная T-норма, определяющая конъюнкцию как .

NilpotentAnd

struct NilpotentAnd <: FuzzyLogic.AbstractAnd

Нильпотентная T-норма, определяющая конъюнкцию как , если , и в противном случае.

ProdAnd

struct ProdAnd <: FuzzyLogic.AbstractAnd

T-норма произведения, определяющая конъюнкцию как .

Методы дизъюнкции

BoundedSumOr

struct BoundedSumOr <: FuzzyLogic.AbstractOr

S-норма ограниченной суммы, определяющая дизъюнкцию как .

DrasticOr

struct DrasticOr <: FuzzyLogic.AbstractOr

Жесткая S-норма, определяющая дизъюнкцию как .

EinsteinOr

struct EinsteinOr <: FuzzyLogic.AbstractOr

S-норма Эйнштейна, определяющая дизъюнкцию как .

HamacherOr

struct HamacherOr <: FuzzyLogic.AbstractOr

S-норма Хамахера, определяющая конъюнкцию как , если , и в противном случае.

MaxOr

struct MaxOr <: FuzzyLogic.AbstractOr

Максимальная S-норма, определяющая дизъюнкцию как .

NilpotentOr

struct NilpotentOr <: FuzzyLogic.AbstractOr

Нильпотентная S-норма, определяющая дизъюнкцию как , если , и в противном случае.

ProbSumOr

struct ProbSumOr <: FuzzyLogic.AbstractOr

S-норма вероятностной суммы, определяющая дизъюнкцию как .

Методы импликации

MinImplication

struct MinImplication <: FuzzyLogic.AbstractImplication

Минимальная импликация, определяемая как .

ProdImplication

struct ProdImplication <: FuzzyLogic.AbstractImplication

Импликация произведения, определяемая как .