@thi.ng/fuzzy/tnorms.d.ts

Fuzzy logic operators & configurable rule inferencing engine

import type { FnN2, Range } from "@thi.ng/api";
export declare const tnormMin: FnN2;
export declare const tnormProduct: FnN2;
export declare const tnormLukasiewicz: FnN2;
export declare const tnormDrastic: FnN2;
export declare const tnormNilpotent: FnN2;
/**
 * HOF T-norm. Parametric Hamacher with `p` controlling curvature.
 *
 * @remarks
 * [Interactive graph](https://www.desmos.com/calculator/4bneccqs3p)
 *
 * @param p - curve param `[0,∞]`, default: 2
 */
export declare const tnormHamacher: (p?: number) => FnN2;
/**
 * HOF T-norm. Parametric Yager with `p` controlling curvature.
 *
 * @remarks
 * [Interactive graph](https://www.desmos.com/calculator/4bneccqs3p)
 *
 * @param p - curve param `[0,∞]`, default: 2
 */
export declare const tnormYager: (p?: number) => FnN2;
/**
 * HOF T-norm. Parametric Dombi with `p` controlling curvature.
 *
 * @remarks
 * [Interactive graph](https://www.desmos.com/calculator/4bneccqs3p)
 *
 * @param p - curve param `[0,∞]`, default: 2
 */
export declare const tnormDombi: (p?: number) => FnN2;
/**
 * HOF T-norm. Parametric Aczél–Alsina with `p` controlling curvature.
 *
 * @remarks
 * [Interactive graph](https://www.desmos.com/calculator/4bneccqs3p)
 *
 * @param p - curve param `[0,∞]`, default: 2
 */
export declare const tnormAczelAlsina: (p?: number) => FnN2;
/**
 * S-norm (T-conorm), dual of {@link tnormMin}.
 *
 * @param x -
 * @param y -
 */
export declare const snormMax: FnN2;
/**
 * S-norm (T-conorm), dual of {@link tnormProduct}, probabilistic sum:
 * `a + b - a * b`
 *
 * @param x -
 * @param y -
 */
export declare const snormProbabilistic: FnN2;
/**
 * S-norm (T-conorm), dual of {@link tnormLukasiewicz}.
 *
 * @param x -
 * @param y -
 */
export declare const snormBoundedSum: FnN2;
/**
 * S-norm (T-conorm), dual of {@link tnormDrastic}.
 */
export declare const snormDrastic: FnN2;
/**
 * S-norm (T-conorm), dual of {@link tnormNilpotent}.
 *
 * @param x -
 * @param y -
 */
export declare const snormNilpotent: FnN2;
/**
 * S-norm (T-conorm), dual of {@link tnormHamacher}, iff that T-norm's curve
 * param is `p=2`.
 *
 * @param x -
 * @param y -
 */
export declare const snormEinstein: FnN2;
/**
 * HOF t-norm. Constructs a new t-norm based on given t-norms for disjoint
 * subintervals, completing remaining regions via {@link tnormMin}.
 *
 * @remarks
 * Reference: https://en.wikipedia.org/wiki/Construction_of_t-norms#Ordinal_sums
 *
 * @param specs -
 */
export declare const ordinalSum: (specs: {
    domain: Range;
    tnorm: FnN2;
}[]) => FnN2;
//# sourceMappingURL=tnorms.d.ts.map