@stevenvo780/autologic 1.0.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2024 stevenvo780
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -0,0 +1,166 @@
+# @stevenvo780/autologic
+
+**Formalizador automático de texto natural → lógica formal ST, sin IA.**
+
+Autologic convierte texto en lenguaje natural (español/inglés) en código formal ejecutable en [ST lang](https://github.com/stevenvo780/st-lang), utilizando NLP basado en reglas — sin modelos de lenguaje, sin APIs externas, sin dependencias de runtime.
+
+## Características
+
+- 🧠 **11 perfiles lógicos**: proposicional, primer orden, modal K, deóntico, epistémico, intuicionista, temporal LTL, paraconsistente Belnap, silogístico aristotélico, probabilístico, aritmético
+- 🌍 **Bilingüe**: español e inglés con ~200 marcadores discursivos
+- 🔍 **Detección de patrones**: modus ponens, modus tollens, silogismo hipotético, cadenas condicionales, generalización/instanciación universal
+- ⚡ **Zero dependencies**: todo el NLP es interno (stemmers Snowball, stopwords, coreferencia)
+- 🎯 **Trazabilidad**: cada fórmula referencia el texto fuente original
+- ✅ **Validación**: valida el ST generado contra `@stevenvo780/st-lang`
+
+## Instalación
+
+```bash
+npm install @stevenvo780/autologic @stevenvo780/st-lang
+```
+
+## Uso rápido
+
+### Función stateless
+
+```typescript
+import { formalize } from '@stevenvo780/autologic';
+
+const result = formalize(
+  'Si llueve, entonces la calle se moja. Está lloviendo. Por lo tanto, la calle está mojada.',
+  { profile: 'classical.propositional', language: 'es' }
+);
+
+console.log(result.stCode);
+// logic classical.propositional
+// interpret "llueve" as LLUEVE
+// interpret "la calle se moja." as CALLE_MOJA
+// axiom regla_1 : LLUEVE -> CALLE_MOJA
+// axiom hecho_2 : LLOVIENDO
+// derive MOJADA_CALLE from {regla_1, hecho_2}
+// check valid (LLUEVE -> CALLE_MOJA)
+```
+
+### Clase con estado
+
+```typescript
+import { Autologic } from '@stevenvo780/autologic';
+
+const al = new Autologic({
+  language: 'es',
+  defaultProfile: 'classical.propositional',
+  includeComments: true,
+});
+
+const r1 = al.formalize('Todo humano es mortal. Sócrates es humano.');
+const r2 = al.formalize('Es necesario que las leyes se cumplan.');
+
+console.log(al.getHistory()); // últimas 2 formalizaciones
+```
+
+## Perfiles lógicos
+
+| Perfil | Descripción |
+|--------|------------|
+| `classical.propositional` | Lógica proposicional clásica (→, &, \|, !, ↔) |
+| `classical.first_order` | Primer orden con cuantificadores (∀, ∃, predicados) |
+| `modal.k` | Lógica modal K (□, ◇) |
+| `deontic.standard` | Lógica deóntica (obligación, permisión) |
+| `epistemic.s5` | Lógica epistémica S5 (conocimiento, creencia) |
+| `intuitionistic.propositional` | Lógica intuicionista |
+| `temporal.ltl` | Lógica temporal lineal (next, until, always, eventually) |
+| `paraconsistent.belnap` | Lógica paraconsistente Belnap 4-valores |
+| `aristotelian.syllogistic` | Silogística aristotélica |
+| `probabilistic.basic` | Lógica probabilística básica |
+| `arithmetic` | Aritmética formal |
+
+## API
+
+### `formalize(text, options?)`
+
+Función principal stateless. Retorna `FormalizationResult`:
+
+```typescript
+interface FormalizationResult {
+  ok: boolean;
+  stCode: string;
+  analysis: DiscourseAnalysis;
+  atoms: Map<string, string>;
+  formulas: FormulaEntry[];
+  diagnostics: Diagnostic[];
+}
+```
+
+### Opciones
+
+```typescript
+interface FormalizeOptions {
+  profile?: LogicProfile;      // default: 'classical.propositional'
+  language?: 'es' | 'en';     // default: 'es'
+  atomStyle?: 'keywords' | 'letters' | 'numbered'; // default: 'keywords'
+  includeComments?: boolean;   // default: true
+  validate?: boolean;          // default: false
+}
+```
+
+### Utilidades exportadas
+
+```typescript
+import {
+  segment,            // Segmentar texto en oraciones/cláusulas
+  analyzeDiscourse,   // Analizar marcadores y patrones
+  extractAtoms,       // Extraer proposiciones atómicas
+  buildFormulas,      // Construir fórmulas ST
+  emitST,            // Generar código ST
+  validateST,        // Validar ST con st-lang
+} from '@stevenvo780/autologic';
+```
+
+## Pipeline
+
+```
+Texto Natural
+     │
+     ▼
+┌──────────┐   Divide por . ; ? !
+│ Segmenter │   Divide cláusulas por marcadores
+└────┬─────┘
+     ▼
+┌──────────────┐   Detecta marcadores discursivos
+│  Discourse   │   Clasifica roles (premisa, condición, conclusión...)
+│  Analyzer    │   Detecta patrones (modus ponens, silogismos...)
+└────┬─────────┘
+     ▼
+┌──────────┐   Extrae keywords / predicados
+│  Atoms   │   Genera IDs únicos (LLUEVE, CALLE_MOJA)
+│ Extractor│   Resuelve coreferencia (Dice/Jaccard)
+└────┬─────┘
+     ▼
+┌──────────┐   Mapea roles → operadores ST
+│ Formula  │   Construye fórmulas por perfil lógico
+│ Builder  │   (proposicional, 1er orden, modal, temporal)
+└────┬─────┘
+     ▼
+┌──────────┐   Emite código ST formateado
+│    ST    │   Agrega comments/traceability
+│ Generator│   Valida con st-lang (opcional)
+└──────────┘
+     │
+     ▼
+  Código .st
+```
+
+## Desarrollo
+
+```bash
+git clone https://github.com/stevenvo780/autologic
+cd autologic
+npm install
+npm run build     # Compilar TypeScript
+npm test          # 74 tests
+npm run test:coverage  # Coverage (~80%)
+```
+
+## Licencia
+
+MIT

package/dist/atoms/coreference.d.ts

@@ -0,0 +1,29 @@
+/**
+ * Coreference — Resolución básica de coreferencia por similitud léxica
+ *
+ * Detecta cuando dos cláusulas se refieren a la misma proposición:
+ * "llueve" ≈ "está lloviendo" → mismo átomo
+ *
+ * Usa coeficiente Dice/Jaccard sobre bags-of-stems.
+ */
+import type { Language } from '../types';
+/**
+ * Calcula la similitud Dice entre dos conjuntos de stems.
+ * Dice = 2|A∩B| / (|A| + |B|)
+ */
+export declare function diceSimilarity(setA: Set<string>, setB: Set<string>): number;
+/**
+ * Calcula la similitud Jaccard entre dos conjuntos.
+ * Jaccard = |A∩B| / |A∪B|
+ */
+export declare function jaccardSimilarity(setA: Set<string>, setB: Set<string>): number;
+/**
+ * Determina si dos textos son correferentes (hablan de lo mismo).
+ */
+export declare function areCoreferent(textA: string, textB: string, language?: Language, threshold?: number): boolean;
+/**
+ * Dado un array de textos, agrupa los correferentes y retorna
+ * un mapa de texto → índice del grupo representativo.
+ */
+export declare function resolveCoreferenceGroups(texts: string[], language?: Language, threshold?: number): Map<number, number>;
+//# sourceMappingURL=coreference.d.ts.map

package/dist/atoms/coreference.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"coreference.d.ts","sourceRoot":"","sources":["../../src/atoms/coreference.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC;AAMzC;;;GAGG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,MAAM,CAU3E;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,MAAM,CAW9E;AAED;;GAEG;AACH,wBAAgB,aAAa,CAC3B,KAAK,EAAE,MAAM,EACb,KAAK,EAAE,MAAM,EACb,QAAQ,GAAE,QAAe,EACzB,SAAS,GAAE,MAA8B,GACxC,OAAO,CAIT;AAED;;;GAGG;AACH,wBAAgB,wBAAwB,CACtC,KAAK,EAAE,MAAM,EAAE,EACf,QAAQ,GAAE,QAAe,EACzB,SAAS,GAAE,MAA8B,GACxC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAoBrB"}

package/dist/atoms/coreference.js

@@ -0,0 +1,75 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.diceSimilarity = diceSimilarity;
+exports.jaccardSimilarity = jaccardSimilarity;
+exports.areCoreferent = areCoreferent;
+exports.resolveCoreferenceGroups = resolveCoreferenceGroups;
+const keyword_extractor_1 = require("./keyword-extractor");
+/** Umbral de similitud para considerar coreferencia (70%) */
+const COREFERENCE_THRESHOLD = 0.7;
+/**
+ * Calcula la similitud Dice entre dos conjuntos de stems.
+ * Dice = 2|A∩B| / (|A| + |B|)
+ */
+function diceSimilarity(setA, setB) {
+    if (setA.size === 0 && setB.size === 0)
+        return 1;
+    if (setA.size === 0 || setB.size === 0)
+        return 0;
+    let intersection = 0;
+    for (const item of setA) {
+        if (setB.has(item))
+            intersection++;
+    }
+    return (2 * intersection) / (setA.size + setB.size);
+}
+/**
+ * Calcula la similitud Jaccard entre dos conjuntos.
+ * Jaccard = |A∩B| / |A∪B|
+ */
+function jaccardSimilarity(setA, setB) {
+    if (setA.size === 0 && setB.size === 0)
+        return 1;
+    if (setA.size === 0 || setB.size === 0)
+        return 0;
+    let intersection = 0;
+    const union = new Set([...setA, ...setB]);
+    for (const item of setA) {
+        if (setB.has(item))
+            intersection++;
+    }
+    return intersection / union.size;
+}
+/**
+ * Determina si dos textos son correferentes (hablan de lo mismo).
+ */
+function areCoreferent(textA, textB, language = 'es', threshold = COREFERENCE_THRESHOLD) {
+    const stemsA = (0, keyword_extractor_1.bagOfStems)(textA, language);
+    const stemsB = (0, keyword_extractor_1.bagOfStems)(textB, language);
+    return diceSimilarity(stemsA, stemsB) >= threshold;
+}
+/**
+ * Dado un array de textos, agrupa los correferentes y retorna
+ * un mapa de texto → índice del grupo representativo.
+ */
+function resolveCoreferenceGroups(texts, language = 'es', threshold = COREFERENCE_THRESHOLD) {
+    const stemSets = texts.map(t => (0, keyword_extractor_1.bagOfStems)(t, language));
+    const groups = new Map(); // idx → representative idx
+    for (let i = 0; i < texts.length; i++) {
+        let found = false;
+        for (let j = 0; j < i; j++) {
+            if (groups.has(j) && groups.get(j) !== j)
+                continue;
+            if (diceSimilarity(stemSets[i], stemSets[j]) >= threshold) {
+                groups.set(i, j);
+                found = true;
+                break;
+            }
+        }
+        if (!found) {
+            groups.set(i, i); // es su propio representante
+        }
+    }
+    return groups;
+}
+//# sourceMappingURL=coreference.js.map

package/dist/atoms/coreference.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"coreference.js","sourceRoot":"","sources":["../../src/atoms/coreference.ts"],"names":[],"mappings":";;AAkBA,wCAUC;AAMD,8CAWC;AAKD,sCASC;AAMD,4DAwBC;AAhFD,2DAAiD;AAEjD,6DAA6D;AAC7D,MAAM,qBAAqB,GAAG,GAAG,CAAC;AAElC;;;GAGG;AACH,SAAgB,cAAc,CAAC,IAAiB,EAAE,IAAiB;IACjE,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACjD,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IAEjD,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;QACxB,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,YAAY,EAAE,CAAC;IACrC,CAAC;IAED,OAAO,CAAC,CAAC,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;AACtD,CAAC;AAED;;;GAGG;AACH,SAAgB,iBAAiB,CAAC,IAAiB,EAAE,IAAiB;IACpE,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACjD,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IAEjD,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC;IAC1C,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;QACxB,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,YAAY,EAAE,CAAC;IACrC,CAAC;IAED,OAAO,YAAY,GAAG,KAAK,CAAC,IAAI,CAAC;AACnC,CAAC;AAED;;GAEG;AACH,SAAgB,aAAa,CAC3B,KAAa,EACb,KAAa,EACb,WAAqB,IAAI,EACzB,YAAoB,qBAAqB;IAEzC,MAAM,MAAM,GAAG,IAAA,8BAAU,EAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC3C,MAAM,MAAM,GAAG,IAAA,8BAAU,EAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC3C,OAAO,cAAc,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,SAAS,CAAC;AACrD,CAAC;AAED;;;GAGG;AACH,SAAgB,wBAAwB,CACtC,KAAe,EACf,WAAqB,IAAI,EACzB,YAAoB,qBAAqB;IAEzC,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAA,8BAAU,EAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;IACzD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC,CAAC,2BAA2B;IAErE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,IAAI,KAAK,GAAG,KAAK,CAAC;QAClB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC;gBAAE,SAAS;YACnD,IAAI,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,SAAS,EAAE,CAAC;gBAC1D,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBACjB,KAAK,GAAG,IAAI,CAAC;gBACb,MAAM;YACR,CAAC;QACH,CAAC;QACD,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,6BAA6B;QACjD,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/atoms/identifier-gen.d.ts

@@ -0,0 +1,23 @@
+/**
+ * Identifier Generator — Genera IDs simbólicos ST válidos
+ *
+ * Convierte palabras clave en identificadores válidos para ST:
+ * - Keywords → KEYWORDS_JOINED (e.g., LLUEVE, CALLE_MOJA)
+ * - Letters → P, Q, R, S, ...
+ * - Numbered → A1, A2, A3, ...
+ */
+import type { AtomStyle } from '../types';
+/**
+ * Genera un identificador ST válido a partir de palabras clave.
+ */
+export declare function generateId(keywords: string[], style?: AtomStyle, index?: number): string;
+/**
+ * Genera un identificador para predicados (primer orden).
+ * Formato: NombrePredicado (CamelCase)
+ */
+export declare function generatePredicateId(words: string[]): string;
+/**
+ * Genera un identificador de variable (minúscula).
+ */
+export declare function generateVariableId(name: string): string;
+//# sourceMappingURL=identifier-gen.d.ts.map

package/dist/atoms/identifier-gen.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"identifier-gen.d.ts","sourceRoot":"","sources":["../../src/atoms/identifier-gen.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AAK1C;;GAEG;AACH,wBAAgB,UAAU,CACxB,QAAQ,EAAE,MAAM,EAAE,EAClB,KAAK,GAAE,SAAsB,EAC7B,KAAK,GAAE,MAAU,GAChB,MAAM,CASR;AA+CD;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,CAQ3D;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAGvD"}

package/dist/atoms/identifier-gen.js

@@ -0,0 +1,83 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.generateId = generateId;
+exports.generatePredicateId = generatePredicateId;
+exports.generateVariableId = generateVariableId;
+/** Letras disponibles para estilo 'letters' */
+const LETTERS = 'PQRSTUVWXYZABCDEFGHIJKLMNO'.split('');
+/**
+ * Genera un identificador ST válido a partir de palabras clave.
+ */
+function generateId(keywords, style = 'keywords', index = 0) {
+    switch (style) {
+        case 'keywords':
+            return keywordsToId(keywords);
+        case 'letters':
+            return lettersId(index);
+        case 'numbered':
+            return numberedId(index);
+    }
+}
+/**
+ * Genera ID a partir de palabras clave.
+ * Limpia caracteres especiales y une con underscore.
+ */
+function keywordsToId(keywords) {
+    if (keywords.length === 0)
+        return 'ATOM';
+    const id = keywords
+        .map(k => sanitize(k))
+        .filter(k => k.length > 0)
+        .join('_')
+        .toUpperCase();
+    return id || 'ATOM';
+}
+/**
+ * Genera ID tipo letra (P, Q, R, ..., P1, Q1, ...).
+ */
+function lettersId(index) {
+    if (index < LETTERS.length)
+        return LETTERS[index];
+    const cycle = Math.floor(index / LETTERS.length);
+    const pos = index % LETTERS.length;
+    return `${LETTERS[pos]}${cycle}`;
+}
+/**
+ * Genera ID tipo numerado (A1, A2, A3, ...).
+ */
+function numberedId(index) {
+    return `A${index + 1}`;
+}
+/**
+ * Sanitiza una palabra para ser un identificador ST válido.
+ * Solo permite letras ASCII, dígitos y underscore.
+ */
+function sanitize(word) {
+    return word
+        .normalize('NFD')
+        .replace(/[\u0300-\u036f]/g, '') // eliminar diacríticos
+        .replace(/[^a-zA-Z0-9_]/g, '')
+        .replace(/^[0-9]/, '_$&'); // no empezar con dígito
+}
+/**
+ * Genera un identificador para predicados (primer orden).
+ * Formato: NombrePredicado (CamelCase)
+ */
+function generatePredicateId(words) {
+    if (words.length === 0)
+        return 'Pred';
+    return words
+        .map(w => {
+        const s = sanitize(w);
+        return s.charAt(0).toUpperCase() + s.slice(1).toLowerCase();
+    })
+        .join('');
+}
+/**
+ * Genera un identificador de variable (minúscula).
+ */
+function generateVariableId(name) {
+    const s = sanitize(name).toLowerCase();
+    return s || 'x';
+}
+//# sourceMappingURL=identifier-gen.js.map

package/dist/atoms/identifier-gen.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"identifier-gen.js","sourceRoot":"","sources":["../../src/atoms/identifier-gen.ts"],"names":[],"mappings":";;AAgBA,gCAaC;AAmDD,kDAQC;AAKD,gDAGC;AAtFD,+CAA+C;AAC/C,MAAM,OAAO,GAAG,4BAA4B,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AAEvD;;GAEG;AACH,SAAgB,UAAU,CACxB,QAAkB,EAClB,QAAmB,UAAU,EAC7B,QAAgB,CAAC;IAEjB,QAAQ,KAAK,EAAE,CAAC;QACd,KAAK,UAAU;YACb,OAAO,YAAY,CAAC,QAAQ,CAAC,CAAC;QAChC,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC,KAAK,CAAC,CAAC;QAC1B,KAAK,UAAU;YACb,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC;IAC7B,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,SAAS,YAAY,CAAC,QAAkB;IACtC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC;IAEzC,MAAM,EAAE,GAAG,QAAQ;SAChB,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;SACrB,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;SACzB,IAAI,CAAC,GAAG,CAAC;SACT,WAAW,EAAE,CAAC;IAEjB,OAAO,EAAE,IAAI,MAAM,CAAC;AACtB,CAAC;AAED;;GAEG;AACH,SAAS,SAAS,CAAC,KAAa;IAC9B,IAAI,KAAK,GAAG,OAAO,CAAC,MAAM;QAAE,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC;IAClD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IACjD,MAAM,GAAG,GAAG,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC;IACnC,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,KAAK,EAAE,CAAC;AACnC,CAAC;AAED;;GAEG;AACH,SAAS,UAAU,CAAC,KAAa;IAC/B,OAAO,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;AACzB,CAAC;AAED;;;GAGG;AACH,SAAS,QAAQ,CAAC,IAAY;IAC5B,OAAO,IAAI;SACR,SAAS,CAAC,KAAK,CAAC;SAChB,OAAO,CAAC,kBAAkB,EAAE,EAAE,CAAC,CAAC,uBAAuB;SACvD,OAAO,CAAC,gBAAgB,EAAE,EAAE,CAAC;SAC7B,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,wBAAwB;AACvD,CAAC;AAED;;;GAGG;AACH,SAAgB,mBAAmB,CAAC,KAAe;IACjD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC;IACtC,OAAO,KAAK;SACT,GAAG,CAAC,CAAC,CAAC,EAAE;QACP,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACtB,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;IAC9D,CAAC,CAAC;SACD,IAAI,CAAC,EAAE,CAAC,CAAC;AACd,CAAC;AAED;;GAEG;AACH,SAAgB,kBAAkB,CAAC,IAAY;IAC7C,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;IACvC,OAAO,CAAC,IAAI,GAAG,CAAC;AAClB,CAAC"}

package/dist/atoms/index.d.ts

@@ -0,0 +1,20 @@
+/**
+ * Atoms — Extractor de átomos proposicionales
+ */
+export { extractKeywords, extractStems, bagOfStems, extractSubjectPredicate } from './keyword-extractor';
+export { generateId, generatePredicateId, generateVariableId } from './identifier-gen';
+export { areCoreferent, resolveCoreferenceGroups, diceSimilarity } from './coreference';
+import type { AtomEntry, AtomStyle, Language, AnalyzedSentence, LogicProfile } from '../types';
+/**
+ * Extrae átomos proposicionales de oraciones analizadas.
+ * Resuelve coreferencia y asigna IDs simbólicos.
+ */
+export declare function extractAtoms(sentences: AnalyzedSentence[], options?: {
+    language?: Language;
+    atomStyle?: AtomStyle;
+    profile?: LogicProfile;
+}): {
+    atoms: Map<string, string>;
+    entries: AtomEntry[];
+};
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/atoms/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,EAAE,eAAe,EAAE,YAAY,EAAE,UAAU,EAAE,uBAAuB,EAAE,MAAM,qBAAqB,CAAC;AACzG,OAAO,EAAE,UAAU,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AACvF,OAAO,EAAE,aAAa,EAAE,wBAAwB,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAExF,OAAO,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AAK/F;;;GAGG;AACH,wBAAgB,YAAY,CAC1B,SAAS,EAAE,gBAAgB,EAAE,EAC7B,OAAO,GAAE;IACP,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB,SAAS,CAAC,EAAE,SAAS,CAAC;IACtB,OAAO,CAAC,EAAE,YAAY,CAAC;CACnB,GACL;IAAE,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAAC,OAAO,EAAE,SAAS,EAAE,CAAA;CAAE,CA0FtD"}

package/dist/atoms/index.js

@@ -0,0 +1,112 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.diceSimilarity = exports.resolveCoreferenceGroups = exports.areCoreferent = exports.generateVariableId = exports.generatePredicateId = exports.generateId = exports.extractSubjectPredicate = exports.bagOfStems = exports.extractStems = exports.extractKeywords = void 0;
+exports.extractAtoms = extractAtoms;
+/**
+ * Atoms — Extractor de átomos proposicionales
+ */
+var keyword_extractor_1 = require("./keyword-extractor");
+Object.defineProperty(exports, "extractKeywords", { enumerable: true, get: function () { return keyword_extractor_1.extractKeywords; } });
+Object.defineProperty(exports, "extractStems", { enumerable: true, get: function () { return keyword_extractor_1.extractStems; } });
+Object.defineProperty(exports, "bagOfStems", { enumerable: true, get: function () { return keyword_extractor_1.bagOfStems; } });
+Object.defineProperty(exports, "extractSubjectPredicate", { enumerable: true, get: function () { return keyword_extractor_1.extractSubjectPredicate; } });
+var identifier_gen_1 = require("./identifier-gen");
+Object.defineProperty(exports, "generateId", { enumerable: true, get: function () { return identifier_gen_1.generateId; } });
+Object.defineProperty(exports, "generatePredicateId", { enumerable: true, get: function () { return identifier_gen_1.generatePredicateId; } });
+Object.defineProperty(exports, "generateVariableId", { enumerable: true, get: function () { return identifier_gen_1.generateVariableId; } });
+var coreference_1 = require("./coreference");
+Object.defineProperty(exports, "areCoreferent", { enumerable: true, get: function () { return coreference_1.areCoreferent; } });
+Object.defineProperty(exports, "resolveCoreferenceGroups", { enumerable: true, get: function () { return coreference_1.resolveCoreferenceGroups; } });
+Object.defineProperty(exports, "diceSimilarity", { enumerable: true, get: function () { return coreference_1.diceSimilarity; } });
+const keyword_extractor_2 = require("./keyword-extractor");
+const identifier_gen_2 = require("./identifier-gen");
+const coreference_2 = require("./coreference");
+/**
+ * Extrae átomos proposicionales de oraciones analizadas.
+ * Resuelve coreferencia y asigna IDs simbólicos.
+ */
+function extractAtoms(sentences, options = {}) {
+    const language = options.language || 'es';
+    const style = options.atomStyle || 'keywords';
+    const profile = options.profile || 'classical.propositional';
+    // 1. Recopilar todos los textos de cláusulas
+    const clauseTexts = [];
+    for (let sIdx = 0; sIdx < sentences.length; sIdx++) {
+        for (let cIdx = 0; cIdx < sentences[sIdx].clauses.length; cIdx++) {
+            const clause = sentences[sIdx].clauses[cIdx];
+            clauseTexts.push({
+                text: clause.text,
+                sentIdx: sIdx,
+                clauseIdx: cIdx,
+                role: clause.role,
+            });
+        }
+    }
+    // 2. Resolver coreferencia
+    const texts = clauseTexts.map(ct => ct.text);
+    const corefGroups = (0, coreference_2.resolveCoreferenceGroups)(texts, language);
+    // 3. Generar átomos únicos
+    const atoms = new Map();
+    const entries = [];
+    const representativeIds = new Map(); // groupIdx → atomId
+    let atomCounter = 0;
+    for (let i = 0; i < clauseTexts.length; i++) {
+        const ct = clauseTexts[i];
+        const representative = corefGroups.get(i) ?? i;
+        if (representativeIds.has(representative)) {
+            // Ya existe un átomo para este grupo de coreferencia
+            const existingId = representativeIds.get(representative);
+            entries.push({
+                id: existingId,
+                text: ct.text,
+                sourceClause: i,
+                role: ct.role,
+            });
+            continue;
+        }
+        // Crear nuevo átomo
+        let atomId;
+        if (profile === 'classical.first_order') {
+            // Para primer orden: extraer predicado y términos
+            const sp = (0, keyword_extractor_2.extractSubjectPredicate)(ct.text, language);
+            if (sp) {
+                const predicate = (0, identifier_gen_2.generatePredicateId)(sp.predicate.split('_'));
+                const variable = (0, identifier_gen_2.generateVariableId)(sp.subject);
+                atomId = `${predicate}(${variable})`;
+                entries.push({
+                    id: atomId,
+                    text: ct.text,
+                    sourceClause: i,
+                    role: ct.role,
+                    predicate,
+                    terms: [variable],
+                });
+            }
+            else {
+                const keywords = (0, keyword_extractor_2.extractKeywords)(ct.text, language);
+                atomId = (0, identifier_gen_2.generateId)(keywords, style, atomCounter);
+                entries.push({
+                    id: atomId,
+                    text: ct.text,
+                    sourceClause: i,
+                    role: ct.role,
+                });
+            }
+        }
+        else {
+            const keywords = (0, keyword_extractor_2.extractKeywords)(ct.text, language);
+            atomId = (0, identifier_gen_2.generateId)(keywords, style, atomCounter);
+            entries.push({
+                id: atomId,
+                text: ct.text,
+                sourceClause: i,
+                role: ct.role,
+            });
+        }
+        atoms.set(atomId, ct.text);
+        representativeIds.set(representative, atomId);
+        atomCounter++;
+    }
+    return { atoms, entries };
+}
+//# sourceMappingURL=index.js.map

package/dist/atoms/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/atoms/index.ts"],"names":[],"mappings":";;;AAgBA,oCAiGC;AAjHD;;GAEG;AACH,yDAAyG;AAAhG,oHAAA,eAAe,OAAA;AAAE,iHAAA,YAAY,OAAA;AAAE,+GAAA,UAAU,OAAA;AAAE,4HAAA,uBAAuB,OAAA;AAC3E,mDAAuF;AAA9E,4GAAA,UAAU,OAAA;AAAE,qHAAA,mBAAmB,OAAA;AAAE,oHAAA,kBAAkB,OAAA;AAC5D,6CAAwF;AAA/E,4GAAA,aAAa,OAAA;AAAE,uHAAA,wBAAwB,OAAA;AAAE,6GAAA,cAAc,OAAA;AAGhE,2DAA+E;AAC/E,qDAAuF;AACvF,+CAAyD;AAEzD;;;GAGG;AACH,SAAgB,YAAY,CAC1B,SAA6B,EAC7B,UAII,EAAE;IAEN,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,IAAI,CAAC;IAC1C,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,IAAI,UAAU,CAAC;IAC9C,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,yBAAyB,CAAC;IAE7D,6CAA6C;IAC7C,MAAM,WAAW,GAA0E,EAAE,CAAC;IAC9F,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;QACnD,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;YACjE,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAC7C,WAAW,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,MAAM,CAAC,IAAI;gBACjB,OAAO,EAAE,IAAI;gBACb,SAAS,EAAE,IAAI;gBACf,IAAI,EAAE,MAAM,CAAC,IAAI;aAClB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,2BAA2B;IAC3B,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAC7C,MAAM,WAAW,GAAG,IAAA,sCAAwB,EAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAE9D,2BAA2B;IAC3B,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,MAAM,OAAO,GAAgB,EAAE,CAAC;IAChC,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAkB,CAAC,CAAC,oBAAoB;IACzE,IAAI,WAAW,GAAG,CAAC,CAAC;IAEpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5C,MAAM,EAAE,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,cAAc,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAE/C,IAAI,iBAAiB,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,CAAC;YAC1C,qDAAqD;YACrD,MAAM,UAAU,GAAG,iBAAiB,CAAC,GAAG,CAAC,cAAc,CAAE,CAAC;YAC1D,OAAO,CAAC,IAAI,CAAC;gBACX,EAAE,EAAE,UAAU;gBACd,IAAI,EAAE,EAAE,CAAC,IAAI;gBACb,YAAY,EAAE,CAAC;gBACf,IAAI,EAAE,EAAE,CAAC,IAAyB;aACnC,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,oBAAoB;QACpB,IAAI,MAAc,CAAC;QAEnB,IAAI,OAAO,KAAK,uBAAuB,EAAE,CAAC;YACxC,kDAAkD;YAClD,MAAM,EAAE,GAAG,IAAA,2CAAuB,EAAC,EAAE,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACtD,IAAI,EAAE,EAAE,CAAC;gBACP,MAAM,SAAS,GAAG,IAAA,oCAAmB,EAAC,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;gBAC/D,MAAM,QAAQ,GAAG,IAAA,mCAAkB,EAAC,EAAE,CAAC,OAAO,CAAC,CAAC;gBAChD,MAAM,GAAG,GAAG,SAAS,IAAI,QAAQ,GAAG,CAAC;gBACrC,OAAO,CAAC,IAAI,CAAC;oBACX,EAAE,EAAE,MAAM;oBACV,IAAI,EAAE,EAAE,CAAC,IAAI;oBACb,YAAY,EAAE,CAAC;oBACf,IAAI,EAAE,EAAE,CAAC,IAAyB;oBAClC,SAAS;oBACT,KAAK,EAAE,CAAC,QAAQ,CAAC;iBAClB,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,MAAM,QAAQ,GAAG,IAAA,mCAAe,EAAC,EAAE,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;gBACpD,MAAM,GAAG,IAAA,2BAAU,EAAC,QAAQ,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;gBAClD,OAAO,CAAC,IAAI,CAAC;oBACX,EAAE,EAAE,MAAM;oBACV,IAAI,EAAE,EAAE,CAAC,IAAI;oBACb,YAAY,EAAE,CAAC;oBACf,IAAI,EAAE,EAAE,CAAC,IAAyB;iBACnC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,QAAQ,GAAG,IAAA,mCAAe,EAAC,EAAE,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACpD,MAAM,GAAG,IAAA,2BAAU,EAAC,QAAQ,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;YAClD,OAAO,CAAC,IAAI,CAAC;gBACX,EAAE,EAAE,MAAM;gBACV,IAAI,EAAE,EAAE,CAAC,IAAI;gBACb,YAAY,EAAE,CAAC;gBACf,IAAI,EAAE,EAAE,CAAC,IAAyB;aACnC,CAAC,CAAC;QACL,CAAC;QAED,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;QAC3B,iBAAiB,CAAC,GAAG,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;QAC9C,WAAW,EAAE,CAAC;IAChB,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;AAC5B,CAAC"}

package/dist/atoms/keyword-extractor.d.ts

@@ -0,0 +1,29 @@
+/**
+ * Keyword Extractor — Extrae palabras clave de una cláusula
+ *
+ * Filtra stopwords, extrae 2-4 palabras clave por lema,
+ * genera bags-of-words para coreferencia.
+ */
+import type { Language } from '../types';
+/**
+ * Extrae las palabras clave principales de un texto.
+ * Filtra stopwords y selecciona las más significativas.
+ */
+export declare function extractKeywords(text: string, language?: Language, maxWords?: number): string[];
+/**
+ * Obtiene los stems de las palabras de contenido para comparación.
+ */
+export declare function extractStems(text: string, language?: Language): string[];
+/**
+ * Calcula un bag-of-stems para comparación de similitud.
+ */
+export declare function bagOfStems(text: string, language?: Language): Set<string>;
+/**
+ * Extrae sujeto y predicado para lógica de primer orden.
+ * Heurística: el primer sustantivo es el sujeto, el verbo + complemento es el predicado.
+ */
+export declare function extractSubjectPredicate(text: string, language?: Language): {
+    subject: string;
+    predicate: string;
+} | null;
+//# sourceMappingURL=keyword-extractor.d.ts.map

package/dist/atoms/keyword-extractor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"keyword-extractor.d.ts","sourceRoot":"","sources":["../../src/atoms/keyword-extractor.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAS,MAAM,UAAU,CAAC;AAGhD;;;GAGG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,GAAE,QAAe,EAAE,QAAQ,GAAE,MAAU,GAAG,MAAM,EAAE,CAavG;AAED;;GAEG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,GAAE,QAAe,GAAG,MAAM,EAAE,CAK9E;AAED;;GAEG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,GAAE,QAAe,GAAG,GAAG,CAAC,MAAM,CAAC,CAE/E;AAED;;;GAGG;AACH,wBAAgB,uBAAuB,CACrC,IAAI,EAAE,MAAM,EACZ,QAAQ,GAAE,QAAe,GACxB;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GAAG,IAAI,CAiC/C"}