@stevenvo780/st-lang 4.2.0 → 4.4.0

package/dist/runtime/markov-logic/inference.js

@@ -0,0 +1,382 @@
+"use strict";
+// ============================================================
+// Markov Logic — Inferencia
+// ============================================================
+//
+// Funciones:
+//   - `weight(theory, world)` → log-prob no normalizada del mundo
+//   - `probability(theory, world, Z)` → P(world) dada la partición
+//   - `gibbsSample(theory, evidence, iters)` → cadena de mundos
+//   - `mapInference(theory, evidence)` → mundo más probable
+//     (aproximado vía MaxWalkSAT).
+//
+// Convenciones:
+//   - El log-score de un mundo es `Σ_i w_i · satisfied_i(W)`. Los
+//     hard constraints (`w_i = ±Infinity`) se tratan aparte: si están
+//     violados, el log-score es `-Infinity` (probabilidad 0).
+//   - Atoms ausentes del mundo se interpretan como `false`.
+//   - Las funciones que dependen de RNG aceptan `rng?: () => number`
+//     opcional para tests deterministas.
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.weight = weight;
+exports.probability = probability;
+exports.exactPartition = exactPartition;
+exports.exactMarginals = exactMarginals;
+exports.gibbsSample = gibbsSample;
+exports.gibbsMarginals = gibbsMarginals;
+exports.mapInference = mapInference;
+const grounding_1 = require("./grounding");
+/**
+ * Log-score (no normalizado) de un mundo:
+ *   logZW = Σ_i w_i · satisfied_i(world)
+ *
+ * Si la teoría tiene un hard constraint violado, devuelve
+ * `-Infinity` (lo cual hace P(world)=0).
+ */
+function weight(theory, world) {
+    const grounded = (0, grounding_1.ground)(theory);
+    return weightFromGrounded(grounded, world);
+}
+function weightFromGrounded(grounded, world) {
+    let score = 0;
+    for (const g of grounded) {
+        const sat = g.satisfied(world);
+        if (!Number.isFinite(g.weight)) {
+            // hard constraint
+            if (g.weight > 0 && !sat)
+                return Number.NEGATIVE_INFINITY;
+            if (g.weight < 0 && sat)
+                return Number.NEGATIVE_INFINITY;
+            // hard constraint satisfecho → no aporta al score
+            continue;
+        }
+        if (sat)
+            score += g.weight;
+    }
+    return score;
+}
+/**
+ * Probabilidad de un mundo dada una aproximación de la partición Z.
+ *
+ * P(world) = exp(weight(world)) / partitionApprox
+ *
+ * `partitionApprox` debe estar en el mismo "espacio" (no log).
+ * Si `weight(world) === -Infinity` devuelve 0.
+ */
+function probability(theory, world, partitionApprox) {
+    if (partitionApprox <= 0 || !Number.isFinite(partitionApprox)) {
+        throw new Error('partitionApprox debe ser un número positivo finito');
+    }
+    const w = weight(theory, world);
+    if (!Number.isFinite(w))
+        return 0;
+    return Math.exp(w) / partitionApprox;
+}
+/**
+ * Calcula la partición Z exactamente sumando sobre todos los mundos
+ * posibles. SOLO viable para teorías pequeñas (≤ ~20 ground atoms).
+ * Útil para tests.
+ */
+function exactPartition(theory) {
+    const atoms = (0, grounding_1.allGroundAtoms)(theory);
+    if (atoms.length > 24) {
+        throw new Error(`exactPartition no es viable con ${atoms.length} atoms (> 24). Usá muestreo.`);
+    }
+    const grounded = (0, grounding_1.ground)(theory);
+    const n = atoms.length;
+    const total = 1 << n;
+    let Z = 0;
+    const world = { groundAtoms: {} };
+    for (let mask = 0; mask < total; mask++) {
+        for (let i = 0; i < n; i++) {
+            world.groundAtoms[atoms[i]] = (mask & (1 << i)) !== 0;
+        }
+        const w = weightFromGrounded(grounded, world);
+        if (Number.isFinite(w))
+            Z += Math.exp(w);
+    }
+    return Z;
+}
+/**
+ * Marginales exactas P(atom = true) sobre todos los mundos.
+ * Mismo costo exponencial que `exactPartition`. Sólo para tests.
+ */
+function exactMarginals(theory) {
+    const atoms = (0, grounding_1.allGroundAtoms)(theory);
+    if (atoms.length > 24) {
+        throw new Error(`exactMarginals no viable con ${atoms.length} atoms (> 24).`);
+    }
+    const grounded = (0, grounding_1.ground)(theory);
+    const n = atoms.length;
+    const total = 1 << n;
+    let Z = 0;
+    const trueMass = {};
+    for (const a of atoms)
+        trueMass[a] = 0;
+    const world = { groundAtoms: {} };
+    for (let mask = 0; mask < total; mask++) {
+        for (let i = 0; i < n; i++) {
+            world.groundAtoms[atoms[i]] = (mask & (1 << i)) !== 0;
+        }
+        const w = weightFromGrounded(grounded, world);
+        if (!Number.isFinite(w))
+            continue;
+        const p = Math.exp(w);
+        Z += p;
+        for (let i = 0; i < n; i++) {
+            if ((mask & (1 << i)) !== 0) {
+                trueMass[atoms[i]] += p;
+            }
+        }
+    }
+    if (Z === 0) {
+        // toda probabilidad concentrada en mundos violadores → distribución indefinida
+        const out = {};
+        for (const a of atoms)
+            out[a] = 0;
+        return out;
+    }
+    const out = {};
+    for (const a of atoms)
+        out[a] = (trueMass[a] ?? 0) / Z;
+    return out;
+}
+/**
+ * Gibbs sampling sobre los ground atoms NO evidenciados.
+ *
+ * En cada paso elige un atom no fijo y resamplea su valor según
+ * P(atom=true | resto). Para MLN, esa condicional es la sigmoide del
+ * "delta" de log-score al flippear:
+ *
+ *   P(atom=true | ·) = σ( logScore(true) − logScore(false) )
+ *
+ * Devuelve una secuencia de `iterations` mundos coleccionados tras
+ * `burnIn` pasos de calentamiento, con thinning opcional.
+ */
+function gibbsSample(theory, evidence = {}, iterations, options = {}) {
+    if (iterations <= 0)
+        return [];
+    const rng = options.rng ?? Math.random;
+    const burnIn = Math.max(0, options.burnIn ?? 0);
+    const thin = Math.max(1, options.thin ?? 1);
+    const grounded = (0, grounding_1.ground)(theory);
+    const allAtoms = (0, grounding_1.allGroundAtoms)(theory);
+    const evidenceAtoms = evidence.groundAtoms ?? {};
+    const fixed = new Set(Object.keys(evidenceAtoms));
+    // Inicial: respetá evidence; atoms libres → coin flip.
+    const current = options.initial ? cloneWorld(options.initial) : { groundAtoms: {} };
+    for (const a of allAtoms) {
+        if (fixed.has(a)) {
+            current.groundAtoms[a] = evidenceAtoms[a] === true;
+        }
+        else if (current.groundAtoms[a] === undefined) {
+            current.groundAtoms[a] = rng() < 0.5;
+        }
+    }
+    // Index: qué ground formulas tocan qué atom (Markov blanket de cada atom).
+    const touchedBy = new Map();
+    for (let i = 0; i < grounded.length; i++) {
+        for (const a of grounded[i].atoms) {
+            let arr = touchedBy.get(a);
+            if (!arr) {
+                arr = [];
+                touchedBy.set(a, arr);
+            }
+            arr.push(i);
+        }
+    }
+    const samples = [];
+    const freeAtoms = allAtoms.filter((a) => !fixed.has(a));
+    if (freeAtoms.length === 0) {
+        // todos los átomos son evidencia → la única muestra posible es la evidencia.
+        for (let k = 0; k < iterations; k++)
+            samples.push(cloneWorld(current));
+        return samples;
+    }
+    const totalSteps = burnIn + iterations * thin;
+    let collected = 0;
+    let stepsAfterBurnIn = 0;
+    for (let step = 0; step < totalSteps; step++) {
+        const idx = Math.floor(rng() * freeAtoms.length);
+        const atom = freeAtoms[idx];
+        const local = touchedBy.get(atom) ?? [];
+        // logScore parcial con valor actual: sólo necesitamos las fórmulas que tocan `atom`.
+        const prev = current.groundAtoms[atom] === true;
+        current.groundAtoms[atom] = true;
+        const sTrue = partialLogScore(grounded, local, current);
+        current.groundAtoms[atom] = false;
+        const sFalse = partialLogScore(grounded, local, current);
+        let pTrue;
+        if (!Number.isFinite(sTrue) && !Number.isFinite(sFalse)) {
+            // ambos imposibles (hard constraint contradictorio) → quedate como estabas.
+            current.groundAtoms[atom] = prev;
+        }
+        else if (!Number.isFinite(sTrue)) {
+            pTrue = 0;
+            current.groundAtoms[atom] = rng() < pTrue;
+        }
+        else if (!Number.isFinite(sFalse)) {
+            pTrue = 1;
+            current.groundAtoms[atom] = rng() < pTrue;
+        }
+        else {
+            pTrue = sigmoid(sTrue - sFalse);
+            current.groundAtoms[atom] = rng() < pTrue;
+        }
+        if (step >= burnIn) {
+            stepsAfterBurnIn++;
+            if (stepsAfterBurnIn % thin === 0 && collected < iterations) {
+                samples.push(cloneWorld(current));
+                collected++;
+            }
+        }
+    }
+    return samples;
+}
+function partialLogScore(grounded, indices, world) {
+    let s = 0;
+    for (const i of indices) {
+        const g = grounded[i];
+        const sat = g.satisfied(world);
+        if (!Number.isFinite(g.weight)) {
+            if (g.weight > 0 && !sat)
+                return Number.NEGATIVE_INFINITY;
+            if (g.weight < 0 && sat)
+                return Number.NEGATIVE_INFINITY;
+            continue;
+        }
+        if (sat)
+            s += g.weight;
+    }
+    return s;
+}
+function sigmoid(x) {
+    if (x >= 0) {
+        const e = Math.exp(-x);
+        return 1 / (1 + e);
+    }
+    const e = Math.exp(x);
+    return e / (1 + e);
+}
+function cloneWorld(w) {
+    return { groundAtoms: { ...w.groundAtoms } };
+}
+/**
+ * Marginales aproximadas: corre Gibbs y promedia indicadores.
+ */
+function gibbsMarginals(theory, evidence, iterations, options = {}) {
+    const samples = gibbsSample(theory, evidence, iterations, options);
+    if (samples.length === 0)
+        return {};
+    const atoms = (0, grounding_1.allGroundAtoms)(theory);
+    const counts = {};
+    for (const a of atoms)
+        counts[a] = 0;
+    for (const s of samples) {
+        for (const a of atoms) {
+            if (s.groundAtoms[a] === true)
+                counts[a] += 1;
+        }
+    }
+    const out = {};
+    for (const a of atoms)
+        out[a] = (counts[a] ?? 0) / samples.length;
+    return out;
+}
+/**
+ * MAP inference: encuentra el mundo de mayor `weight`. Aproximado
+ * mediante MaxWalkSAT con múltiples restarts: en cada paso, elige
+ * una ground formula INSATISFECHA y flippea uno de sus atoms; con
+ * probabilidad `noise` lo elige al azar (random walk), con `1-noise`
+ * elige el flip que más mejora el score (greedy).
+ *
+ * Respeta `evidence`: nunca flippea atoms fijos.
+ */
+function mapInference(theory, evidence = {}, options = {}) {
+    const rng = options.rng ?? Math.random;
+    const maxFlips = Math.max(1, options.maxFlips ?? 5000);
+    const restarts = Math.max(1, options.restarts ?? 5);
+    const noise = clamp(options.noise ?? 0.3, 0, 1);
+    const grounded = (0, grounding_1.ground)(theory);
+    const allAtoms = (0, grounding_1.allGroundAtoms)(theory);
+    const evidenceAtoms = evidence.groundAtoms ?? {};
+    const fixed = new Set(Object.keys(evidenceAtoms));
+    const freeAtoms = allAtoms.filter((a) => !fixed.has(a));
+    // Index: cada atom → qué ground formulas lo tocan.
+    const touchedBy = new Map();
+    for (let i = 0; i < grounded.length; i++) {
+        for (const a of grounded[i].atoms) {
+            let arr = touchedBy.get(a);
+            if (!arr) {
+                arr = [];
+                touchedBy.set(a, arr);
+            }
+            arr.push(i);
+        }
+    }
+    let bestWorld = null;
+    let bestScore = Number.NEGATIVE_INFINITY;
+    for (let restart = 0; restart < restarts; restart++) {
+        const world = { groundAtoms: {} };
+        for (const a of allAtoms) {
+            world.groundAtoms[a] = fixed.has(a) ? evidenceAtoms[a] === true : rng() < 0.5;
+        }
+        let currentScore = weightFromGrounded(grounded, world);
+        if (currentScore > bestScore) {
+            bestScore = currentScore;
+            bestWorld = cloneWorld(world);
+        }
+        for (let flip = 0; flip < maxFlips; flip++) {
+            // recolectar ground formulas no satisfechas
+            const unsat = [];
+            for (let i = 0; i < grounded.length; i++) {
+                if (!grounded[i].satisfied(world))
+                    unsat.push(i);
+            }
+            if (unsat.length === 0)
+                break; // todas las fórmulas satisfechas (caso raro)
+            const pick = unsat[Math.floor(rng() * unsat.length)];
+            const candidates = grounded[pick].atoms.filter((a) => !fixed.has(a));
+            if (candidates.length === 0)
+                continue;
+            let chosen;
+            if (rng() < noise) {
+                // random walk
+                chosen = candidates[Math.floor(rng() * candidates.length)];
+            }
+            else {
+                // greedy: elige el flip que maximiza el score
+                let bestFlipScore = Number.NEGATIVE_INFINITY;
+                let bestFlipAtom = candidates[0];
+                for (const c of candidates) {
+                    world.groundAtoms[c] = !world.groundAtoms[c];
+                    const s = weightFromGrounded(grounded, world);
+                    if (s > bestFlipScore) {
+                        bestFlipScore = s;
+                        bestFlipAtom = c;
+                    }
+                    world.groundAtoms[c] = !world.groundAtoms[c]; // revert
+                }
+                chosen = bestFlipAtom;
+            }
+            world.groundAtoms[chosen] = !world.groundAtoms[chosen];
+            currentScore = weightFromGrounded(grounded, world);
+            if (currentScore > bestScore) {
+                bestScore = currentScore;
+                bestWorld = cloneWorld(world);
+            }
+        }
+        // Si no hay free atoms el primer restart ya nos da la única solución posible.
+        if (freeAtoms.length === 0)
+            break;
+    }
+    return bestWorld ?? { groundAtoms: { ...evidenceAtoms } };
+}
+function clamp(x, lo, hi) {
+    if (x < lo)
+        return lo;
+    if (x > hi)
+        return hi;
+    return x;
+}
+//# sourceMappingURL=inference.js.map

package/dist/runtime/markov-logic/inference.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"inference.js","sourceRoot":"","sources":["../../../src/runtime/markov-logic/inference.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,4BAA4B;AAC5B,+DAA+D;AAC/D,EAAE;AACF,aAAa;AACb,kEAAkE;AAClE,mEAAmE;AACnE,gEAAgE;AAChE,4DAA4D;AAC5D,mCAAmC;AACnC,EAAE;AACF,gBAAgB;AAChB,kEAAkE;AAClE,sEAAsE;AACtE,8DAA8D;AAC9D,4DAA4D;AAC5D,qEAAqE;AACrE,yCAAyC;;AAYzC,wBAGC;AA0BD,kCAOC;AAOD,wCAkBC;AAMD,wCAmCC;AA2BD,kCAsFC;AAiCD,wCAmBC;AAuBD,oCAsFC;AAlYD,2CAAqD;AAGrD;;;;;;GAMG;AACH,SAAgB,MAAM,CAAC,MAAiB,EAAE,KAAe;IACvD,MAAM,QAAQ,GAAG,IAAA,kBAAM,EAAC,MAAM,CAAC,CAAC;IAChC,OAAO,kBAAkB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;AAC7C,CAAC;AAED,SAAS,kBAAkB,CAAC,QAA2B,EAAE,KAAe;IACtE,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC/B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;YAC/B,kBAAkB;YAClB,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,GAAG;gBAAE,OAAO,MAAM,CAAC,iBAAiB,CAAC;YAC1D,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,GAAG;gBAAE,OAAO,MAAM,CAAC,iBAAiB,CAAC;YACzD,kDAAkD;YAClD,SAAS;QACX,CAAC;QACD,IAAI,GAAG;YAAE,KAAK,IAAI,CAAC,CAAC,MAAM,CAAC;IAC7B,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;GAOG;AACH,SAAgB,WAAW,CAAC,MAAiB,EAAE,KAAe,EAAE,eAAuB;IACrF,IAAI,eAAe,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,CAAC;QAC9D,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;IACxE,CAAC;IACD,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAChC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC;IAClC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,eAAe,CAAC;AACvC,CAAC;AAED;;;;GAIG;AACH,SAAgB,cAAc,CAAC,MAAiB;IAC9C,MAAM,KAAK,GAAG,IAAA,0BAAc,EAAC,MAAM,CAAC,CAAC;IACrC,IAAI,KAAK,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;QACtB,MAAM,IAAI,KAAK,CAAC,mCAAmC,KAAK,CAAC,MAAM,8BAA8B,CAAC,CAAC;IACjG,CAAC;IACD,MAAM,QAAQ,GAAG,IAAA,kBAAM,EAAC,MAAM,CAAC,CAAC;IAChC,MAAM,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC;IACvB,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC;IACrB,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,MAAM,KAAK,GAAa,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;IAC5C,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC;QACxC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,KAAK,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACxD,CAAC;QACD,MAAM,CAAC,GAAG,kBAAkB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QAC9C,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED;;;GAGG;AACH,SAAgB,cAAc,CAAC,MAAiB;IAC9C,MAAM,KAAK,GAAG,IAAA,0BAAc,EAAC,MAAM,CAAC,CAAC;IACrC,IAAI,KAAK,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;QACtB,MAAM,IAAI,KAAK,CAAC,gCAAgC,KAAK,CAAC,MAAM,gBAAgB,CAAC,CAAC;IAChF,CAAC;IACD,MAAM,QAAQ,GAAG,IAAA,kBAAM,EAAC,MAAM,CAAC,CAAC;IAChC,MAAM,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC;IACvB,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC;IACrB,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,MAAM,QAAQ,GAA2B,EAAE,CAAC;IAC5C,KAAK,MAAM,CAAC,IAAI,KAAK;QAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACvC,MAAM,KAAK,GAAa,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;IAC5C,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC;QACxC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,KAAK,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACxD,CAAC;QACD,MAAM,CAAC,GAAG,kBAAkB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QAC9C,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,SAAS;QAClC,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACtB,CAAC,IAAI,CAAC,CAAC;QACP,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC5B,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC1B,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACZ,+EAA+E;QAC/E,MAAM,GAAG,GAA2B,EAAE,CAAC;QACvC,KAAK,MAAM,CAAC,IAAI,KAAK;YAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAClC,OAAO,GAAG,CAAC;IACb,CAAC;IACD,MAAM,GAAG,GAA2B,EAAE,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,KAAK;QAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IACvD,OAAO,GAAG,CAAC;AACb,CAAC;AAeD;;;;;;;;;;;GAWG;AACH,SAAgB,WAAW,CACzB,MAAiB,EACjB,WAA8B,EAAE,EAChC,UAAkB,EAClB,UAAwB,EAAE;IAE1B,IAAI,UAAU,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IAC/B,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC;IACvC,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC;IAChD,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC;IAC5C,MAAM,QAAQ,GAAG,IAAA,kBAAM,EAAC,MAAM,CAAC,CAAC;IAChC,MAAM,QAAQ,GAAG,IAAA,0BAAc,EAAC,MAAM,CAAC,CAAC;IACxC,MAAM,aAAa,GAAG,QAAQ,CAAC,WAAW,IAAI,EAAE,CAAC;IACjD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAS,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC;IAE1D,uDAAuD;IACvD,MAAM,OAAO,GAAa,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;IAC9F,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACjB,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC;QACrD,CAAC;aAAM,IAAI,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;YAChD,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,GAAG,GAAG,EAAE,GAAG,GAAG,CAAC;QACvC,CAAC;IACH,CAAC;IAED,2EAA2E;IAC3E,MAAM,SAAS,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC9C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;YAClC,IAAI,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC3B,IAAI,CAAC,GAAG,EAAE,CAAC;gBACT,GAAG,GAAG,EAAE,CAAC;gBACT,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YACxB,CAAC;YACD,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACd,CAAC;IACH,CAAC;IAED,MAAM,OAAO,GAAe,EAAE,CAAC;IAC/B,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACxD,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,6EAA6E;QAC7E,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,EAAE,CAAC,EAAE;YAAE,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;QACvE,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,MAAM,UAAU,GAAG,MAAM,GAAG,UAAU,GAAG,IAAI,CAAC;IAC9C,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,IAAI,gBAAgB,GAAG,CAAC,CAAC;IACzB,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,UAAU,EAAE,IAAI,EAAE,EAAE,CAAC;QAC7C,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;QACjD,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;QAC5B,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QAExC,qFAAqF;QACrF,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC;QAEhD,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;QACjC,MAAM,KAAK,GAAG,eAAe,CAAC,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;QACxD,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;QAClC,MAAM,MAAM,GAAG,eAAe,CAAC,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;QAEzD,IAAI,KAAa,CAAC;QAClB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YACxD,4EAA4E;YAC5E,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;QACnC,CAAC;aAAM,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACnC,KAAK,GAAG,CAAC,CAAC;YACV,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,GAAG,EAAE,GAAG,KAAK,CAAC;QAC5C,CAAC;aAAM,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YACpC,KAAK,GAAG,CAAC,CAAC;YACV,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,GAAG,EAAE,GAAG,KAAK,CAAC;QAC5C,CAAC;aAAM,CAAC;YACN,KAAK,GAAG,OAAO,CAAC,KAAK,GAAG,MAAM,CAAC,CAAC;YAChC,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,GAAG,EAAE,GAAG,KAAK,CAAC;QAC5C,CAAC;QAED,IAAI,IAAI,IAAI,MAAM,EAAE,CAAC;YACnB,gBAAgB,EAAE,CAAC;YACnB,IAAI,gBAAgB,GAAG,IAAI,KAAK,CAAC,IAAI,SAAS,GAAG,UAAU,EAAE,CAAC;gBAC5D,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;gBAClC,SAAS,EAAE,CAAC;YACd,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,eAAe,CAAC,QAA2B,EAAE,OAAiB,EAAE,KAAe;IACtF,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACtB,MAAM,GAAG,GAAG,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC/B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;YAC/B,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,GAAG;gBAAE,OAAO,MAAM,CAAC,iBAAiB,CAAC;YAC1D,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,GAAG;gBAAE,OAAO,MAAM,CAAC,iBAAiB,CAAC;YACzD,SAAS;QACX,CAAC;QACD,IAAI,GAAG;YAAE,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;IACzB,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,OAAO,CAAC,CAAS;IACxB,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACX,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACvB,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACrB,CAAC;IACD,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACtB,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AACrB,CAAC;AAED,SAAS,UAAU,CAAC,CAAW;IAC7B,OAAO,EAAE,WAAW,EAAE,EAAE,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC;AAC/C,CAAC;AAED;;GAEG;AACH,SAAgB,cAAc,CAC5B,MAAiB,EACjB,QAA2B,EAC3B,UAAkB,EAClB,UAAwB,EAAE;IAE1B,MAAM,OAAO,GAAG,WAAW,CAAC,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;IACnE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACpC,MAAM,KAAK,GAAG,IAAA,0BAAc,EAAC,MAAM,CAAC,CAAC;IACrC,MAAM,MAAM,GAA2B,EAAE,CAAC;IAC1C,KAAK,MAAM,CAAC,IAAI,KAAK;QAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACrC,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,IAAI,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,IAAI;gBAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAChD,CAAC;IACH,CAAC;IACD,MAAM,GAAG,GAA2B,EAAE,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,KAAK;QAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC;IAClE,OAAO,GAAG,CAAC;AACb,CAAC;AAcD;;;;;;;;GAQG;AACH,SAAgB,YAAY,CAC1B,MAAiB,EACjB,WAA8B,EAAE,EAChC,UAAsB,EAAE;IAExB,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC;IACvC,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,QAAQ,IAAI,IAAI,CAAC,CAAC;IACvD,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,QAAQ,IAAI,CAAC,CAAC,CAAC;IACpD,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,IAAI,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAEhD,MAAM,QAAQ,GAAG,IAAA,kBAAM,EAAC,MAAM,CAAC,CAAC;IAChC,MAAM,QAAQ,GAAG,IAAA,0BAAc,EAAC,MAAM,CAAC,CAAC;IACxC,MAAM,aAAa,GAAG,QAAQ,CAAC,WAAW,IAAI,EAAE,CAAC;IACjD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAS,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC;IAC1D,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAExD,mDAAmD;IACnD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC9C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;YAClC,IAAI,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC3B,IAAI,CAAC,GAAG,EAAE,CAAC;gBACT,GAAG,GAAG,EAAE,CAAC;gBACT,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YACxB,CAAC;YACD,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACd,CAAC;IACH,CAAC;IAED,IAAI,SAAS,GAAoB,IAAI,CAAC;IACtC,IAAI,SAAS,GAAG,MAAM,CAAC,iBAAiB,CAAC;IAEzC,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,GAAG,QAAQ,EAAE,OAAO,EAAE,EAAE,CAAC;QACpD,MAAM,KAAK,GAAa,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;QAC5C,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC;QAChF,CAAC;QACD,IAAI,YAAY,GAAG,kBAAkB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACvD,IAAI,YAAY,GAAG,SAAS,EAAE,CAAC;YAC7B,SAAS,GAAG,YAAY,CAAC;YACzB,SAAS,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;QAChC,CAAC;QAED,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,QAAQ,EAAE,IAAI,EAAE,EAAE,CAAC;YAC3C,4CAA4C;YAC5C,MAAM,KAAK,GAAa,EAAE,CAAC;YAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACzC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC;oBAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACnD,CAAC;YACD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;gBAAE,MAAM,CAAC,6CAA6C;YAE5E,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;YACrD,MAAM,UAAU,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACrE,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YAEtC,IAAI,MAAc,CAAC;YACnB,IAAI,GAAG,EAAE,GAAG,KAAK,EAAE,CAAC;gBAClB,cAAc;gBACd,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,UAAU,CAAC,MAAM,CAAC,CAAE,CAAC;YAC9D,CAAC;iBAAM,CAAC;gBACN,8CAA8C;gBAC9C,IAAI,aAAa,GAAG,MAAM,CAAC,iBAAiB,CAAC;gBAC7C,IAAI,YAAY,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;gBACjC,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;oBAC3B,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;oBAC7C,MAAM,CAAC,GAAG,kBAAkB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;oBAC9C,IAAI,CAAC,GAAG,aAAa,EAAE,CAAC;wBACtB,aAAa,GAAG,CAAC,CAAC;wBAClB,YAAY,GAAG,CAAC,CAAC;oBACnB,CAAC;oBACD,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS;gBACzD,CAAC;gBACD,MAAM,GAAG,YAAY,CAAC;YACxB,CAAC;YACD,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;YACvD,YAAY,GAAG,kBAAkB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;YACnD,IAAI,YAAY,GAAG,SAAS,EAAE,CAAC;gBAC7B,SAAS,GAAG,YAAY,CAAC;gBACzB,SAAS,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;YAChC,CAAC;QACH,CAAC;QACD,8EAA8E;QAC9E,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM;IACpC,CAAC;IAED,OAAO,SAAS,IAAI,EAAE,WAAW,EAAE,EAAE,GAAG,aAAa,EAA6B,EAAE,CAAC;AACvF,CAAC;AAED,SAAS,KAAK,CAAC,CAAS,EAAE,EAAU,EAAE,EAAU;IAC9C,IAAI,CAAC,GAAG,EAAE;QAAE,OAAO,EAAE,CAAC;IACtB,IAAI,CAAC,GAAG,EAAE;QAAE,OAAO,EAAE,CAAC;IACtB,OAAO,CAAC,CAAC;AACX,CAAC"}

package/dist/runtime/markov-logic/parser.d.ts

@@ -0,0 +1,25 @@
+export type FOLNode = {
+    kind: 'atom';
+    predicate: string;
+    args: string[];
+} | {
+    kind: 'not';
+    arg: FOLNode;
+} | {
+    kind: 'and';
+    left: FOLNode;
+    right: FOLNode;
+} | {
+    kind: 'or';
+    left: FOLNode;
+    right: FOLNode;
+} | {
+    kind: 'implies';
+    left: FOLNode;
+    right: FOLNode;
+};
+export declare function parseFOL(input: string): FOLNode;
+/** Devuelve las variables libres (lowercase) que aparecen en `node`. */
+export declare function freeVariables(node: FOLNode): string[];
+export declare function isVariable(name: string): boolean;
+//# sourceMappingURL=parser.d.ts.map

package/dist/runtime/markov-logic/parser.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser.d.ts","sourceRoot":"","sources":["../../../src/runtime/markov-logic/parser.ts"],"names":[],"mappings":"AAwBA,MAAM,MAAM,OAAO,GACf;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,EAAE,CAAA;CAAE,GACnD;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,GAAG,EAAE,OAAO,CAAA;CAAE,GAC7B;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GAC9C;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GAC7C;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,OAAO,CAAA;CAAE,CAAC;AAEvD,wBAAgB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAM/C;AAED,wEAAwE;AACxE,wBAAgB,aAAa,CAAC,IAAI,EAAE,OAAO,GAAG,MAAM,EAAE,CAIrD;AAmBD,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAKhD"}