@higher.archi/boe 1.0.0

package/dist/engines/fuzzy/fuzzy.defuzzify.js

@@ -0,0 +1,454 @@
+"use strict";
+/**
+ * Fuzzy Engine Defuzzification
+ *
+ * Aggregation, defuzzification, and transform methods.
+ * Self-contained within the fuzzy engine.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.aggregateMax = aggregateMax;
+exports.aggregateSum = aggregateSum;
+exports.aggregateProbor = aggregateProbor;
+exports.aggregateBound = aggregateBound;
+exports.aggregateMin = aggregateMin;
+exports.aggregate = aggregate;
+exports.defuzzifyCentroid = defuzzifyCentroid;
+exports.defuzzifyBisector = defuzzifyBisector;
+exports.defuzzifyMom = defuzzifyMom;
+exports.defuzzifySom = defuzzifySom;
+exports.defuzzifyLom = defuzzifyLom;
+exports.defuzzifyWtaver = defuzzifyWtaver;
+exports.defuzzify = defuzzify;
+exports.transformClamp = transformClamp;
+exports.transformRound = transformRound;
+exports.transformDeadband = transformDeadband;
+exports.transformScale = transformScale;
+exports.transformQuantize = transformQuantize;
+exports.transform = transform;
+exports.executePipeline = executePipeline;
+const fuzzy_types_1 = require("./fuzzy.types");
+const fuzzy_membership_1 = require("./fuzzy.membership");
+// ========================================
+// Aggregation Methods
+// ========================================
+/**
+ * Aggregate multiple activation degrees for the same output term
+ * Called when multiple rules fire for the same output
+ */
+/**
+ * Maximum (standard fuzzy OR)
+ */
+function aggregateMax(degrees) {
+    return Math.max(...degrees);
+}
+/**
+ * Sum (can exceed 1.0)
+ */
+function aggregateSum(degrees) {
+    return degrees.reduce((a, b) => a + b, 0);
+}
+/**
+ * Probabilistic OR: a + b - ab (for two), generalized for n
+ * Result is always in [0, 1]
+ */
+function aggregateProbor(degrees) {
+    return degrees.reduce((acc, d) => acc + d - acc * d, 0);
+}
+/**
+ * Bounded sum: min(1, a + b)
+ */
+function aggregateBound(degrees) {
+    return Math.min(1, degrees.reduce((a, b) => a + b, 0));
+}
+/**
+ * Minimum (intersection - rare for aggregation)
+ */
+function aggregateMin(degrees) {
+    return Math.min(...degrees);
+}
+/**
+ * Apply aggregation method
+ */
+function aggregate(method, degrees) {
+    if (degrees.length === 0)
+        return 0;
+    if (degrees.length === 1)
+        return degrees[0];
+    switch (method) {
+        case 'max': return aggregateMax(degrees);
+        case 'sum': return aggregateSum(degrees);
+        case 'probor': return aggregateProbor(degrees);
+        case 'bound': return aggregateBound(degrees);
+        case 'min': return aggregateMin(degrees);
+        default:
+            throw new Error(`Unknown aggregation method: ${method}`);
+    }
+}
+/**
+ * Centroid (Center of Gravity)
+ * Most common defuzzification method - finds the balance point
+ *
+ * Uses numerical integration with term centers weighted by membership
+ */
+function defuzzifyCentroid(input) {
+    const { variable, memberships } = input;
+    const [min, max] = variable.domain;
+    // Sample points for numerical integration
+    const samples = 100;
+    const step = (max - min) / samples;
+    let numerator = 0;
+    let denominator = 0;
+    for (let i = 0; i <= samples; i++) {
+        const x = min + i * step;
+        // Find maximum membership at this point (aggregated output)
+        let maxMembership = 0;
+        for (const term of variable.terms) {
+            const termMembership = memberships[term.name] || 0;
+            if (termMembership > 0) {
+                // Clip the membership function at the activation level
+                const funcMembership = getMembershipAt(x, term, variable);
+                const clipped = Math.min(termMembership, funcMembership);
+                maxMembership = Math.max(maxMembership, clipped);
+            }
+        }
+        numerator += x * maxMembership;
+        denominator += maxMembership;
+    }
+    if (denominator === 0) {
+        // No membership - return domain midpoint
+        return (min + max) / 2;
+    }
+    return numerator / denominator;
+}
+/**
+ * Bisector - finds the x value that divides the area in half
+ */
+function defuzzifyBisector(input) {
+    const { variable, memberships } = input;
+    const [min, max] = variable.domain;
+    const samples = 100;
+    const step = (max - min) / samples;
+    // First, calculate total area
+    let totalArea = 0;
+    const heights = [];
+    for (let i = 0; i <= samples; i++) {
+        const x = min + i * step;
+        let maxMembership = 0;
+        for (const term of variable.terms) {
+            const termMembership = memberships[term.name] || 0;
+            if (termMembership > 0) {
+                const funcMembership = getMembershipAt(x, term, variable);
+                const clipped = Math.min(termMembership, funcMembership);
+                maxMembership = Math.max(maxMembership, clipped);
+            }
+        }
+        heights.push(maxMembership);
+        totalArea += maxMembership * step;
+    }
+    // Find the point where cumulative area equals half
+    const halfArea = totalArea / 2;
+    let cumulative = 0;
+    for (let i = 0; i <= samples; i++) {
+        cumulative += heights[i] * step;
+        if (cumulative >= halfArea) {
+            return min + i * step;
+        }
+    }
+    return (min + max) / 2;
+}
+/**
+ * Mean of Maximum (MoM)
+ * Average of all x values with maximum membership
+ */
+function defuzzifyMom(input) {
+    const { variable, memberships } = input;
+    const [min, max] = variable.domain;
+    const samples = 100;
+    const step = (max - min) / samples;
+    // Find the maximum membership value
+    let maxValue = 0;
+    for (let i = 0; i <= samples; i++) {
+        const x = min + i * step;
+        let membership = 0;
+        for (const term of variable.terms) {
+            const termMembership = memberships[term.name] || 0;
+            if (termMembership > 0) {
+                const funcMembership = getMembershipAt(x, term, variable);
+                const clipped = Math.min(termMembership, funcMembership);
+                membership = Math.max(membership, clipped);
+            }
+        }
+        maxValue = Math.max(maxValue, membership);
+    }
+    if (maxValue === 0) {
+        return (min + max) / 2;
+    }
+    // Find all x values with maximum membership
+    const maxPoints = [];
+    const tolerance = 0.001;
+    for (let i = 0; i <= samples; i++) {
+        const x = min + i * step;
+        let membership = 0;
+        for (const term of variable.terms) {
+            const termMembership = memberships[term.name] || 0;
+            if (termMembership > 0) {
+                const funcMembership = getMembershipAt(x, term, variable);
+                const clipped = Math.min(termMembership, funcMembership);
+                membership = Math.max(membership, clipped);
+            }
+        }
+        if (Math.abs(membership - maxValue) < tolerance) {
+            maxPoints.push(x);
+        }
+    }
+    // Return mean of maximum points
+    return maxPoints.reduce((a, b) => a + b, 0) / maxPoints.length;
+}
+/**
+ * Smallest of Maximum (SoM)
+ * Leftmost x value with maximum membership - conservative
+ */
+function defuzzifySom(input) {
+    const { variable, memberships } = input;
+    const [min, max] = variable.domain;
+    const samples = 100;
+    const step = (max - min) / samples;
+    let maxValue = 0;
+    let somPoint = min;
+    for (let i = 0; i <= samples; i++) {
+        const x = min + i * step;
+        let membership = 0;
+        for (const term of variable.terms) {
+            const termMembership = memberships[term.name] || 0;
+            if (termMembership > 0) {
+                const funcMembership = getMembershipAt(x, term, variable);
+                const clipped = Math.min(termMembership, funcMembership);
+                membership = Math.max(membership, clipped);
+            }
+        }
+        if (membership > maxValue) {
+            maxValue = membership;
+            somPoint = x;
+        }
+    }
+    return somPoint;
+}
+/**
+ * Largest of Maximum (LoM)
+ * Rightmost x value with maximum membership - aggressive
+ */
+function defuzzifyLom(input) {
+    const { variable, memberships } = input;
+    const [min, max] = variable.domain;
+    const samples = 100;
+    const step = (max - min) / samples;
+    let maxValue = 0;
+    let lomPoint = max;
+    for (let i = samples; i >= 0; i--) {
+        const x = min + i * step;
+        let membership = 0;
+        for (const term of variable.terms) {
+            const termMembership = memberships[term.name] || 0;
+            if (termMembership > 0) {
+                const funcMembership = getMembershipAt(x, term, variable);
+                const clipped = Math.min(termMembership, funcMembership);
+                membership = Math.max(membership, clipped);
+            }
+        }
+        if (membership > maxValue) {
+            maxValue = membership;
+            lomPoint = x;
+        }
+    }
+    return lomPoint;
+}
+/**
+ * Weighted Average (fast approximation)
+ * Uses term centers weighted by activation degree
+ */
+function defuzzifyWtaver(input) {
+    const { variable, memberships } = input;
+    let numerator = 0;
+    let denominator = 0;
+    for (const term of variable.terms) {
+        const degree = memberships[term.name] || 0;
+        if (degree > 0) {
+            // Get term center from membership params
+            const center = getTermCenter(term.membership.shape, term.membership.params);
+            numerator += center * degree;
+            denominator += degree;
+        }
+    }
+    if (denominator === 0) {
+        const [min, max] = variable.domain;
+        return (min + max) / 2;
+    }
+    return numerator / denominator;
+}
+/**
+ * Helper: get term center point from membership params
+ */
+function getTermCenter(shape, params) {
+    switch (shape) {
+        case 'triangle':
+            return params[1]; // center
+        case 'trapezoid':
+            return (params[1] + params[2]) / 2; // midpoint of plateau
+        case 'gaussian':
+            return params[0]; // center
+        case 'shoulder':
+            return (params[0] + params[1]) / 2; // midpoint
+        case 'block':
+            return (params[0] + params[1]) / 2; // midpoint
+        default:
+            return (params[0] + params[params.length - 1]) / 2;
+    }
+}
+/**
+ * Helper: get membership at a specific x for a term
+ */
+function getMembershipAt(x, term, variable) {
+    const { shape, params } = term.membership;
+    // For shoulder, infer edge from position
+    if (shape === 'shoulder') {
+        const [min, max] = variable.domain;
+        const mid = (min + max) / 2;
+        const termCenter = (params[0] + params[1]) / 2;
+        const edge = termCenter < mid ? 'open-left' : 'open-right';
+        return (0, fuzzy_membership_1.evaluateMembership)(x, term.membership, edge);
+    }
+    return (0, fuzzy_membership_1.evaluateMembership)(x, term.membership);
+}
+/**
+ * Apply defuzzification method
+ */
+function defuzzify(method, input) {
+    switch (method) {
+        case 'centroid': return defuzzifyCentroid(input);
+        case 'bisector': return defuzzifyBisector(input);
+        case 'mom': return defuzzifyMom(input);
+        case 'som': return defuzzifySom(input);
+        case 'lom': return defuzzifyLom(input);
+        case 'wtaver': return defuzzifyWtaver(input);
+        default:
+            throw new Error(`Unknown defuzzification method: ${method}`);
+    }
+}
+// ========================================
+// Transform Methods
+// ========================================
+/**
+ * Clamp to output domain bounds
+ */
+function transformClamp(value, domain) {
+    const [min, max] = domain;
+    return Math.max(min, Math.min(max, value));
+}
+/**
+ * Round to integer
+ */
+function transformRound(value) {
+    return Math.round(value);
+}
+/**
+ * Deadband - zero out small values to reduce chatter
+ * Default threshold is 5% of domain range
+ */
+function transformDeadband(value, domain, threshold) {
+    const [min, max] = domain;
+    const range = max - min;
+    const deadband = threshold ?? range * 0.05;
+    // If value is within deadband of domain minimum, return minimum
+    if (Math.abs(value - min) < deadband) {
+        return min;
+    }
+    return value;
+}
+/**
+ * Scale to a different output range
+ */
+function transformScale(value, fromDomain, toDomain) {
+    const [fromMin, fromMax] = fromDomain;
+    const [toMin, toMax] = toDomain;
+    const normalized = (value - fromMin) / (fromMax - fromMin);
+    return toMin + normalized * (toMax - toMin);
+}
+/**
+ * Quantize to discrete steps
+ */
+function transformQuantize(value, domain, steps = 10) {
+    const [min, max] = domain;
+    const range = max - min;
+    const stepSize = range / steps;
+    const normalized = (value - min) / range;
+    const stepIndex = Math.round(normalized * steps);
+    return min + stepIndex * stepSize;
+}
+/**
+ * Apply transform method
+ */
+function transform(method, value, domain) {
+    switch (method) {
+        case 'clamp': return transformClamp(value, domain);
+        case 'round': return transformRound(value);
+        case 'deadband': return transformDeadband(value, domain);
+        case 'scale': return value; // Scale requires target domain - handled in pipeline
+        case 'quantize': return transformQuantize(value, domain);
+        default:
+            throw new Error(`Unknown transform method: ${method}`);
+    }
+}
+// ========================================
+// Pipeline Execution
+// ========================================
+/**
+ * Check if a stage is an aggregation method
+ */
+function isAggregationMethod(stage) {
+    return ['max', 'sum', 'probor', 'bound', 'min'].includes(stage);
+}
+/**
+ * Check if a stage is a defuzzify method
+ */
+function isDefuzzifyMethod(stage) {
+    return ['centroid', 'bisector', 'mom', 'som', 'lom', 'wtaver'].includes(stage);
+}
+/**
+ * Check if a stage is a transform method
+ */
+function isTransformMethod(stage) {
+    return ['clamp', 'round', 'deadband', 'scale', 'quantize'].includes(stage);
+}
+/**
+ * Execute the defuzzification pipeline
+ */
+function executePipeline(config, context) {
+    // Expand preset if needed
+    const stages = typeof config === 'string'
+        ? (0, fuzzy_types_1.expandDefuzzifyPreset)(config)
+        : config;
+    const { variable, memberships } = context;
+    let defuzzifyMethod = 'centroid';
+    const transforms = [];
+    // Categorize stages
+    for (const stage of stages) {
+        if (isAggregationMethod(stage)) {
+            // Aggregation is handled at a higher level, skip here
+        }
+        else if (isDefuzzifyMethod(stage)) {
+            defuzzifyMethod = stage;
+        }
+        else if (isTransformMethod(stage)) {
+            transforms.push(stage);
+        }
+    }
+    // Execute defuzzification
+    const input = { variable, memberships };
+    let result = defuzzify(defuzzifyMethod, input);
+    // Apply transforms in order
+    for (const t of transforms) {
+        result = transform(t, result, variable.domain);
+    }
+    return result;
+}
+//# sourceMappingURL=fuzzy.defuzzify.js.map

package/dist/engines/fuzzy/fuzzy.defuzzify.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fuzzy.defuzzify.js","sourceRoot":"","sources":["../../../src/engines/fuzzy/fuzzy.defuzzify.ts"],"names":[],"mappings":";AAAA;;;;;GAKG;;AA0BH,oCAEC;AAKD,oCAEC;AAMD,0CAEC;AAKD,wCAEC;AAKD,oCAEC;AAKD,8BAaC;AAoBD,8CAoCC;AAKD,8CAwCC;AAMD,oCAqDC;AAMD,oCA8BC;AAMD,oCA8BC;AAMD,0CAsBC;AA+CD,8BAWC;AASD,wCAGC;AAKD,wCAEC;AAMD,8CAeC;AAKD,wCAUC;AAKD,8CAaC;AAKD,8BAcC;AAuCD,0CAkCC;AA5iBD,+CASuB;AACvB,yDAAwD;AAExD,2CAA2C;AAC3C,sBAAsB;AACtB,2CAA2C;AAE3C;;;GAGG;AAEH;;GAEG;AACH,SAAgB,YAAY,CAAC,OAAiB;IAC5C,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC;AAC9B,CAAC;AAED;;GAEG;AACH,SAAgB,YAAY,CAAC,OAAiB;IAC5C,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;AAC5C,CAAC;AAED;;;GAGG;AACH,SAAgB,eAAe,CAAC,OAAiB;IAC/C,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;AAC1D,CAAC;AAED;;GAEG;AACH,SAAgB,cAAc,CAAC,OAAiB;IAC9C,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AACzD,CAAC;AAED;;GAEG;AACH,SAAgB,YAAY,CAAC,OAAiB;IAC5C,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC;AAC9B,CAAC;AAED;;GAEG;AACH,SAAgB,SAAS,CAAC,MAAyB,EAAE,OAAiB;IACpE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACnC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC;IAE5C,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,KAAK,CAAC,CAAC,OAAO,YAAY,CAAC,OAAO,CAAC,CAAC;QACzC,KAAK,KAAK,CAAC,CAAC,OAAO,YAAY,CAAC,OAAO,CAAC,CAAC;QACzC,KAAK,QAAQ,CAAC,CAAC,OAAO,eAAe,CAAC,OAAO,CAAC,CAAC;QAC/C,KAAK,OAAO,CAAC,CAAC,OAAO,cAAc,CAAC,OAAO,CAAC,CAAC;QAC7C,KAAK,KAAK,CAAC,CAAC,OAAO,YAAY,CAAC,OAAO,CAAC,CAAC;QACzC;YACE,MAAM,IAAI,KAAK,CAAC,+BAA+B,MAAM,EAAE,CAAC,CAAC;IAC7D,CAAC;AACH,CAAC;AAcD;;;;;GAKG;AACH,SAAgB,iBAAiB,CAAC,KAAqB;IACrD,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,GAAG,KAAK,CAAC;IACxC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC;IAEnC,0CAA0C;IAC1C,MAAM,OAAO,GAAG,GAAG,CAAC;IACpB,MAAM,IAAI,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,OAAO,CAAC;IAEnC,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,IAAI,WAAW,GAAG,CAAC,CAAC;IAEpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC;QAClC,MAAM,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,IAAI,CAAC;QAEzB,4DAA4D;QAC5D,IAAI,aAAa,GAAG,CAAC,CAAC;QACtB,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;YAClC,MAAM,cAAc,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnD,IAAI,cAAc,GAAG,CAAC,EAAE,CAAC;gBACvB,uDAAuD;gBACvD,MAAM,cAAc,GAAG,eAAe,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;gBAC1D,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,cAAc,EAAE,cAAc,CAAC,CAAC;gBACzD,aAAa,GAAG,IAAI,CAAC,GAAG,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC;YACnD,CAAC;QACH,CAAC;QAED,SAAS,IAAI,CAAC,GAAG,aAAa,CAAC;QAC/B,WAAW,IAAI,aAAa,CAAC;IAC/B,CAAC;IAED,IAAI,WAAW,KAAK,CAAC,EAAE,CAAC;QACtB,yCAAyC;QACzC,OAAO,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;IACzB,CAAC;IAED,OAAO,SAAS,GAAG,WAAW,CAAC;AACjC,CAAC;AAED;;GAEG;AACH,SAAgB,iBAAiB,CAAC,KAAqB;IACrD,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,GAAG,KAAK,CAAC;IACxC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC;IAEnC,MAAM,OAAO,GAAG,GAAG,CAAC;IACpB,MAAM,IAAI,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,OAAO,CAAC;IAEnC,8BAA8B;IAC9B,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC;QAClC,MAAM,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,IAAI,CAAC;QACzB,IAAI,aAAa,GAAG,CAAC,CAAC;QAEtB,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;YAClC,MAAM,cAAc,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnD,IAAI,cAAc,GAAG,CAAC,EAAE,CAAC;gBACvB,MAAM,cAAc,GAAG,eAAe,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;gBAC1D,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,cAAc,EAAE,cAAc,CAAC,CAAC;gBACzD,aAAa,GAAG,IAAI,CAAC,GAAG,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC;YACnD,CAAC;QACH,CAAC;QAED,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAC5B,SAAS,IAAI,aAAa,GAAG,IAAI,CAAC;IACpC,CAAC;IAED,mDAAmD;IACnD,MAAM,QAAQ,GAAG,SAAS,GAAG,CAAC,CAAC;IAC/B,IAAI,UAAU,GAAG,CAAC,CAAC;IAEnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC;QAClC,UAAU,IAAI,OAAO,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC;QAChC,IAAI,UAAU,IAAI,QAAQ,EAAE,CAAC;YAC3B,OAAO,GAAG,GAAG,CAAC,GAAG,IAAI,CAAC;QACxB,CAAC;IACH,CAAC;IAED,OAAO,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;AACzB,CAAC;AAED;;;GAGG;AACH,SAAgB,YAAY,CAAC,KAAqB;IAChD,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,GAAG,KAAK,CAAC;IACxC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC;IAEnC,MAAM,OAAO,GAAG,GAAG,CAAC;IACpB,MAAM,IAAI,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,OAAO,CAAC;IAEnC,oCAAoC;IACpC,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC;QAClC,MAAM,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,IAAI,CAAC;QACzB,IAAI,UAAU,GAAG,CAAC,CAAC;QAEnB,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;YAClC,MAAM,cAAc,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnD,IAAI,cAAc,GAAG,CAAC,EAAE,CAAC;gBACvB,MAAM,cAAc,GAAG,eAAe,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;gBAC1D,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,cAAc,EAAE,cAAc,CAAC,CAAC;gBACzD,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;YAC7C,CAAC;QACH,CAAC;QAED,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAC5C,CAAC;IAED,IAAI,QAAQ,KAAK,CAAC,EAAE,CAAC;QACnB,OAAO,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;IACzB,CAAC;IAED,4CAA4C;IAC5C,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,MAAM,SAAS,GAAG,KAAK,CAAC;IAExB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC;QAClC,MAAM,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,IAAI,CAAC;QACzB,IAAI,UAAU,GAAG,CAAC,CAAC;QAEnB,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;YAClC,MAAM,cAAc,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnD,IAAI,cAAc,GAAG,CAAC,EAAE,CAAC;gBACvB,MAAM,cAAc,GAAG,eAAe,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;gBAC1D,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,cAAc,EAAE,cAAc,CAAC,CAAC;gBACzD,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;YAC7C,CAAC;QACH,CAAC;QAED,IAAI,IAAI,CAAC,GAAG,CAAC,UAAU,GAAG,QAAQ,CAAC,GAAG,SAAS,EAAE,CAAC;YAChD,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpB,CAAC;IACH,CAAC;IAED,gCAAgC;IAChC,OAAO,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,SAAS,CAAC,MAAM,CAAC;AACjE,CAAC;AAED;;;GAGG;AACH,SAAgB,YAAY,CAAC,KAAqB;IAChD,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,GAAG,KAAK,CAAC;IACxC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC;IAEnC,MAAM,OAAO,GAAG,GAAG,CAAC;IACpB,MAAM,IAAI,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,OAAO,CAAC;IAEnC,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,IAAI,QAAQ,GAAG,GAAG,CAAC;IAEnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC;QAClC,MAAM,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,IAAI,CAAC;QACzB,IAAI,UAAU,GAAG,CAAC,CAAC;QAEnB,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;YAClC,MAAM,cAAc,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnD,IAAI,cAAc,GAAG,CAAC,EAAE,CAAC;gBACvB,MAAM,cAAc,GAAG,eAAe,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;gBAC1D,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,cAAc,EAAE,cAAc,CAAC,CAAC;gBACzD,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;YAC7C,CAAC;QACH,CAAC;QAED,IAAI,UAAU,GAAG,QAAQ,EAAE,CAAC;YAC1B,QAAQ,GAAG,UAAU,CAAC;YACtB,QAAQ,GAAG,CAAC,CAAC;QACf,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;GAGG;AACH,SAAgB,YAAY,CAAC,KAAqB;IAChD,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,GAAG,KAAK,CAAC;IACxC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC;IAEnC,MAAM,OAAO,GAAG,GAAG,CAAC;IACpB,MAAM,IAAI,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,OAAO,CAAC;IAEnC,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,IAAI,QAAQ,GAAG,GAAG,CAAC;IAEnB,KAAK,IAAI,CAAC,GAAG,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAClC,MAAM,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,IAAI,CAAC;QACzB,IAAI,UAAU,GAAG,CAAC,CAAC;QAEnB,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;YAClC,MAAM,cAAc,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnD,IAAI,cAAc,GAAG,CAAC,EAAE,CAAC;gBACvB,MAAM,cAAc,GAAG,eAAe,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;gBAC1D,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,cAAc,EAAE,cAAc,CAAC,CAAC;gBACzD,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;YAC7C,CAAC;QACH,CAAC;QAED,IAAI,UAAU,GAAG,QAAQ,EAAE,CAAC;YAC1B,QAAQ,GAAG,UAAU,CAAC;YACtB,QAAQ,GAAG,CAAC,CAAC;QACf,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;GAGG;AACH,SAAgB,eAAe,CAAC,KAAqB;IACnD,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,GAAG,KAAK,CAAC;IAExC,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,IAAI,WAAW,GAAG,CAAC,CAAC;IAEpB,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3C,IAAI,MAAM,GAAG,CAAC,EAAE,CAAC;YACf,yCAAyC;YACzC,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;YAC5E,SAAS,IAAI,MAAM,GAAG,MAAM,CAAC;YAC7B,WAAW,IAAI,MAAM,CAAC;QACxB,CAAC;IACH,CAAC;IAED,IAAI,WAAW,KAAK,CAAC,EAAE,CAAC;QACtB,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC;QACnC,OAAO,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;IACzB,CAAC;IAED,OAAO,SAAS,GAAG,WAAW,CAAC;AACjC,CAAC;AAED;;GAEG;AACH,SAAS,aAAa,CAAC,KAAa,EAAE,MAAgB;IACpD,QAAQ,KAAK,EAAE,CAAC;QACd,KAAK,UAAU;YACb,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC,CAAE,SAAS;QAC9B,KAAK,WAAW;YACd,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAE,sBAAsB;QAC7D,KAAK,UAAU;YACb,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC,CAAE,SAAS;QAC9B,KAAK,UAAU;YACb,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAE,WAAW;QAClD,KAAK,OAAO;YACV,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAE,WAAW;QAClD;YACE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACvD,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,eAAe,CACtB,CAAS,EACT,IAAuE,EACvE,QAA+B;IAE/B,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,UAAU,CAAC;IAE1C,yCAAyC;IACzC,IAAI,KAAK,KAAK,UAAU,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC;QACnC,MAAM,GAAG,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;QAC5B,MAAM,UAAU,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAC/C,MAAM,IAAI,GAAG,UAAU,GAAG,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,YAAY,CAAC;QAC3D,OAAO,IAAA,qCAAkB,EAAC,CAAC,EAAE,IAAI,CAAC,UAAiB,EAAE,IAAI,CAAC,CAAC;IAC7D,CAAC;IAED,OAAO,IAAA,qCAAkB,EAAC,CAAC,EAAE,IAAI,CAAC,UAAiB,CAAC,CAAC;AACvD,CAAC;AAED;;GAEG;AACH,SAAgB,SAAS,CAAC,MAAuB,EAAE,KAAqB;IACtE,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,UAAU,CAAC,CAAC,OAAO,iBAAiB,CAAC,KAAK,CAAC,CAAC;QACjD,KAAK,UAAU,CAAC,CAAC,OAAO,iBAAiB,CAAC,KAAK,CAAC,CAAC;QACjD,KAAK,KAAK,CAAC,CAAC,OAAO,YAAY,CAAC,KAAK,CAAC,CAAC;QACvC,KAAK,KAAK,CAAC,CAAC,OAAO,YAAY,CAAC,KAAK,CAAC,CAAC;QACvC,KAAK,KAAK,CAAC,CAAC,OAAO,YAAY,CAAC,KAAK,CAAC,CAAC;QACvC,KAAK,QAAQ,CAAC,CAAC,OAAO,eAAe,CAAC,KAAK,CAAC,CAAC;QAC7C;YACE,MAAM,IAAI,KAAK,CAAC,mCAAmC,MAAM,EAAE,CAAC,CAAC;IACjE,CAAC;AACH,CAAC;AAED,2CAA2C;AAC3C,oBAAoB;AACpB,2CAA2C;AAE3C;;GAEG;AACH,SAAgB,cAAc,CAAC,KAAa,EAAE,MAAwB;IACpE,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,MAAM,CAAC;IAC1B,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC;AAED;;GAEG;AACH,SAAgB,cAAc,CAAC,KAAa;IAC1C,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;AAC3B,CAAC;AAED;;;GAGG;AACH,SAAgB,iBAAiB,CAC/B,KAAa,EACb,MAAwB,EACxB,SAAkB;IAElB,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,MAAM,CAAC;IAC1B,MAAM,KAAK,GAAG,GAAG,GAAG,GAAG,CAAC;IACxB,MAAM,QAAQ,GAAG,SAAS,IAAI,KAAK,GAAG,IAAI,CAAC;IAE3C,gEAAgE;IAChE,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,GAAG,GAAG,CAAC,GAAG,QAAQ,EAAE,CAAC;QACrC,OAAO,GAAG,CAAC;IACb,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,SAAgB,cAAc,CAC5B,KAAa,EACb,UAA4B,EAC5B,QAA0B;IAE1B,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,UAAU,CAAC;IACtC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,QAAQ,CAAC;IAEhC,MAAM,UAAU,GAAG,CAAC,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,OAAO,GAAG,OAAO,CAAC,CAAC;IAC3D,OAAO,KAAK,GAAG,UAAU,GAAG,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC;AAC9C,CAAC;AAED;;GAEG;AACH,SAAgB,iBAAiB,CAC/B,KAAa,EACb,MAAwB,EACxB,QAAgB,EAAE;IAElB,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,MAAM,CAAC;IAC1B,MAAM,KAAK,GAAG,GAAG,GAAG,GAAG,CAAC;IACxB,MAAM,QAAQ,GAAG,KAAK,GAAG,KAAK,CAAC;IAE/B,MAAM,UAAU,GAAG,CAAC,KAAK,GAAG,GAAG,CAAC,GAAG,KAAK,CAAC;IACzC,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,GAAG,KAAK,CAAC,CAAC;IAEjD,OAAO,GAAG,GAAG,SAAS,GAAG,QAAQ,CAAC;AACpC,CAAC;AAED;;GAEG;AACH,SAAgB,SAAS,CACvB,MAAuB,EACvB,KAAa,EACb,MAAwB;IAExB,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,OAAO,CAAC,CAAC,OAAO,cAAc,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACnD,KAAK,OAAO,CAAC,CAAC,OAAO,cAAc,CAAC,KAAK,CAAC,CAAC;QAC3C,KAAK,UAAU,CAAC,CAAC,OAAO,iBAAiB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACzD,KAAK,OAAO,CAAC,CAAC,OAAO,KAAK,CAAC,CAAE,qDAAqD;QAClF,KAAK,UAAU,CAAC,CAAC,OAAO,iBAAiB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACzD;YACE,MAAM,IAAI,KAAK,CAAC,6BAA6B,MAAM,EAAE,CAAC,CAAC;IAC3D,CAAC;AACH,CAAC;AAED,2CAA2C;AAC3C,qBAAqB;AACrB,2CAA2C;AAE3C;;GAEG;AACH,SAAS,mBAAmB,CAAC,KAAa;IACxC,OAAO,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AAClE,CAAC;AAED;;GAEG;AACH,SAAS,iBAAiB,CAAC,KAAa;IACtC,OAAO,CAAC,UAAU,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AACjF,CAAC;AAED;;GAEG;AACH,SAAS,iBAAiB,CAAC,KAAa;IACtC,OAAO,CAAC,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AAC7E,CAAC;AAWD;;GAEG;AACH,SAAgB,eAAe,CAC7B,MAAuB,EACvB,OAAwB;IAExB,0BAA0B;IAC1B,MAAM,MAAM,GAAqB,OAAO,MAAM,KAAK,QAAQ;QACzD,CAAC,CAAC,IAAA,mCAAqB,EAAC,MAAM,CAAC;QAC/B,CAAC,CAAC,MAAM,CAAC;IAEX,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,GAAG,OAAO,CAAC;IAC1C,IAAI,eAAe,GAAoB,UAAU,CAAC;IAClD,MAAM,UAAU,GAAsB,EAAE,CAAC;IAEzC,oBAAoB;IACpB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC;YAC/B,sDAAsD;QACxD,CAAC;aAAM,IAAI,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC;YACpC,eAAe,GAAG,KAAK,CAAC;QAC1B,CAAC;aAAM,IAAI,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC;YACpC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IAED,0BAA0B;IAC1B,MAAM,KAAK,GAAmB,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC;IACxD,IAAI,MAAM,GAAG,SAAS,CAAC,eAAe,EAAE,KAAK,CAAC,CAAC;IAE/C,4BAA4B;IAC5B,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,MAAM,GAAG,SAAS,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IACjD,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/engines/fuzzy/fuzzy.membership.d.ts

@@ -0,0 +1,162 @@
+/**
+ * Fuzzy Engine Membership Functions
+ *
+ * Membership function implementations, compilation, and evaluation.
+ * Self-contained within the fuzzy engine.
+ */
+import { CompiledMembershipFunction, SemanticFuzzyTerm, ExplicitFuzzyTerm, FuzzyTerm, CompiledFuzzyTerm, FuzzyVariable, CompiledFuzzyVariable } from './fuzzy.types';
+/**
+ * Triangle membership function
+ * params: [left, center, right]
+ *
+ *        1 ┤    /\
+ *          │   /  \
+ *          │  /    \
+ *        0 ┼─/──────\──
+ *           left center right
+ */
+export declare function triangleMembership(x: number, params: number[]): number;
+/**
+ * Trapezoid membership function
+ * params: [left, leftTop, rightTop, right]
+ *
+ *        1 ┤   ┌────┐
+ *          │  /      \
+ *          │ /        \
+ *        0 ┼/──────────\─
+ *          left      right
+ */
+export declare function trapezoidMembership(x: number, params: number[]): number;
+/**
+ * Gaussian membership function
+ * params: [center, sigma]
+ *
+ *        1 ┤    ∩
+ *          │   / \
+ *          │  /   \
+ *        0 ┼─/─────\─
+ *             center
+ */
+export declare function gaussianMembership(x: number, params: number[]): number;
+/**
+ * Shoulder membership function (left or right open)
+ * params: [inflectionStart, inflectionEnd]
+ *
+ * Left shoulder (open-left):     Right shoulder (open-right):
+ *        1 ┤────┐                       1 ┤      ┌────
+ *          │    \                         │     /
+ *          │     \                        │    /
+ *        0 ┼──────\──                   0 ┼───/─────
+ *
+ * For open-left: full membership from -∞ to inflectionStart, ramps down to 0 at inflectionEnd
+ * For open-right: 0 until inflectionStart, ramps up to full at inflectionEnd, stays 1 to +∞
+ */
+export declare function shoulderMembership(x: number, params: number[], edge: 'open-left' | 'open-right'): number;
+/**
+ * Block (crisp/rectangular) membership function
+ * params: [left, right]
+ *
+ *        1 ┤  ┌────┐
+ *          │  │    │
+ *          │  │    │
+ *        0 ┼──┘────└──
+ *           left right
+ */
+export declare function blockMembership(x: number, params: number[]): number;
+/**
+ * Evaluate membership for a compiled membership function
+ */
+export declare function evaluateMembership(x: number, membership: CompiledMembershipFunction, edge?: 'open-left' | 'open-right'): number;
+/**
+ * Compile a semantic fuzzy term to explicit numeric parameters
+ */
+export declare function compileSemanticTerm(term: SemanticFuzzyTerm, domain: [number, number]): CompiledMembershipFunction;
+/**
+ * Compile an explicit term (just validate and pass through)
+ */
+export declare function compileExplicitTerm(term: ExplicitFuzzyTerm): CompiledMembershipFunction;
+/**
+ * Compile any fuzzy term (semantic or explicit)
+ */
+export declare function compileFuzzyTerm(term: FuzzyTerm, domain: [number, number]): CompiledFuzzyTerm;
+/**
+ * Compile a fuzzy variable with all its terms
+ */
+export declare function compileFuzzyVariable(variable: FuzzyVariable): CompiledFuzzyVariable;
+/**
+ * Parse a term reference like 'temperature.hot' into [variable, term]
+ */
+export declare function parseTermRef(ref: string): [string, string];
+/**
+ * Get membership degree for a value against a specific term
+ */
+export declare function getMembershipDegree(value: number, variable: CompiledFuzzyVariable, termName: string): number;
+/**
+ * Get all membership degrees for a value across all terms of a variable
+ */
+export declare function fuzzifyValue(value: number, variable: CompiledFuzzyVariable): Record<string, number>;
+/**
+ * Coverage analysis result for a fuzzy variable
+ */
+export type CoverageAnalysis = {
+    /** Minimum coverage found (0-1, ideally > 0) */
+    minCoverage: number;
+    /** Average coverage across domain */
+    avgCoverage: number;
+    /** Maximum coverage (can exceed 1 with overlapping terms) */
+    maxCoverage: number;
+    /** Points where coverage drops below threshold */
+    gaps: Array<{
+        position: number;
+        coverage: number;
+    }>;
+    /** Coverage values sampled across domain */
+    samples: Array<{
+        position: number;
+        coverage: number;
+    }>;
+};
+/**
+ * Analyze coverage of a compiled fuzzy variable
+ * Returns statistics about how well the terms cover the domain
+ *
+ * @param variable - Compiled fuzzy variable to analyze
+ * @param resolution - Number of sample points (default 100)
+ * @param threshold - Coverage below this is considered a gap (default 0.1)
+ */
+export declare function analyzeCoverage(variable: CompiledFuzzyVariable, resolution?: number, threshold?: number): CoverageAnalysis;
+/**
+ * Options for auto-adjusting fuzzy variable coverage
+ */
+export type AutoAdjustOptions = {
+    /** Target minimum coverage (default 0.3) */
+    targetMinCoverage?: number;
+    /** Maximum width multiplier to apply (default 2.0) */
+    maxWidthMultiplier?: number;
+    /** Resolution for coverage analysis (default 100) */
+    resolution?: number;
+};
+/**
+ * Auto-adjust semantic term widths to ensure minimum coverage
+ * Returns a new variable definition with adjusted widths
+ *
+ * This works by:
+ * 1. Analyzing current coverage
+ * 2. Finding gaps where coverage < target
+ * 3. Expanding widths of terms to fill gaps
+ * 4. Repeating until coverage is adequate or terms can't expand further
+ *
+ * @param variable - Original fuzzy variable definition
+ * @param options - Adjustment options
+ * @returns Adjusted variable with expanded widths, or original if no adjustment needed
+ */
+export declare function autoAdjustCoverage(variable: FuzzyVariable, options?: AutoAdjustOptions): FuzzyVariable;
+/**
+ * Compile a fuzzy variable with automatic coverage adjustment
+ *
+ * @param variable - Fuzzy variable definition
+ * @param options - Auto-adjust options (or false to disable)
+ * @returns Compiled variable with guaranteed minimum coverage
+ */
+export declare function compileFuzzyVariableWithCoverage(variable: FuzzyVariable, options?: AutoAdjustOptions | false): CompiledFuzzyVariable;
+//# sourceMappingURL=fuzzy.membership.d.ts.map

package/dist/engines/fuzzy/fuzzy.membership.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fuzzy.membership.d.ts","sourceRoot":"","sources":["../../../src/engines/fuzzy/fuzzy.membership.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAEL,0BAA0B,EAC1B,iBAAiB,EACjB,iBAAiB,EACjB,SAAS,EACT,iBAAiB,EACjB,aAAa,EACb,qBAAqB,EAKtB,MAAM,eAAe,CAAC;AAMvB;;;;;;;;;GASG;AACH,wBAAgB,kBAAkB,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,CAOtE;AAED;;;;;;;;;GASG;AACH,wBAAgB,mBAAmB,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,CAOvE;AAED;;;;;;;;;GASG;AACH,wBAAgB,kBAAkB,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,CAItE;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,kBAAkB,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,GAAG,YAAY,GAAG,MAAM,CAcxG;AAED;;;;;;;;;GASG;AACH,wBAAgB,eAAe,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,CAGnE;AAMD;;GAEG;AACH,wBAAgB,kBAAkB,CAChC,CAAC,EAAE,MAAM,EACT,UAAU,EAAE,0BAA0B,EACtC,IAAI,CAAC,EAAE,WAAW,GAAG,YAAY,GAChC,MAAM,CAgBR;AAMD;;GAEG;AACH,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,iBAAiB,EACvB,MAAM,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,GACvB,0BAA0B,CA4D5B;AAED;;GAEG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,iBAAiB,GAAG,0BAA0B,CAqBvF;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,SAAS,EACf,MAAM,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,GACvB,iBAAiB,CASnB;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAAC,QAAQ,EAAE,aAAa,GAAG,qBAAqB,CAenF;AAMD;;GAEG;AACH,wBAAgB,YAAY,CAAC,GAAG,EAAE,MAAM,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAM1D;AAED;;GAEG;AACH,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,qBAAqB,EAC/B,QAAQ,EAAE,MAAM,GACf,MAAM,CAiBR;AAED;;GAEG;AACH,wBAAgB,YAAY,CAC1B,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,qBAAqB,GAC9B,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAQxB;AAMD;;GAEG;AACH,MAAM,MAAM,gBAAgB,GAAG;IAC7B,gDAAgD;IAChD,WAAW,EAAE,MAAM,CAAC;IACpB,qCAAqC;IACrC,WAAW,EAAE,MAAM,CAAC;IACpB,6DAA6D;IAC7D,WAAW,EAAE,MAAM,CAAC;IACpB,kDAAkD;IAClD,IAAI,EAAE,KAAK,CAAC;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACpD,4CAA4C;IAC5C,OAAO,EAAE,KAAK,CAAC;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACxD,CAAC;AAEF;;;;;;;GAOG;AACH,wBAAgB,eAAe,CAC7B,QAAQ,EAAE,qBAAqB,EAC/B,UAAU,GAAE,MAAY,EACxB,SAAS,GAAE,MAAY,GACtB,gBAAgB,CAkClB;AAED;;GAEG;AACH,MAAM,MAAM,iBAAiB,GAAG;IAC9B,4CAA4C;IAC5C,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,sDAAsD;IACtD,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,qDAAqD;IACrD,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB,CAAC;AAEF;;;;;;;;;;;;;GAaG;AACH,wBAAgB,kBAAkB,CAChC,QAAQ,EAAE,aAAa,EACvB,OAAO,GAAE,iBAAsB,GAC9B,aAAa,CAiDf;AAgGD;;;;;;GAMG;AACH,wBAAgB,gCAAgC,CAC9C,QAAQ,EAAE,aAAa,EACvB,OAAO,GAAE,iBAAiB,GAAG,KAAU,GACtC,qBAAqB,CAMvB"}