Toulmin
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.
TANGEUL — Reglas escritas en Markdown, auditadas por humanos
TANGL te permite escribir grafos de reglas de toulmin como frases en markdown en lugar de código Go, de modo que un no programador pueda auditarlos. TANGEUL es la fuente de verdad binaria que esas superficies de markdown ahora codifican.
reins — del Quest CLI solo queda el dominio; el ratchet se vuelve framework
how-make-quest enseñó a construir un Quest CLI con las manos. Pero al levantar el segundo CLI vuelves a escribir el mismo ratchet, el mismo scan/next/submit, la misma agregación. reins extrae ese invariante a un framework — el ratchet, el esqueleto de comandos, la agregación y el export los suministra reins, y tú solo implementas la puerta del dominio (los 4 métodos de gate.Definition). La puerta es un catálogo de reglas de defensa contra el cheese, y el defeat graph de toulmin le devuelve al agente una guía de 'por qué perdiste y qué cambiar para ganar'.
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.