tnorms

T-norm and t-conorm families.

tnorms provides common fuzzy-logic aggregation families and fold helpers for multi-way conjunction and disjunction over values in [0, 1].

Dual-licensed under MIT or Apache-2.0.

crates.io | docs.rs

[dependencies]
tnorms = "0.1.1"

use tnorms::{tconorm, tnorm, PRODUCT};

let or_degree = tconorm(PRODUCT, 0.5, 0.6);
let and_degree = tnorm(PRODUCT, 0.5, 0.6);

assert!((or_degree - 0.8).abs() < 1e-12);
assert!((and_degree - 0.3).abs() < 1e-12);

Families

Named constants:

Constant	T-norm	T-conorm
`GODEL`	`min(a, b)`	`max(a, b)`
`PRODUCT`	`a * b`	`a + b - a * b`
`LUKASIEWICZ`	`max(0, a + b - 1)`	`min(1, a + b)`

Family	T-conorm behavior
`Maximum`	Hard OR
`Probabilistic`	Probabilistic sum
`Bounded`	Lukasiewicz bounded sum
`Einstein`	Smooth rational OR
`Hamacher`	Aggressive rational OR
`Yager`	Lp-style family
`Frank`	Interpolating family
`Dombi`	Power-based family

tnorms 0.1.1

tnorms

Families