@higher.archi/boe 1.0.0

package/dist/engines/fuzzy/strategy.js

@@ -0,0 +1,255 @@
+"use strict";
+/**
+ * Fuzzy Engine Strategy
+ *
+ * Fuzzy inference engine implementation.
+ * Self-contained within the fuzzy engine.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.fuzzyStrategy = exports.FuzzyStrategy = void 0;
+exports.evaluateFuzzyIs = evaluateFuzzyIs;
+exports.evaluateFuzzyIsNot = evaluateFuzzyIsNot;
+const core_1 = require("../../core");
+const types_1 = require("./types");
+const fuzzy_membership_1 = require("./fuzzy.membership");
+const fuzzy_defuzzify_1 = require("./fuzzy.defuzzify");
+/**
+ * Evaluate a fuzzy 'is' condition
+ * Returns the membership degree (0-1) rather than boolean
+ */
+function evaluateFuzzyIs(value, termRef, ctx) {
+    const [varName, termName] = (0, fuzzy_membership_1.parseTermRef)(termRef);
+    const variable = ctx.variables.get(varName);
+    if (!variable) {
+        throw new Error(`Fuzzy variable '${varName}' not found`);
+    }
+    return (0, fuzzy_membership_1.getMembershipDegree)(value, variable, termName);
+}
+/**
+ * Evaluate a fuzzy 'isNot' condition
+ * Returns 1 - membership degree
+ */
+function evaluateFuzzyIsNot(value, termRef, ctx) {
+    return 1 - evaluateFuzzyIs(value, termRef, ctx);
+}
+// ========================================
+// Fuzzy Strategy
+// ========================================
+class FuzzyStrategy {
+    run(ruleSet, wm, options = {}) {
+        const startTime = performance.now();
+        // Ensure ruleset is fuzzy mode
+        if (ruleSet.mode !== 'fuzzy') {
+            throw new Error(`FuzzyStrategy requires mode='fuzzy', got '${ruleSet.mode}'`);
+        }
+        const { onFire } = options;
+        const config = ruleSet.config;
+        const threshold = config.threshold ?? 0.01;
+        const defuzzifyConfig = config.defuzzify ?? 'balanced';
+        // Get aggregation method from pipeline
+        const aggregationMethod = this.getAggregationMethod(defuzzifyConfig);
+        // Phase 1: Fuzzify all inputs (for debugging/introspection)
+        const memberships = {};
+        // Phase 2: Evaluate rules and collect activations
+        const activations = [];
+        const fired = [];
+        // Track output activations by variable.term
+        const outputActivations = new Map();
+        for (const rule of ruleSet.rules) {
+            // Match the rule's input patterns (skip where clause - we evaluate it fuzzy-style)
+            const matches = (0, core_1.matchInputsOnly)(rule, wm);
+            for (const activation of matches) {
+                // Evaluate the fuzzy conditions to get the activation degree
+                const degree = this.evaluateRuleDegree(rule, activation.facts, ruleSet.variableIndex, threshold, memberships);
+                if (degree >= threshold) {
+                    const fuzzyAction = rule.action;
+                    const { variable: outVar, term: outTerm } = fuzzyAction.output;
+                    // Use explicit degree if provided, otherwise use calculated degree
+                    const finalDegree = fuzzyAction.degree ?? degree;
+                    activations.push({
+                        ruleId: rule.id,
+                        outputVariable: outVar,
+                        outputTerm: outTerm,
+                        degree: finalDegree
+                    });
+                    if (!fired.includes(rule.id)) {
+                        fired.push(rule.id);
+                    }
+                    // Track for aggregation
+                    if (!outputActivations.has(outVar)) {
+                        outputActivations.set(outVar, new Map());
+                    }
+                    const varActivations = outputActivations.get(outVar);
+                    if (!varActivations.has(outTerm)) {
+                        varActivations.set(outTerm, []);
+                    }
+                    varActivations.get(outTerm).push(finalDegree);
+                    // Fire callback
+                    onFire?.(rule.id, activation.facts, finalDegree);
+                }
+            }
+        }
+        // Phase 3: Aggregate outputs
+        const aggregated = {};
+        for (const [varName, termActivations] of outputActivations) {
+            aggregated[varName] = {};
+            for (const [termName, degrees] of termActivations) {
+                aggregated[varName][termName] = (0, fuzzy_defuzzify_1.aggregate)(aggregationMethod, degrees);
+            }
+        }
+        // Phase 4: Defuzzify each output variable
+        const outputs = {};
+        for (const [varName, termMemberships] of Object.entries(aggregated)) {
+            const variable = ruleSet.variableIndex.get(varName);
+            if (!variable) {
+                throw new Error(`Output variable '${varName}' not found`);
+            }
+            const crispValue = (0, fuzzy_defuzzify_1.executePipeline)(defuzzifyConfig, {
+                variable,
+                memberships: termMemberships,
+                aggregationMethod
+            });
+            outputs[varName] = crispValue;
+        }
+        const executionTimeMs = Math.round((performance.now() - startTime) * 100) / 100;
+        return {
+            memberships,
+            activations,
+            aggregated,
+            fired,
+            iterations: 1,
+            outputs,
+            executionTimeMs
+        };
+    }
+    /**
+     * Extract aggregation method from defuzzify config
+     */
+    getAggregationMethod(config) {
+        const stages = typeof config === 'string'
+            ? (0, types_1.expandDefuzzifyPreset)(config)
+            : config;
+        // Find aggregation stage
+        const aggMethods = ['max', 'sum', 'probor', 'bound', 'min'];
+        for (const stage of stages) {
+            if (aggMethods.includes(stage)) {
+                return stage;
+            }
+        }
+        return 'max'; // Default
+    }
+    /**
+     * Evaluate a rule's conditions to determine activation degree
+     *
+     * For fuzzy rules, the 'where' clause can contain:
+     * - ['is', '$var.path', 'variable.term'] - returns membership degree
+     * - ['isNot', '$var.path', 'variable.term'] - returns 1 - membership
+     * - ['and', [...], [...]] - min of degrees
+     * - ['or', [...], [...]] - max of degrees
+     * - Standard boolean operators - return 1 or 0
+     */
+    evaluateRuleDegree(rule, bindings, variables, _threshold, memberships) {
+        const when = rule.when;
+        // No conditions = fully activated
+        if (!when) {
+            return 1.0;
+        }
+        return this.evaluateFuzzyCondition(when, bindings, variables, memberships);
+    }
+    /**
+     * Recursively evaluate a fuzzy condition tree
+     */
+    evaluateFuzzyCondition(condition, bindings, variables, memberships) {
+        const { op, operands, children } = condition;
+        // Fuzzy 'is' operator
+        if (op === 'is') {
+            const value = this.resolveValue(operands[0], bindings);
+            const termRef = operands[1].value; // Constant string like 'temperature.hot'
+            const [varName, termName] = (0, fuzzy_membership_1.parseTermRef)(termRef);
+            const variable = variables.get(varName);
+            if (!variable) {
+                throw new Error(`Fuzzy variable '${varName}' not found`);
+            }
+            const degree = (0, fuzzy_membership_1.getMembershipDegree)(value, variable, termName);
+            // Track for debugging
+            if (!memberships[varName]) {
+                memberships[varName] = (0, fuzzy_membership_1.fuzzifyValue)(value, variable);
+            }
+            return degree;
+        }
+        // Fuzzy 'isNot' operator
+        if (op === 'isNot') {
+            const value = this.resolveValue(operands[0], bindings);
+            const termRef = operands[1].value;
+            const [varName, termName] = (0, fuzzy_membership_1.parseTermRef)(termRef);
+            const variable = variables.get(varName);
+            if (!variable) {
+                throw new Error(`Fuzzy variable '${varName}' not found`);
+            }
+            const degree = 1 - (0, fuzzy_membership_1.getMembershipDegree)(value, variable, termName);
+            // Track for debugging
+            if (!memberships[varName]) {
+                memberships[varName] = (0, fuzzy_membership_1.fuzzifyValue)(value, variable);
+            }
+            return degree;
+        }
+        // Fuzzy AND = min
+        if (op === 'and') {
+            const degrees = children.map((child) => this.evaluateFuzzyCondition(child, bindings, variables, memberships));
+            return Math.min(...degrees);
+        }
+        // Fuzzy OR = max
+        if (op === 'or') {
+            const degrees = children.map((child) => this.evaluateFuzzyCondition(child, bindings, variables, memberships));
+            return Math.max(...degrees);
+        }
+        // Fuzzy NOT = 1 - degree
+        if (op === 'not') {
+            const degree = this.evaluateFuzzyCondition(children[0], bindings, variables, memberships);
+            return 1 - degree;
+        }
+        // Fuzzy XOR = |a - b| (difference)
+        if (op === 'xor') {
+            const a = this.evaluateFuzzyCondition(children[0], bindings, variables, memberships);
+            const b = this.evaluateFuzzyCondition(children[1], bindings, variables, memberships);
+            return Math.abs(a - b);
+        }
+        // For other boolean operators, evaluate and return 1 or 0
+        // This allows mixing fuzzy and crisp conditions
+        const boolResult = this.evaluateBooleanCondition(condition, bindings);
+        return boolResult ? 1.0 : 0.0;
+    }
+    /**
+     * Evaluate a standard boolean condition (non-fuzzy)
+     */
+    evaluateBooleanCondition(condition, bindings) {
+        return (0, core_1.evaluateCondition)(condition, bindings);
+    }
+    /**
+     * Resolve a value from an operand
+     */
+    resolveValue(operand, bindings) {
+        if (operand.type === 'constant') {
+            return operand.value;
+        }
+        if (operand.type === 'property') {
+            const fact = bindings[operand.ref.param];
+            if (!fact) {
+                throw new Error(`Fact '${operand.ref.param}' not found in bindings`);
+            }
+            let value = fact.data;
+            for (const key of operand.ref.path) {
+                value = value?.[key];
+            }
+            if (typeof value !== 'number') {
+                throw new Error(`Fuzzy membership requires numeric value, got ${typeof value}`);
+            }
+            return value;
+        }
+        throw new Error(`Unknown operand type: ${operand.type}`);
+    }
+}
+exports.FuzzyStrategy = FuzzyStrategy;
+// Create singleton instance
+exports.fuzzyStrategy = new FuzzyStrategy();
+//# sourceMappingURL=strategy.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"strategy.js","sourceRoot":"","sources":["../../../src/engines/fuzzy/strategy.ts"],"names":[],"mappings":";AAAA;;;;;GAKG;;;AA0CH,0CAaC;AAMD,gDAMC;AAjED,qCAAgG;AAEhG,mCAaiB;AACjB,yDAI4B;AAC5B,uDAA+D;AAe/D;;;GAGG;AACH,SAAgB,eAAe,CAC7B,KAAa,EACb,OAAe,EACf,GAA2B;IAE3B,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,GAAG,IAAA,+BAAY,EAAC,OAAO,CAAC,CAAC;IAClD,MAAM,QAAQ,GAAG,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAE5C,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,MAAM,IAAI,KAAK,CAAC,mBAAmB,OAAO,aAAa,CAAC,CAAC;IAC3D,CAAC;IAED,OAAO,IAAA,sCAAmB,EAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;AACxD,CAAC;AAED;;;GAGG;AACH,SAAgB,kBAAkB,CAChC,KAAa,EACb,OAAe,EACf,GAA2B;IAE3B,OAAO,CAAC,GAAG,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;AAClD,CAAC;AAED,2CAA2C;AAC3C,iBAAiB;AACjB,2CAA2C;AAE3C,MAAa,aAAa;IACxB,GAAG,CACD,OAA6B,EAC7B,EAAkB,EAClB,UAAwB,EAAE;QAE1B,MAAM,SAAS,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;QAEpC,+BAA+B;QAC/B,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC7B,MAAM,IAAI,KAAK,CAAC,6CAA6C,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC;QAChF,CAAC;QAED,MAAM,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC;QAC3B,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;QAC9B,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,IAAI,IAAI,CAAC;QAC3C,MAAM,eAAe,GAAoB,MAAM,CAAC,SAAS,IAAI,UAAU,CAAC;QAExE,uCAAuC;QACvC,MAAM,iBAAiB,GAAG,IAAI,CAAC,oBAAoB,CAAC,eAAe,CAAC,CAAC;QAErE,4DAA4D;QAC5D,MAAM,WAAW,GAAwB,EAAE,CAAC;QAE5C,kDAAkD;QAClD,MAAM,WAAW,GAAsB,EAAE,CAAC;QAC1C,MAAM,KAAK,GAAa,EAAE,CAAC;QAE3B,4CAA4C;QAC5C,MAAM,iBAAiB,GAAuC,IAAI,GAAG,EAAE,CAAC;QAExE,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;YACjC,mFAAmF;YACnF,MAAM,OAAO,GAAG,IAAA,sBAAe,EAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAE1C,KAAK,MAAM,UAAU,IAAI,OAAO,EAAE,CAAC;gBACjC,6DAA6D;gBAC7D,MAAM,MAAM,GAAG,IAAI,CAAC,kBAAkB,CACpC,IAAI,EACJ,UAAU,CAAC,KAAK,EAChB,OAAO,CAAC,aAAa,EACrB,SAAS,EACT,WAAW,CACZ,CAAC;gBAEF,IAAI,MAAM,IAAI,SAAS,EAAE,CAAC;oBACxB,MAAM,WAAW,GAAG,IAAI,CAAC,MAA6B,CAAC;oBACvD,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,WAAW,CAAC,MAAM,CAAC;oBAE/D,mEAAmE;oBACnE,MAAM,WAAW,GAAG,WAAW,CAAC,MAAM,IAAI,MAAM,CAAC;oBAEjD,WAAW,CAAC,IAAI,CAAC;wBACf,MAAM,EAAE,IAAI,CAAC,EAAE;wBACf,cAAc,EAAE,MAAM;wBACtB,UAAU,EAAE,OAAO;wBACnB,MAAM,EAAE,WAAW;qBACpB,CAAC,CAAC;oBAEH,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;wBAC7B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;oBACtB,CAAC;oBAED,wBAAwB;oBACxB,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;wBACnC,iBAAiB,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;oBAC3C,CAAC;oBACD,MAAM,cAAc,GAAG,iBAAiB,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC;oBACtD,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;wBACjC,cAAc,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;oBAClC,CAAC;oBACD,cAAc,CAAC,GAAG,CAAC,OAAO,CAAE,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;oBAE/C,gBAAgB;oBAChB,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,UAAU,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;gBACnD,CAAC;YACH,CAAC;QACH,CAAC;QAED,6BAA6B;QAC7B,MAAM,UAAU,GAAsB,EAAE,CAAC;QAEzC,KAAK,MAAM,CAAC,OAAO,EAAE,eAAe,CAAC,IAAI,iBAAiB,EAAE,CAAC;YAC3D,UAAU,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC;YACzB,KAAK,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,eAAe,EAAE,CAAC;gBAClD,UAAU,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,GAAG,IAAA,2BAAS,EAAC,iBAAiB,EAAE,OAAO,CAAC,CAAC;YACxE,CAAC;QACH,CAAC;QAED,0CAA0C;QAC1C,MAAM,OAAO,GAAiB,EAAE,CAAC;QAEjC,KAAK,MAAM,CAAC,OAAO,EAAE,eAAe,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;YACpE,MAAM,QAAQ,GAAG,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACpD,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACd,MAAM,IAAI,KAAK,CAAC,oBAAoB,OAAO,aAAa,CAAC,CAAC;YAC5D,CAAC;YAED,MAAM,UAAU,GAAG,IAAA,iCAAe,EAAC,eAAe,EAAE;gBAClD,QAAQ;gBACR,WAAW,EAAE,eAAe;gBAC5B,iBAAiB;aAClB,CAAC,CAAC;YAEH,OAAO,CAAC,OAAO,CAAC,GAAG,UAAU,CAAC;QAChC,CAAC;QAED,MAAM,eAAe,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC;QAEhF,OAAO;YACL,WAAW;YACX,WAAW;YACX,UAAU;YACV,KAAK;YACL,UAAU,EAAE,CAAC;YACb,OAAO;YACP,eAAe;SAChB,CAAC;IACJ,CAAC;IAED;;OAEG;IACK,oBAAoB,CAAC,MAAuB;QAClD,MAAM,MAAM,GAAqB,OAAO,MAAM,KAAK,QAAQ;YACzD,CAAC,CAAC,IAAA,6BAAqB,EAAC,MAAM,CAAC;YAC/B,CAAC,CAAC,MAAM,CAAC;QAEX,yBAAyB;QACzB,MAAM,UAAU,GAAwB,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;QACjF,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,IAAI,UAAU,CAAC,QAAQ,CAAC,KAA0B,CAAC,EAAE,CAAC;gBACpD,OAAO,KAA0B,CAAC;YACpC,CAAC;QACH,CAAC;QAED,OAAO,KAAK,CAAC,CAAE,UAAU;IAC3B,CAAC;IAED;;;;;;;;;OASG;IACK,kBAAkB,CACxB,IAAuB,EACvB,QAAwB,EACxB,SAA6C,EAC7C,UAAkB,EAClB,WAAgC;QAEhC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;QAEvB,kCAAkC;QAClC,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO,GAAG,CAAC;QACb,CAAC;QAED,OAAO,IAAI,CAAC,sBAAsB,CAAC,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC;IAC7E,CAAC;IAED;;OAEG;IACK,sBAAsB,CAC5B,SAAc,EACd,QAAwB,EACxB,SAA6C,EAC7C,WAAgC;QAEhC,MAAM,EAAE,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,SAAS,CAAC;QAE7C,sBAAsB;QACtB,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;YAChB,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;YACvD,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAE,yCAAyC;YAE7E,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,GAAG,IAAA,+BAAY,EAAC,OAAO,CAAC,CAAC;YAClD,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAExC,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACd,MAAM,IAAI,KAAK,CAAC,mBAAmB,OAAO,aAAa,CAAC,CAAC;YAC3D,CAAC;YAED,MAAM,MAAM,GAAG,IAAA,sCAAmB,EAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;YAE9D,sBAAsB;YACtB,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC1B,WAAW,CAAC,OAAO,CAAC,GAAG,IAAA,+BAAY,EAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;YACvD,CAAC;YAED,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,yBAAyB;QACzB,IAAI,EAAE,KAAK,OAAO,EAAE,CAAC;YACnB,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;YACvD,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;YAElC,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,GAAG,IAAA,+BAAY,EAAC,OAAO,CAAC,CAAC;YAClD,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAExC,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACd,MAAM,IAAI,KAAK,CAAC,mBAAmB,OAAO,aAAa,CAAC,CAAC;YAC3D,CAAC;YAED,MAAM,MAAM,GAAG,CAAC,GAAG,IAAA,sCAAmB,EAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;YAElE,sBAAsB;YACtB,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC1B,WAAW,CAAC,OAAO,CAAC,GAAG,IAAA,+BAAY,EAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;YACvD,CAAC;YAED,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,kBAAkB;QAClB,IAAI,EAAE,KAAK,KAAK,EAAE,CAAC;YACjB,MAAM,OAAO,GAAG,QAAS,CAAC,GAAG,CAAC,CAAC,KAAU,EAAE,EAAE,CAC3C,IAAI,CAAC,sBAAsB,CAAC,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,WAAW,CAAC,CACrE,CAAC;YACF,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC;QAC9B,CAAC;QAED,iBAAiB;QACjB,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;YAChB,MAAM,OAAO,GAAG,QAAS,CAAC,GAAG,CAAC,CAAC,KAAU,EAAE,EAAE,CAC3C,IAAI,CAAC,sBAAsB,CAAC,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,WAAW,CAAC,CACrE,CAAC;YACF,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC;QAC9B,CAAC;QAED,yBAAyB;QACzB,IAAI,EAAE,KAAK,KAAK,EAAE,CAAC;YACjB,MAAM,MAAM,GAAG,IAAI,CAAC,sBAAsB,CAAC,QAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC;YAC3F,OAAO,CAAC,GAAG,MAAM,CAAC;QACpB,CAAC;QAED,mCAAmC;QACnC,IAAI,EAAE,KAAK,KAAK,EAAE,CAAC;YACjB,MAAM,CAAC,GAAG,IAAI,CAAC,sBAAsB,CAAC,QAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC;YACtF,MAAM,CAAC,GAAG,IAAI,CAAC,sBAAsB,CAAC,QAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC;YACtF,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACzB,CAAC;QAED,0DAA0D;QAC1D,gDAAgD;QAChD,MAAM,UAAU,GAAG,IAAI,CAAC,wBAAwB,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;QACtE,OAAO,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;IAChC,CAAC;IAED;;OAEG;IACK,wBAAwB,CAAC,SAAc,EAAE,QAAwB;QACvE,OAAO,IAAA,wBAAiB,EAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;IAChD,CAAC;IAED;;OAEG;IACK,YAAY,CAAC,OAAY,EAAE,QAAwB;QACzD,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAChC,OAAO,OAAO,CAAC,KAAK,CAAC;QACvB,CAAC;QAED,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAChC,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACzC,IAAI,CAAC,IAAI,EAAE,CAAC;gBACV,MAAM,IAAI,KAAK,CAAC,SAAS,OAAO,CAAC,GAAG,CAAC,KAAK,yBAAyB,CAAC,CAAC;YACvE,CAAC;YAED,IAAI,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC;YACtB,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;gBACnC,KAAK,GAAG,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC;YACvB,CAAC;YAED,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC9B,MAAM,IAAI,KAAK,CAAC,gDAAgD,OAAO,KAAK,EAAE,CAAC,CAAC;YAClF,CAAC;YAED,OAAO,KAAK,CAAC;QACf,CAAC;QAED,MAAM,IAAI,KAAK,CAAC,yBAAyB,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;IAC3D,CAAC;CACF;AAnSD,sCAmSC;AAED,4BAA4B;AACf,QAAA,aAAa,GAAG,IAAI,aAAa,EAAE,CAAC"}

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

@@ -0,0 +1,24 @@
+/**
+ * Fuzzy Engine Types
+ *
+ * Re-exports types from local fuzzy modules for a cleaner API.
+ */
+import { BaseRule, BaseRuleSet } from '../../core';
+export { MembershipShape, PositionSemantic, WidthSemantic, EdgeSemantic, SemanticFuzzyTerm, ExplicitFuzzyTerm, FuzzyTerm, isSemanticTerm, isExplicitTerm, FuzzyVariable, CompiledMembershipFunction, CompiledFuzzyTerm, CompiledFuzzyVariable, AggregationMethod, DefuzzifyMethod, TransformMethod, DefuzzifyStage, DefuzzifyPreset, DefuzzifyConfig, expandDefuzzifyPreset, FuzzyOutput, CompiledFuzzyAction, CoverageOptions, FuzzyConfig, FuzzyOptions, VariableMemberships, FuzzificationResult, FuzzyActivation, AggregatedOutputs, CrispOutputs, FuzzyResult, POSITION_VALUES, WIDTH_VALUES } from './fuzzy.types';
+import { FuzzyVariable, FuzzyOutput, FuzzyConfig } from './fuzzy.types';
+/**
+ * Fuzzy rule - uses 'then' for fuzzy output term
+ */
+export type FuzzyRule = BaseRule & {
+    then: FuzzyOutput;
+};
+/**
+ * Fuzzy ruleset with variable definitions
+ */
+export type FuzzyRuleSet = BaseRuleSet & {
+    mode: 'fuzzy';
+    variables: FuzzyVariable[];
+    rules: FuzzyRule[];
+    config?: Partial<Omit<FuzzyConfig, 'mode'>>;
+};
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/engines/fuzzy/types.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EACL,QAAQ,EACR,WAAW,EACZ,MAAM,YAAY,CAAC;AAGpB,OAAO,EAEL,eAAe,EACf,gBAAgB,EAChB,aAAa,EACb,YAAY,EACZ,iBAAiB,EACjB,iBAAiB,EACjB,SAAS,EACT,cAAc,EACd,cAAc,EACd,aAAa,EACb,0BAA0B,EAC1B,iBAAiB,EACjB,qBAAqB,EAGrB,iBAAiB,EACjB,eAAe,EACf,eAAe,EACf,cAAc,EACd,eAAe,EACf,eAAe,EACf,qBAAqB,EAGrB,WAAW,EAGX,mBAAmB,EAGnB,eAAe,EACf,WAAW,EAGX,YAAY,EACZ,mBAAmB,EACnB,mBAAmB,EACnB,eAAe,EACf,iBAAiB,EACjB,YAAY,EACZ,WAAW,EAGX,eAAe,EACf,YAAY,EACb,MAAM,eAAe,CAAC;AAOvB,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAExE;;GAEG;AACH,MAAM,MAAM,SAAS,GAAG,QAAQ,GAAG;IACjC,IAAI,EAAE,WAAW,CAAC;CACnB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,YAAY,GAAG,WAAW,GAAG;IACvC,IAAI,EAAE,OAAO,CAAC;IACd,SAAS,EAAE,aAAa,EAAE,CAAC;IAC3B,KAAK,EAAE,SAAS,EAAE,CAAC;IACnB,MAAM,CAAC,EAAE,OAAO,CAAC,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC;CAC7C,CAAC"}

package/dist/engines/fuzzy/types.js

@@ -0,0 +1,17 @@
+"use strict";
+/**
+ * Fuzzy Engine Types
+ *
+ * Re-exports types from local fuzzy modules for a cleaner API.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.WIDTH_VALUES = exports.POSITION_VALUES = exports.expandDefuzzifyPreset = exports.isExplicitTerm = exports.isSemanticTerm = void 0;
+// Re-export all fuzzy types from local modules
+var fuzzy_types_1 = require("./fuzzy.types");
+Object.defineProperty(exports, "isSemanticTerm", { enumerable: true, get: function () { return fuzzy_types_1.isSemanticTerm; } });
+Object.defineProperty(exports, "isExplicitTerm", { enumerable: true, get: function () { return fuzzy_types_1.isExplicitTerm; } });
+Object.defineProperty(exports, "expandDefuzzifyPreset", { enumerable: true, get: function () { return fuzzy_types_1.expandDefuzzifyPreset; } });
+// Position/width constants
+Object.defineProperty(exports, "POSITION_VALUES", { enumerable: true, get: function () { return fuzzy_types_1.POSITION_VALUES; } });
+Object.defineProperty(exports, "WIDTH_VALUES", { enumerable: true, get: function () { return fuzzy_types_1.WIDTH_VALUES; } });
+//# sourceMappingURL=types.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/engines/fuzzy/types.ts"],"names":[],"mappings":";AAAA;;;;GAIG;;;AAOH,+CAA+C;AAC/C,6CA+CuB;AAtCrB,6GAAA,cAAc,OAAA;AACd,6GAAA,cAAc,OAAA;AAad,oHAAA,qBAAqB,OAAA;AAqBrB,2BAA2B;AAC3B,8GAAA,eAAe,OAAA;AACf,2GAAA,YAAY,OAAA"}

package/dist/engines/index.d.ts

@@ -0,0 +1,20 @@
+/**
+ * Rule Engines
+ *
+ * This module exports all available rule engine types.
+ * Each engine provides its own types, compiler, and strategy.
+ */
+export * from './forward';
+export * from './backward';
+export * from './scoring';
+export * from './sequential';
+export * from './fuzzy';
+export * from './bayesian';
+export * from './monte-carlo';
+export * from './state-machine';
+export * from './constraint';
+export * from './utility';
+export * from './defeasible';
+export * from './expert';
+export * from './pricing';
+//# sourceMappingURL=index.d.ts.map

package/dist/engines/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/engines/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,cAAc,WAAW,CAAC;AAG1B,cAAc,YAAY,CAAC;AAG3B,cAAc,WAAW,CAAC;AAG1B,cAAc,cAAc,CAAC;AAG7B,cAAc,SAAS,CAAC;AAGxB,cAAc,YAAY,CAAC;AAG3B,cAAc,eAAe,CAAC;AAG9B,cAAc,iBAAiB,CAAC;AAGhC,cAAc,cAAc,CAAC;AAG7B,cAAc,WAAW,CAAC;AAG1B,cAAc,cAAc,CAAC;AAG7B,cAAc,UAAU,CAAC;AAGzB,cAAc,WAAW,CAAC"}

package/dist/engines/index.js

@@ -0,0 +1,49 @@
+"use strict";
+/**
+ * Rule Engines
+ *
+ * This module exports all available rule engine types.
+ * Each engine provides its own types, compiler, and strategy.
+ */
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __exportStar = (this && this.__exportStar) || function(m, exports) {
+    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+// Forward Chaining Engine
+__exportStar(require("./forward"), exports);
+// Backward Chaining Engine
+__exportStar(require("./backward"), exports);
+// Scoring Engine
+__exportStar(require("./scoring"), exports);
+// Sequential Engine
+__exportStar(require("./sequential"), exports);
+// Fuzzy Logic Engine
+__exportStar(require("./fuzzy"), exports);
+// Bayesian Engine
+__exportStar(require("./bayesian"), exports);
+// Monte Carlo Engine
+__exportStar(require("./monte-carlo"), exports);
+// State Machine Engine
+__exportStar(require("./state-machine"), exports);
+// Constraint Satisfaction Engine
+__exportStar(require("./constraint"), exports);
+// Utility/MCDM Engine
+__exportStar(require("./utility"), exports);
+// Defeasible Engine
+__exportStar(require("./defeasible"), exports);
+// Expert System Engine
+__exportStar(require("./expert"), exports);
+// Pricing Engine
+__exportStar(require("./pricing"), exports);
+//# sourceMappingURL=index.js.map

package/dist/engines/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/engines/index.ts"],"names":[],"mappings":";AAAA;;;;;GAKG;;;;;;;;;;;;;;;;AAEH,0BAA0B;AAC1B,4CAA0B;AAE1B,2BAA2B;AAC3B,6CAA2B;AAE3B,iBAAiB;AACjB,4CAA0B;AAE1B,oBAAoB;AACpB,+CAA6B;AAE7B,qBAAqB;AACrB,0CAAwB;AAExB,kBAAkB;AAClB,6CAA2B;AAE3B,qBAAqB;AACrB,gDAA8B;AAE9B,uBAAuB;AACvB,kDAAgC;AAEhC,iCAAiC;AACjC,+CAA6B;AAE7B,sBAAsB;AACtB,4CAA0B;AAE1B,oBAAoB;AACpB,+CAA6B;AAE7B,uBAAuB;AACvB,2CAAyB;AAEzB,iBAAiB;AACjB,4CAA0B"}

package/dist/engines/monte-carlo/compiler.d.ts

@@ -0,0 +1,12 @@
+/**
+ * Monte Carlo Engine Compiler
+ *
+ * Compiles user-friendly ruleset definitions into normalized internal format.
+ * Handles alias resolution and percent string parsing.
+ */
+import { MonteCarloRuleSet, CompiledMonteCarloRuleSet } from './types';
+/**
+ * Compile a Monte Carlo ruleset
+ */
+export declare function compileMonteCarloRuleSet(ruleSet: MonteCarloRuleSet): CompiledMonteCarloRuleSet;
+//# sourceMappingURL=compiler.d.ts.map

package/dist/engines/monte-carlo/compiler.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compiler.d.ts","sourceRoot":"","sources":["../../../src/engines/monte-carlo/compiler.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAQH,OAAO,EACL,iBAAiB,EAIjB,yBAAyB,EAU1B,MAAM,SAAS,CAAC;AAsZjB;;GAEG;AACH,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,iBAAiB,GAAG,yBAAyB,CAqB9F"}