16.62 15.3.13 Razonamiento incremental y mantenimiento de verdad
Estrategia:
Predicate dependency graph plus affected-subgraph recomputation
Mantenimiento de verdad: Justification-based; multiple proofs may support the same output assertion.
- Cada regla declara predicados de entrada y salida.
- Cada triple derivado conserva proofId y reglaset digest.
- Una eliminación invalida las pruebas que dependían del triple eliminado.
- La retractación se propaga a resultados derivados sólo cuando no existe otra prueba vigente.
- La recomputación incremental debe igualar el digest de una recomputación completa.
- Cambiar el perfil, motor o ruleset invalida todos los caches dependientes.
Una salida puede tener varias pruebas. Eliminar una prueba no retracta el resultado mientras exista otra justificación vigente.