Fact Engineering
De Claims a un Grafo de Hechos Aceptados
Antes de que una máquina pueda juzgar el mundo real de forma determinista, debe cerrar explícitamente ese mundo: evaluar Claims abiertos, proyectar Accepted Facts en un grafo trazable, congelar el límite y preservar una vía de apelación.
La verdad no se descubre
En un mundo abierto no hay verdad que descubrir — porque toda observación queda atrapada en la velocidad de la luz y nunca alcanza el evento. Pero en mundos cerrados por declaración, como la ficción, las matemáticas o el derecho, sí hay verdad. El juicio es el proceso de proyectar lo real sobre un mundo legal, y la sentencia es un cómputo sobre esa proyección. Lo que hoy falta en los LLM no es un modelo más grande, sino un procedimiento de cierre explícito como el Estado de derecho.
Un triple no es un hecho, es una afirmación
Los triples de Wikidata no son hechos, son afirmaciones. Al colocar el modelo de argumentación de Toulmin sobre los triples, se obtiene un grafo de conocimiento dinámico cuyo veredicto cambia según el contexto. El almacenamiento es estructura argumentativa; el juicio ocurre en tiempo de ejecución.
toulmin — Un motor de reglas que calcula contratos
Los motores de reglas han tratado el objeto de verificacion como un hecho (fact) durante 60 anos. toulmin lo trata como una afirmacion (claim). Implementamos el modelo de argumentacion de Toulmin como un motor de reglas en Go.