@stevenvo780/autologic 1.0.0

package/dist/formula/connectors.d.ts

@@ -0,0 +1,31 @@
+/**
+ * Connectors — Mapa de marcador → operador ST
+ *
+ * Define la correspondencia entre roles discursivos y operadores lógicos ST.
+ */
+import type { MarkerRole, LogicProfile } from '../types';
+/** Operadores ST por tipo de conexión */
+export declare const ST_OPERATORS: {
+    readonly implication: "->";
+    readonly biconditional: "<->";
+    readonly conjunction: "&";
+    readonly disjunction: "|";
+    readonly negation: "!";
+    readonly universal: "forall";
+    readonly existential: "exists";
+    readonly necessity: "[]";
+    readonly possibility: "<>";
+    readonly temporal_next: "next";
+    readonly temporal_until: "until";
+    readonly temporal_always: "always";
+    readonly temporal_eventually: "eventually";
+};
+/**
+ * Obtiene el operador ST correspondiente a un rol de marcador.
+ */
+export declare function roleToOperator(role: MarkerRole): string | null;
+/**
+ * Verifica si un perfil soporta un operador dado.
+ */
+export declare function profileSupportsOperator(profile: LogicProfile, operator: string): boolean;
+//# sourceMappingURL=connectors.d.ts.map

package/dist/formula/connectors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"connectors.d.ts","sourceRoot":"","sources":["../../src/formula/connectors.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,KAAK,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AAEzD,yCAAyC;AACzC,eAAO,MAAM,YAAY;;;;;;;;;;;;;;CAcf,CAAC;AAEX;;GAEG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,GAAG,IAAI,CAkC9D;AAED;;GAEG;AACH,wBAAgB,uBAAuB,CAAC,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO,CA2BxF"}

package/dist/formula/connectors.js

@@ -0,0 +1,90 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ST_OPERATORS = void 0;
+exports.roleToOperator = roleToOperator;
+exports.profileSupportsOperator = profileSupportsOperator;
+/** Operadores ST por tipo de conexión */
+exports.ST_OPERATORS = {
+    implication: '->',
+    biconditional: '<->',
+    conjunction: '&',
+    disjunction: '|',
+    negation: '!',
+    universal: 'forall',
+    existential: 'exists',
+    necessity: '[]',
+    possibility: '<>',
+    temporal_next: 'next',
+    temporal_until: 'until',
+    temporal_always: 'always',
+    temporal_eventually: 'eventually',
+};
+/**
+ * Obtiene el operador ST correspondiente a un rol de marcador.
+ */
+function roleToOperator(role) {
+    switch (role) {
+        case 'condition':
+        case 'consequent':
+        case 'conclusion':
+            return exports.ST_OPERATORS.implication;
+        case 'biconditional':
+            return exports.ST_OPERATORS.biconditional;
+        case 'and':
+            return exports.ST_OPERATORS.conjunction;
+        case 'or':
+            return exports.ST_OPERATORS.disjunction;
+        case 'negation':
+            return exports.ST_OPERATORS.negation;
+        case 'universal':
+            return exports.ST_OPERATORS.universal;
+        case 'existential':
+            return exports.ST_OPERATORS.existential;
+        case 'necessity':
+            return exports.ST_OPERATORS.necessity;
+        case 'possibility':
+            return exports.ST_OPERATORS.possibility;
+        case 'temporal':
+        case 'temporal_next':
+            return exports.ST_OPERATORS.temporal_next;
+        case 'temporal_until':
+            return exports.ST_OPERATORS.temporal_until;
+        case 'temporal_always':
+            return exports.ST_OPERATORS.temporal_always;
+        case 'temporal_eventually':
+            return exports.ST_OPERATORS.temporal_eventually;
+        default:
+            return null;
+    }
+}
+/**
+ * Verifica si un perfil soporta un operador dado.
+ */
+function profileSupportsOperator(profile, operator) {
+    const propositional = ['->', '<->', '&', '|', '!'];
+    const firstOrder = [...propositional, 'forall', 'exists'];
+    const modal = [...propositional, '[]', '<>'];
+    const temporal = [...propositional, 'next', 'until', 'always', 'eventually'];
+    switch (profile) {
+        case 'classical.propositional':
+        case 'intuitionistic.propositional':
+        case 'paraconsistent.belnap':
+            return propositional.includes(operator);
+        case 'classical.first_order':
+            return firstOrder.includes(operator);
+        case 'modal.k':
+        case 'epistemic.s5':
+        case 'deontic.standard':
+            return modal.includes(operator);
+        case 'temporal.ltl':
+            return temporal.includes(operator);
+        case 'aristotelian.syllogistic':
+            return firstOrder.includes(operator);
+        case 'arithmetic':
+        case 'probabilistic.basic':
+            return propositional.includes(operator);
+        default:
+            return propositional.includes(operator);
+    }
+}
+//# sourceMappingURL=connectors.js.map

package/dist/formula/connectors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"connectors.js","sourceRoot":"","sources":["../../src/formula/connectors.ts"],"names":[],"mappings":";;;AA2BA,wCAkCC;AAKD,0DA2BC;AAtFD,yCAAyC;AAC5B,QAAA,YAAY,GAAG;IAC1B,WAAW,EAAE,IAAI;IACjB,aAAa,EAAE,KAAK;IACpB,WAAW,EAAE,GAAG;IAChB,WAAW,EAAE,GAAG;IAChB,QAAQ,EAAE,GAAG;IACb,SAAS,EAAE,QAAQ;IACnB,WAAW,EAAE,QAAQ;IACrB,SAAS,EAAE,IAAI;IACf,WAAW,EAAE,IAAI;IACjB,aAAa,EAAE,MAAM;IACrB,cAAc,EAAE,OAAO;IACvB,eAAe,EAAE,QAAQ;IACzB,mBAAmB,EAAE,YAAY;CACzB,CAAC;AAEX;;GAEG;AACH,SAAgB,cAAc,CAAC,IAAgB;IAC7C,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,WAAW,CAAC;QACjB,KAAK,YAAY,CAAC;QAClB,KAAK,YAAY;YACf,OAAO,oBAAY,CAAC,WAAW,CAAC;QAClC,KAAK,eAAe;YAClB,OAAO,oBAAY,CAAC,aAAa,CAAC;QACpC,KAAK,KAAK;YACR,OAAO,oBAAY,CAAC,WAAW,CAAC;QAClC,KAAK,IAAI;YACP,OAAO,oBAAY,CAAC,WAAW,CAAC;QAClC,KAAK,UAAU;YACb,OAAO,oBAAY,CAAC,QAAQ,CAAC;QAC/B,KAAK,WAAW;YACd,OAAO,oBAAY,CAAC,SAAS,CAAC;QAChC,KAAK,aAAa;YAChB,OAAO,oBAAY,CAAC,WAAW,CAAC;QAClC,KAAK,WAAW;YACd,OAAO,oBAAY,CAAC,SAAS,CAAC;QAChC,KAAK,aAAa;YAChB,OAAO,oBAAY,CAAC,WAAW,CAAC;QAClC,KAAK,UAAU,CAAC;QAChB,KAAK,eAAe;YAClB,OAAO,oBAAY,CAAC,aAAa,CAAC;QACpC,KAAK,gBAAgB;YACnB,OAAO,oBAAY,CAAC,cAAc,CAAC;QACrC,KAAK,iBAAiB;YACpB,OAAO,oBAAY,CAAC,eAAe,CAAC;QACtC,KAAK,qBAAqB;YACxB,OAAO,oBAAY,CAAC,mBAAmB,CAAC;QAC1C;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAgB,uBAAuB,CAAC,OAAqB,EAAE,QAAgB;IAC7E,MAAM,aAAa,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACnD,MAAM,UAAU,GAAG,CAAC,GAAG,aAAa,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC1D,MAAM,KAAK,GAAG,CAAC,GAAG,aAAa,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC7C,MAAM,QAAQ,GAAG,CAAC,GAAG,aAAa,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,YAAY,CAAC,CAAC;IAE7E,QAAQ,OAAO,EAAE,CAAC;QAChB,KAAK,yBAAyB,CAAC;QAC/B,KAAK,8BAA8B,CAAC;QACpC,KAAK,uBAAuB;YAC1B,OAAO,aAAa,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAC1C,KAAK,uBAAuB;YAC1B,OAAO,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QACvC,KAAK,SAAS,CAAC;QACf,KAAK,cAAc,CAAC;QACpB,KAAK,kBAAkB;YACrB,OAAO,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAClC,KAAK,cAAc;YACjB,OAAO,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QACrC,KAAK,0BAA0B;YAC7B,OAAO,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QACvC,KAAK,YAAY,CAAC;QAClB,KAAK,qBAAqB;YACxB,OAAO,aAAa,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAC1C;YACE,OAAO,aAAa,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;IAC5C,CAAC;AACH,CAAC"}

package/dist/formula/first-order.d.ts

@@ -0,0 +1,11 @@
+/**
+ * First-Order Formula Builder
+ *
+ * Construye fórmulas de lógica de primer orden con cuantificadores y predicados.
+ */
+import type { AnalyzedSentence, AtomEntry, FormulaEntry } from '../types';
+/**
+ * Construye fórmulas de primer orden para oraciones con cuantificadores.
+ */
+export declare function buildFirstOrder(sentences: AnalyzedSentence[], atomEntries: AtomEntry[], detectedPatterns: string[]): FormulaEntry[];
+//# sourceMappingURL=first-order.d.ts.map

package/dist/formula/first-order.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"first-order.d.ts","sourceRoot":"","sources":["../../src/formula/first-order.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,KAAK,EAAE,gBAAgB,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AAG1E;;GAEG;AACH,wBAAgB,eAAe,CAC7B,SAAS,EAAE,gBAAgB,EAAE,EAC7B,WAAW,EAAE,SAAS,EAAE,EACxB,gBAAgB,EAAE,MAAM,EAAE,GACzB,YAAY,EAAE,CAgChB"}

package/dist/formula/first-order.js

@@ -0,0 +1,156 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.buildFirstOrder = buildFirstOrder;
+const connectors_1 = require("./connectors");
+/**
+ * Construye fórmulas de primer orden para oraciones con cuantificadores.
+ */
+function buildFirstOrder(sentences, atomEntries, detectedPatterns) {
+    const formulas = [];
+    let labelCounter = 1;
+    for (let sIdx = 0; sIdx < sentences.length; sIdx++) {
+        const sentence = sentences[sIdx];
+        const builtFormulas = buildFOSentence(sentence, atomEntries, sIdx, labelCounter);
+        formulas.push(...builtFormulas);
+        labelCounter += builtFormulas.length;
+    }
+    // Si se detecta instanciación universal, agregar derive
+    if (detectedPatterns.includes('universal_instantiation') && formulas.length >= 2) {
+        const universalFormula = formulas.find(f => f.formula.includes('forall'));
+        const instanceFormula = formulas.find(f => !f.formula.includes('forall') && f.stType === 'axiom');
+        if (universalFormula && instanceFormula) {
+            // Intentar derivar la conclusión
+            const derivedFormula = tryInstantiation(universalFormula, instanceFormula, atomEntries);
+            if (derivedFormula) {
+                formulas.push({
+                    formula: derivedFormula,
+                    stType: 'derive',
+                    label: `conclusion_${labelCounter}`,
+                    sourceText: 'Instanciación universal',
+                    sourceSentence: sentences.length - 1,
+                    comment: 'Conclusión por instanciación universal',
+                });
+            }
+        }
+    }
+    return formulas;
+}
+function buildFOSentence(sentence, allAtoms, sentenceIdx, labelStart) {
+    const formulas = [];
+    const clauses = sentence.clauses;
+    let label = labelStart;
+    // Detectar cuantificación universal
+    const hasUniversal = clauses.some(c => c.modifiers.some(m => m.type === 'universal'));
+    const hasExistential = clauses.some(c => c.modifiers.some(m => m.type === 'existential'));
+    if (hasUniversal && sentence.type === 'conditional') {
+        // "Todo X es Y" → forall x (X(x) -> Y(x))
+        const conditionAtoms = getAtomsForClauses(clauses.filter(c => c.role === 'condition' || c.role === 'premise'), allAtoms);
+        const consequentAtoms = getAtomsForClauses(clauses.filter(c => c.role === 'consequent' || c.role === 'conclusion' || c.role === 'assertion'), allAtoms);
+        if (conditionAtoms.length > 0 && consequentAtoms.length > 0) {
+            const pred1 = conditionAtoms[0].predicate || conditionAtoms[0].id;
+            const pred2 = consequentAtoms[0].predicate || consequentAtoms[0].id;
+            const variable = conditionAtoms[0].terms?.[0] || 'x';
+            const formula = `forall ${variable} (${formatPredicate(pred1, variable)} ${connectors_1.ST_OPERATORS.implication} ${formatPredicate(pred2, variable)})`;
+            formulas.push({
+                formula,
+                stType: 'axiom',
+                label: `a${label}`,
+                sourceText: sentence.original,
+                sourceSentence: sentenceIdx,
+                comment: `Universal: "${sentence.original}"`,
+            });
+        }
+    }
+    else if (hasUniversal) {
+        // "Todo X tiene Y" → forall x X(x)
+        for (const clause of clauses) {
+            const atoms = getAtomsForClause(clause.text, allAtoms);
+            if (atoms.length > 0) {
+                const atom = atoms[0];
+                const pred = atom.predicate || atom.id;
+                const variable = atom.terms?.[0] || 'x';
+                formulas.push({
+                    formula: `forall ${variable} ${formatPredicate(pred, variable)}`,
+                    stType: 'axiom',
+                    label: `a${label++}`,
+                    sourceText: clause.text,
+                    sourceSentence: sentenceIdx,
+                    comment: `Universal: "${clause.text}"`,
+                });
+            }
+        }
+    }
+    else if (hasExistential) {
+        // "Existe X tal que Y"
+        for (const clause of clauses) {
+            const atoms = getAtomsForClause(clause.text, allAtoms);
+            if (atoms.length > 0) {
+                const atom = atoms[0];
+                const pred = atom.predicate || atom.id;
+                const variable = atom.terms?.[0] || 'x';
+                formulas.push({
+                    formula: `exists ${variable} ${formatPredicate(pred, variable)}`,
+                    stType: 'axiom',
+                    label: `a${label++}`,
+                    sourceText: clause.text,
+                    sourceSentence: sentenceIdx,
+                    comment: `Existencial: "${clause.text}"`,
+                });
+            }
+        }
+    }
+    else {
+        // Predicado sin cuantificador (instancia concreta)
+        for (const clause of clauses) {
+            const atoms = getAtomsForClause(clause.text, allAtoms);
+            if (atoms.length > 0) {
+                const atom = atoms[0];
+                const isConclusion = clause.role === 'conclusion';
+                formulas.push({
+                    formula: atom.id,
+                    stType: isConclusion ? 'derive' : 'axiom',
+                    label: isConclusion ? `conclusion_${label}` : `a${label}`,
+                    sourceText: clause.text,
+                    sourceSentence: sentenceIdx,
+                    comment: isConclusion
+                        ? `Conclusión: "${clause.text}"`
+                        : `Instancia: "${clause.text}"`,
+                });
+                label++;
+            }
+        }
+    }
+    return formulas;
+}
+function getAtomsForClauses(clauses, allAtoms) {
+    const results = [];
+    for (const clause of clauses) {
+        const found = getAtomsForClause(clause.text, allAtoms);
+        results.push(...found);
+    }
+    return results;
+}
+function getAtomsForClause(text, allAtoms) {
+    return allAtoms.filter(a => a.text === text || a.text.includes(text) || text.includes(a.text));
+}
+function formatPredicate(predicate, variable) {
+    if (predicate.includes('('))
+        return predicate;
+    return `${predicate}(${variable})`;
+}
+function tryInstantiation(universalFormula, instanceFormula, _allAtoms) {
+    // Simplificación: intentar extraer la conclusión de la instanciación
+    const match = universalFormula.formula.match(/forall\s+(\w+)\s+\((.+)\s+->\s+(.+)\)/);
+    if (!match)
+        return null;
+    const [, _variable, _antecedent, consequent] = match;
+    // Buscar la constante de la instancia para sustituir
+    const instanceMatch = instanceFormula.formula.match(/(\w+)\((\w+)\)/);
+    if (!instanceMatch)
+        return null;
+    const constant = instanceMatch[2];
+    // Sustituir variable por constante en el consecuente
+    const instantiated = consequent.replace(/\(\w+\)/, `(${constant})`);
+    return instantiated;
+}
+//# sourceMappingURL=first-order.js.map

package/dist/formula/first-order.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"first-order.js","sourceRoot":"","sources":["../../src/formula/first-order.ts"],"names":[],"mappings":";;AAWA,0CAoCC;AAzCD,6CAA4C;AAE5C;;GAEG;AACH,SAAgB,eAAe,CAC7B,SAA6B,EAC7B,WAAwB,EACxB,gBAA0B;IAE1B,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,IAAI,YAAY,GAAG,CAAC,CAAC;IAErB,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;QACnD,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QACjC,MAAM,aAAa,GAAG,eAAe,CAAC,QAAQ,EAAE,WAAW,EAAE,IAAI,EAAE,YAAY,CAAC,CAAC;QACjF,QAAQ,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,CAAC;QAChC,YAAY,IAAI,aAAa,CAAC,MAAM,CAAC;IACvC,CAAC;IAED,wDAAwD;IACxD,IAAI,gBAAgB,CAAC,QAAQ,CAAC,yBAAyB,CAAC,IAAI,QAAQ,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QACjF,MAAM,gBAAgB,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC1E,MAAM,eAAe,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC;QAClG,IAAI,gBAAgB,IAAI,eAAe,EAAE,CAAC;YACxC,iCAAiC;YACjC,MAAM,cAAc,GAAG,gBAAgB,CAAC,gBAAgB,EAAE,eAAe,EAAE,WAAW,CAAC,CAAC;YACxF,IAAI,cAAc,EAAE,CAAC;gBACnB,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,cAAc;oBACvB,MAAM,EAAE,QAAQ;oBAChB,KAAK,EAAE,cAAc,YAAY,EAAE;oBACnC,UAAU,EAAE,yBAAyB;oBACrC,cAAc,EAAE,SAAS,CAAC,MAAM,GAAG,CAAC;oBACpC,OAAO,EAAE,wCAAwC;iBAClD,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,eAAe,CACtB,QAA0B,EAC1B,QAAqB,EACrB,WAAmB,EACnB,UAAkB;IAElB,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC;IACjC,IAAI,KAAK,GAAG,UAAU,CAAC;IAEvB,oCAAoC;IACpC,MAAM,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC;IACtF,MAAM,cAAc,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC;IAE1F,IAAI,YAAY,IAAI,QAAQ,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACpD,0CAA0C;QAC1C,MAAM,cAAc,GAAG,kBAAkB,CACvC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,EACnE,QAAQ,CACT,CAAC;QACF,MAAM,eAAe,GAAG,kBAAkB,CACxC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,EACjG,QAAQ,CACT,CAAC;QAEF,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5D,MAAM,KAAK,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,cAAc,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAClE,MAAM,KAAK,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACpE,MAAM,QAAQ,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC;YAErD,MAAM,OAAO,GAAG,UAAU,QAAQ,KAAK,eAAe,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,yBAAY,CAAC,WAAW,IAAI,eAAe,CAAC,KAAK,EAAE,QAAQ,CAAC,GAAG,CAAC;YAC3I,QAAQ,CAAC,IAAI,CAAC;gBACZ,OAAO;gBACP,MAAM,EAAE,OAAO;gBACf,KAAK,EAAE,IAAI,KAAK,EAAE;gBAClB,UAAU,EAAE,QAAQ,CAAC,QAAQ;gBAC7B,cAAc,EAAE,WAAW;gBAC3B,OAAO,EAAE,eAAe,QAAQ,CAAC,QAAQ,GAAG;aAC7C,CAAC,CAAC;QACL,CAAC;IACH,CAAC;SAAM,IAAI,YAAY,EAAE,CAAC;QACxB,mCAAmC;QACnC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,iBAAiB,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACvD,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACrB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBACtB,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,EAAE,CAAC;gBACvC,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC;gBACxC,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,UAAU,QAAQ,IAAI,eAAe,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE;oBAChE,MAAM,EAAE,OAAO;oBACf,KAAK,EAAE,IAAI,KAAK,EAAE,EAAE;oBACpB,UAAU,EAAE,MAAM,CAAC,IAAI;oBACvB,cAAc,EAAE,WAAW;oBAC3B,OAAO,EAAE,eAAe,MAAM,CAAC,IAAI,GAAG;iBACvC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;SAAM,IAAI,cAAc,EAAE,CAAC;QAC1B,uBAAuB;QACvB,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,iBAAiB,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACvD,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACrB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBACtB,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,EAAE,CAAC;gBACvC,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC;gBACxC,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,UAAU,QAAQ,IAAI,eAAe,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE;oBAChE,MAAM,EAAE,OAAO;oBACf,KAAK,EAAE,IAAI,KAAK,EAAE,EAAE;oBACpB,UAAU,EAAE,MAAM,CAAC,IAAI;oBACvB,cAAc,EAAE,WAAW;oBAC3B,OAAO,EAAE,iBAAiB,MAAM,CAAC,IAAI,GAAG;iBACzC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;SAAM,CAAC;QACN,mDAAmD;QACnD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,iBAAiB,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACvD,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACrB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBACtB,MAAM,YAAY,GAAG,MAAM,CAAC,IAAI,KAAK,YAAY,CAAC;gBAElD,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,IAAI,CAAC,EAAE;oBAChB,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO;oBACzC,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,cAAc,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE;oBACzD,UAAU,EAAE,MAAM,CAAC,IAAI;oBACvB,cAAc,EAAE,WAAW;oBAC3B,OAAO,EAAE,YAAY;wBACnB,CAAC,CAAC,gBAAgB,MAAM,CAAC,IAAI,GAAG;wBAChC,CAAC,CAAC,eAAe,MAAM,CAAC,IAAI,GAAG;iBAClC,CAAC,CAAC;gBACH,KAAK,EAAE,CAAC;YACV,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,kBAAkB,CACzB,OAA2B,EAC3B,QAAqB;IAErB,MAAM,OAAO,GAAgB,EAAE,CAAC;IAChC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,iBAAiB,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACvD,OAAO,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAY,EAAE,QAAqB;IAC5D,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CACzB,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAClE,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,SAAiB,EAAE,QAAgB;IAC1D,IAAI,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAC9C,OAAO,GAAG,SAAS,IAAI,QAAQ,GAAG,CAAC;AACrC,CAAC;AAED,SAAS,gBAAgB,CACvB,gBAA8B,EAC9B,eAA6B,EAC7B,SAAsB;IAEtB,qEAAqE;IACrE,MAAM,KAAK,GAAG,gBAAgB,CAAC,OAAO,CAAC,KAAK,CAAC,uCAAuC,CAAC,CAAC;IACtF,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IAExB,MAAM,CAAC,EAAE,SAAS,EAAE,WAAW,EAAE,UAAU,CAAC,GAAG,KAAK,CAAC;IACrD,qDAAqD;IACrD,MAAM,aAAa,GAAG,eAAe,CAAC,OAAO,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;IACtE,IAAI,CAAC,aAAa;QAAE,OAAO,IAAI,CAAC;IAEhC,MAAM,QAAQ,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;IAClC,qDAAqD;IACrD,MAAM,YAAY,GAAG,UAAU,CAAC,OAAO,CAAC,SAAS,EAAE,IAAI,QAAQ,GAAG,CAAC,CAAC;IACpE,OAAO,YAAY,CAAC;AACtB,CAAC"}

package/dist/formula/index.d.ts

@@ -0,0 +1,15 @@
+/**
+ * Formula — Orquestador de construcción de fórmulas
+ */
+export { buildPropositional } from './propositional';
+export { buildFirstOrder } from './first-order';
+export { buildModal } from './modal';
+export { buildTemporal } from './temporal';
+export { roleToOperator, profileSupportsOperator, ST_OPERATORS } from './connectors';
+import type { AnalyzedSentence, AtomEntry, FormulaEntry, LogicProfile } from '../types';
+/**
+ * Construye fórmulas ST según el perfil lógico seleccionado.
+ * Delega al builder específico del perfil.
+ */
+export declare function buildFormulas(sentences: AnalyzedSentence[], atomEntries: AtomEntry[], profile: LogicProfile, detectedPatterns: string[]): FormulaEntry[];
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/formula/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AACrD,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAChD,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EAAE,cAAc,EAAE,uBAAuB,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAErF,OAAO,KAAK,EAAE,gBAAgB,EAAE,SAAS,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AAMxF;;;GAGG;AACH,wBAAgB,aAAa,CAC3B,SAAS,EAAE,gBAAgB,EAAE,EAC7B,WAAW,EAAE,SAAS,EAAE,EACxB,OAAO,EAAE,YAAY,EACrB,gBAAgB,EAAE,MAAM,EAAE,GACzB,YAAY,EAAE,CAwBhB"}

package/dist/formula/index.js

@@ -0,0 +1,49 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ST_OPERATORS = exports.profileSupportsOperator = exports.roleToOperator = exports.buildTemporal = exports.buildModal = exports.buildFirstOrder = exports.buildPropositional = void 0;
+exports.buildFormulas = buildFormulas;
+/**
+ * Formula — Orquestador de construcción de fórmulas
+ */
+var propositional_1 = require("./propositional");
+Object.defineProperty(exports, "buildPropositional", { enumerable: true, get: function () { return propositional_1.buildPropositional; } });
+var first_order_1 = require("./first-order");
+Object.defineProperty(exports, "buildFirstOrder", { enumerable: true, get: function () { return first_order_1.buildFirstOrder; } });
+var modal_1 = require("./modal");
+Object.defineProperty(exports, "buildModal", { enumerable: true, get: function () { return modal_1.buildModal; } });
+var temporal_1 = require("./temporal");
+Object.defineProperty(exports, "buildTemporal", { enumerable: true, get: function () { return temporal_1.buildTemporal; } });
+var connectors_1 = require("./connectors");
+Object.defineProperty(exports, "roleToOperator", { enumerable: true, get: function () { return connectors_1.roleToOperator; } });
+Object.defineProperty(exports, "profileSupportsOperator", { enumerable: true, get: function () { return connectors_1.profileSupportsOperator; } });
+Object.defineProperty(exports, "ST_OPERATORS", { enumerable: true, get: function () { return connectors_1.ST_OPERATORS; } });
+const propositional_2 = require("./propositional");
+const first_order_2 = require("./first-order");
+const modal_2 = require("./modal");
+const temporal_2 = require("./temporal");
+/**
+ * Construye fórmulas ST según el perfil lógico seleccionado.
+ * Delega al builder específico del perfil.
+ */
+function buildFormulas(sentences, atomEntries, profile, detectedPatterns) {
+    switch (profile) {
+        case 'classical.propositional':
+        case 'intuitionistic.propositional':
+        case 'paraconsistent.belnap':
+        case 'arithmetic':
+        case 'probabilistic.basic':
+            return (0, propositional_2.buildPropositional)(sentences, atomEntries, detectedPatterns);
+        case 'classical.first_order':
+        case 'aristotelian.syllogistic':
+            return (0, first_order_2.buildFirstOrder)(sentences, atomEntries, detectedPatterns);
+        case 'modal.k':
+        case 'epistemic.s5':
+        case 'deontic.standard':
+            return (0, modal_2.buildModal)(sentences, atomEntries, profile);
+        case 'temporal.ltl':
+            return (0, temporal_2.buildTemporal)(sentences, atomEntries);
+        default:
+            return (0, propositional_2.buildPropositional)(sentences, atomEntries, detectedPatterns);
+    }
+}
+//# sourceMappingURL=index.js.map

package/dist/formula/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/formula/index.ts"],"names":[],"mappings":";;;AAmBA,sCA6BC;AAhDD;;GAEG;AACH,iDAAqD;AAA5C,mHAAA,kBAAkB,OAAA;AAC3B,6CAAgD;AAAvC,8GAAA,eAAe,OAAA;AACxB,iCAAqC;AAA5B,mGAAA,UAAU,OAAA;AACnB,uCAA2C;AAAlC,yGAAA,aAAa,OAAA;AACtB,2CAAqF;AAA5E,4GAAA,cAAc,OAAA;AAAE,qHAAA,uBAAuB,OAAA;AAAE,0GAAA,YAAY,OAAA;AAG9D,mDAAqD;AACrD,+CAAgD;AAChD,mCAAqC;AACrC,yCAA2C;AAE3C;;;GAGG;AACH,SAAgB,aAAa,CAC3B,SAA6B,EAC7B,WAAwB,EACxB,OAAqB,EACrB,gBAA0B;IAE1B,QAAQ,OAAO,EAAE,CAAC;QAChB,KAAK,yBAAyB,CAAC;QAC/B,KAAK,8BAA8B,CAAC;QACpC,KAAK,uBAAuB,CAAC;QAC7B,KAAK,YAAY,CAAC;QAClB,KAAK,qBAAqB;YACxB,OAAO,IAAA,kCAAkB,EAAC,SAAS,EAAE,WAAW,EAAE,gBAAgB,CAAC,CAAC;QAEtE,KAAK,uBAAuB,CAAC;QAC7B,KAAK,0BAA0B;YAC7B,OAAO,IAAA,6BAAe,EAAC,SAAS,EAAE,WAAW,EAAE,gBAAgB,CAAC,CAAC;QAEnE,KAAK,SAAS,CAAC;QACf,KAAK,cAAc,CAAC;QACpB,KAAK,kBAAkB;YACrB,OAAO,IAAA,kBAAU,EAAC,SAAS,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;QAErD,KAAK,cAAc;YACjB,OAAO,IAAA,wBAAa,EAAC,SAAS,EAAE,WAAW,CAAC,CAAC;QAE/C;YACE,OAAO,IAAA,kCAAkB,EAAC,SAAS,EAAE,WAAW,EAAE,gBAAgB,CAAC,CAAC;IACxE,CAAC;AACH,CAAC"}

package/dist/formula/modal.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Modal Formula Builder
+ *
+ * Construye fórmulas de lógica modal (K, epistémica, deóntica).
+ */
+import type { AnalyzedSentence, AtomEntry, FormulaEntry, LogicProfile } from '../types';
+/**
+ * Construye fórmulas modales para oraciones con operadores de necesidad/posibilidad.
+ */
+export declare function buildModal(sentences: AnalyzedSentence[], atomEntries: AtomEntry[], profile: LogicProfile): FormulaEntry[];
+//# sourceMappingURL=modal.d.ts.map

package/dist/formula/modal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"modal.d.ts","sourceRoot":"","sources":["../../src/formula/modal.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,KAAK,EAAE,gBAAgB,EAAE,SAAS,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AAGxF;;GAEG;AACH,wBAAgB,UAAU,CACxB,SAAS,EAAE,gBAAgB,EAAE,EAC7B,WAAW,EAAE,SAAS,EAAE,EACxB,OAAO,EAAE,YAAY,GACpB,YAAY,EAAE,CAYhB"}

package/dist/formula/modal.js

@@ -0,0 +1,138 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.buildModal = buildModal;
+const connectors_1 = require("./connectors");
+/**
+ * Construye fórmulas modales para oraciones con operadores de necesidad/posibilidad.
+ */
+function buildModal(sentences, atomEntries, profile) {
+    const formulas = [];
+    let labelCounter = 1;
+    for (let sIdx = 0; sIdx < sentences.length; sIdx++) {
+        const sentence = sentences[sIdx];
+        const built = buildModalSentence(sentence, atomEntries, sIdx, labelCounter, profile);
+        formulas.push(...built);
+        labelCounter += built.length;
+    }
+    return formulas;
+}
+function buildModalSentence(sentence, allAtoms, sentenceIdx, labelStart, profile) {
+    const formulas = [];
+    const clauses = sentence.clauses;
+    let label = labelStart;
+    // Determinar qué operadores usar según el perfil
+    const necessityOp = getModalNecessity(profile);
+    const possibilityOp = getModalPossibility(profile);
+    if (sentence.type === 'modal') {
+        // Detectar cláusulas con modalidad
+        for (const clause of clauses) {
+            const atom = findAtomForClause(clause.text, allAtoms);
+            if (!atom)
+                continue;
+            const hasNecessity = clause.modifiers.some(m => m.type === 'necessity');
+            const hasPossibility = clause.modifiers.some(m => m.type === 'possibility');
+            let formula;
+            if (hasNecessity) {
+                formula = `${necessityOp}(${atom.id})`;
+            }
+            else if (hasPossibility) {
+                formula = `${possibilityOp}(${atom.id})`;
+            }
+            else {
+                formula = atom.id;
+            }
+            formulas.push({
+                formula,
+                stType: 'axiom',
+                label: `a${label++}`,
+                sourceText: clause.text,
+                sourceSentence: sentenceIdx,
+                comment: buildModalComment(clause.text, profile),
+            });
+        }
+    }
+    else if (sentence.type === 'conditional') {
+        // Condicional con modalidad
+        const condClauses = clauses.filter(c => c.role === 'condition');
+        const consClauses = clauses.filter(c => c.role === 'consequent' || c.role === 'conclusion' || c.role === 'assertion');
+        if (condClauses.length > 0 && consClauses.length > 0) {
+            const antAtom = findAtomForClause(condClauses[0].text, allAtoms);
+            const consAtom = findAtomForClause(consClauses[0].text, allAtoms);
+            if (antAtom && consAtom) {
+                let antFormula = antAtom.id;
+                let consFormula = consAtom.id;
+                // Aplicar modalidad
+                if (condClauses[0].modifiers.some(m => m.type === 'necessity')) {
+                    antFormula = `${necessityOp}(${antFormula})`;
+                }
+                if (consClauses[0].modifiers.some(m => m.type === 'possibility')) {
+                    consFormula = `${possibilityOp}(${consFormula})`;
+                }
+                if (consClauses[0].modifiers.some(m => m.type === 'necessity')) {
+                    consFormula = `${necessityOp}(${consFormula})`;
+                }
+                formulas.push({
+                    formula: `${antFormula} -> ${consFormula}`,
+                    stType: 'axiom',
+                    label: `a${label++}`,
+                    sourceText: sentence.original,
+                    sourceSentence: sentenceIdx,
+                    comment: `Condicional modal: "${sentence.original}"`,
+                });
+            }
+        }
+    }
+    else {
+        // Oración no-modal: tratarla como proposicional con envoltura
+        for (const clause of clauses) {
+            const atom = findAtomForClause(clause.text, allAtoms);
+            if (!atom)
+                continue;
+            let formula = atom.id;
+            // Revisar si algún modificador indica modalidad
+            for (const mod of clause.modifiers) {
+                if (mod.type === 'necessity')
+                    formula = `${necessityOp}(${formula})`;
+                else if (mod.type === 'possibility')
+                    formula = `${possibilityOp}(${formula})`;
+            }
+            const isConclusion = clause.role === 'conclusion';
+            formulas.push({
+                formula,
+                stType: isConclusion ? 'derive' : 'axiom',
+                label: isConclusion ? `conclusion_${label}` : `a${label}`,
+                sourceText: clause.text,
+                sourceSentence: sentenceIdx,
+            });
+            label++;
+        }
+    }
+    return formulas;
+}
+function findAtomForClause(text, allAtoms) {
+    return allAtoms.find(a => a.text === text || a.text.includes(text) || text.includes(a.text)) || null;
+}
+function getModalNecessity(profile) {
+    switch (profile) {
+        case 'deontic.standard': return connectors_1.ST_OPERATORS.necessity; // [] = obligación
+        case 'epistemic.s5': return connectors_1.ST_OPERATORS.necessity; // [] = conocimiento
+        default: return connectors_1.ST_OPERATORS.necessity; // [] = necesidad
+    }
+}
+function getModalPossibility(profile) {
+    switch (profile) {
+        case 'deontic.standard': return connectors_1.ST_OPERATORS.possibility; // <> = permisión
+        case 'epistemic.s5': return connectors_1.ST_OPERATORS.possibility; // <> = creencia
+        default: return connectors_1.ST_OPERATORS.possibility; // <> = posibilidad
+    }
+}
+function buildModalComment(text, profile) {
+    const names = {
+        'modal.k': 'Modal K',
+        'deontic.standard': 'Deóntico',
+        'epistemic.s5': 'Epistémico S5',
+    };
+    const profileName = names[profile] || 'Modal';
+    return `${profileName}: "${text}"`;
+}
+//# sourceMappingURL=modal.js.map

package/dist/formula/modal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"modal.js","sourceRoot":"","sources":["../../src/formula/modal.ts"],"names":[],"mappings":";;AAWA,gCAgBC;AArBD,6CAA4C;AAE5C;;GAEG;AACH,SAAgB,UAAU,CACxB,SAA6B,EAC7B,WAAwB,EACxB,OAAqB;IAErB,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,IAAI,YAAY,GAAG,CAAC,CAAC;IAErB,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;QACnD,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QACjC,MAAM,KAAK,GAAG,kBAAkB,CAAC,QAAQ,EAAE,WAAW,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;QACrF,QAAQ,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;QACxB,YAAY,IAAI,KAAK,CAAC,MAAM,CAAC;IAC/B,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,kBAAkB,CACzB,QAA0B,EAC1B,QAAqB,EACrB,WAAmB,EACnB,UAAkB,EAClB,OAAqB;IAErB,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC;IACjC,IAAI,KAAK,GAAG,UAAU,CAAC;IAEvB,iDAAiD;IACjD,MAAM,WAAW,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC;IAC/C,MAAM,aAAa,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;IAEnD,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC9B,mCAAmC;QACnC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,MAAM,IAAI,GAAG,iBAAiB,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACtD,IAAI,CAAC,IAAI;gBAAE,SAAS;YAEpB,MAAM,YAAY,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;YACxE,MAAM,cAAc,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC;YAE5E,IAAI,OAAe,CAAC;YACpB,IAAI,YAAY,EAAE,CAAC;gBACjB,OAAO,GAAG,GAAG,WAAW,IAAI,IAAI,CAAC,EAAE,GAAG,CAAC;YACzC,CAAC;iBAAM,IAAI,cAAc,EAAE,CAAC;gBAC1B,OAAO,GAAG,GAAG,aAAa,IAAI,IAAI,CAAC,EAAE,GAAG,CAAC;YAC3C,CAAC;iBAAM,CAAC;gBACN,OAAO,GAAG,IAAI,CAAC,EAAE,CAAC;YACpB,CAAC;YAED,QAAQ,CAAC,IAAI,CAAC;gBACZ,OAAO;gBACP,MAAM,EAAE,OAAO;gBACf,KAAK,EAAE,IAAI,KAAK,EAAE,EAAE;gBACpB,UAAU,EAAE,MAAM,CAAC,IAAI;gBACvB,cAAc,EAAE,WAAW;gBAC3B,OAAO,EAAE,iBAAiB,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC;aACjD,CAAC,CAAC;QACL,CAAC;IACH,CAAC;SAAM,IAAI,QAAQ,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QAC3C,4BAA4B;QAC5B,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;QAChE,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CACrC,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAC7E,CAAC;QAEF,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrD,MAAM,OAAO,GAAG,iBAAiB,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACjE,MAAM,QAAQ,GAAG,iBAAiB,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAElE,IAAI,OAAO,IAAI,QAAQ,EAAE,CAAC;gBACxB,IAAI,UAAU,GAAG,OAAO,CAAC,EAAE,CAAC;gBAC5B,IAAI,WAAW,GAAG,QAAQ,CAAC,EAAE,CAAC;gBAE9B,oBAAoB;gBACpB,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,EAAE,CAAC;oBAC/D,UAAU,GAAG,GAAG,WAAW,IAAI,UAAU,GAAG,CAAC;gBAC/C,CAAC;gBACD,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,EAAE,CAAC;oBACjE,WAAW,GAAG,GAAG,aAAa,IAAI,WAAW,GAAG,CAAC;gBACnD,CAAC;gBACD,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,EAAE,CAAC;oBAC/D,WAAW,GAAG,GAAG,WAAW,IAAI,WAAW,GAAG,CAAC;gBACjD,CAAC;gBAED,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,GAAG,UAAU,OAAO,WAAW,EAAE;oBAC1C,MAAM,EAAE,OAAO;oBACf,KAAK,EAAE,IAAI,KAAK,EAAE,EAAE;oBACpB,UAAU,EAAE,QAAQ,CAAC,QAAQ;oBAC7B,cAAc,EAAE,WAAW;oBAC3B,OAAO,EAAE,uBAAuB,QAAQ,CAAC,QAAQ,GAAG;iBACrD,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;SAAM,CAAC;QACN,8DAA8D;QAC9D,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,MAAM,IAAI,GAAG,iBAAiB,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACtD,IAAI,CAAC,IAAI;gBAAE,SAAS;YAEpB,IAAI,OAAO,GAAG,IAAI,CAAC,EAAE,CAAC;YAEtB,gDAAgD;YAChD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;gBACnC,IAAI,GAAG,CAAC,IAAI,KAAK,WAAW;oBAAE,OAAO,GAAG,GAAG,WAAW,IAAI,OAAO,GAAG,CAAC;qBAChE,IAAI,GAAG,CAAC,IAAI,KAAK,aAAa;oBAAE,OAAO,GAAG,GAAG,aAAa,IAAI,OAAO,GAAG,CAAC;YAChF,CAAC;YAED,MAAM,YAAY,GAAG,MAAM,CAAC,IAAI,KAAK,YAAY,CAAC;YAClD,QAAQ,CAAC,IAAI,CAAC;gBACZ,OAAO;gBACP,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO;gBACzC,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,cAAc,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE;gBACzD,UAAU,EAAE,MAAM,CAAC,IAAI;gBACvB,cAAc,EAAE,WAAW;aAC5B,CAAC,CAAC;YACH,KAAK,EAAE,CAAC;QACV,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAY,EAAE,QAAqB;IAC5D,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CACvB,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAClE,IAAI,IAAI,CAAC;AACZ,CAAC;AAED,SAAS,iBAAiB,CAAC,OAAqB;IAC9C,QAAQ,OAAO,EAAE,CAAC;QAChB,KAAK,kBAAkB,CAAC,CAAC,OAAO,yBAAY,CAAC,SAAS,CAAC,CAAI,kBAAkB;QAC7E,KAAK,cAAc,CAAC,CAAC,OAAO,yBAAY,CAAC,SAAS,CAAC,CAAQ,oBAAoB;QAC/E,OAAO,CAAC,CAAC,OAAO,yBAAY,CAAC,SAAS,CAAC,CAAqB,iBAAiB;IAC/E,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAAC,OAAqB;IAChD,QAAQ,OAAO,EAAE,CAAC;QAChB,KAAK,kBAAkB,CAAC,CAAC,OAAO,yBAAY,CAAC,WAAW,CAAC,CAAE,iBAAiB;QAC5E,KAAK,cAAc,CAAC,CAAC,OAAO,yBAAY,CAAC,WAAW,CAAC,CAAM,gBAAgB;QAC3E,OAAO,CAAC,CAAC,OAAO,yBAAY,CAAC,WAAW,CAAC,CAAmB,mBAAmB;IACjF,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAY,EAAE,OAAqB;IAC5D,MAAM,KAAK,GAA2B;QACpC,SAAS,EAAE,SAAS;QACpB,kBAAkB,EAAE,UAAU;QAC9B,cAAc,EAAE,eAAe;KAChC,CAAC;IACF,MAAM,WAAW,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC;IAC9C,OAAO,GAAG,WAAW,MAAM,IAAI,GAAG,CAAC;AACrC,CAAC"}

package/dist/formula/propositional.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Propositional Formula Builder
+ *
+ * Construye fórmulas de lógica proposicional a partir de átomos con roles.
+ */
+import type { AnalyzedSentence, AtomEntry, FormulaEntry } from '../types';
+/**
+ * Construye fórmulas proposicionales para un conjunto de oraciones.
+ */
+export declare function buildPropositional(sentences: AnalyzedSentence[], atomEntries: AtomEntry[], detectedPatterns: string[]): FormulaEntry[];
+//# sourceMappingURL=propositional.d.ts.map

package/dist/formula/propositional.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"propositional.d.ts","sourceRoot":"","sources":["../../src/formula/propositional.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,KAAK,EAAE,gBAAgB,EAAE,SAAS,EAAE,YAAY,EAAmB,MAAM,UAAU,CAAC;AAG3F;;GAEG;AACH,wBAAgB,kBAAkB,CAChC,SAAS,EAAE,gBAAgB,EAAE,EAC7B,WAAW,EAAE,SAAS,EAAE,EACxB,gBAAgB,EAAE,MAAM,EAAE,GACzB,YAAY,EAAE,CAmBhB"}