Toulmin
La vérité ne se découvre pas
Le monde ouvert ne recèle aucune vérité à découvrir — parce que toute observation est bornée par la vitesse de la lumière et n'atteint jamais l'événement. Mais les mondes clos par la déclaration, comme le roman, les mathématiques ou le droit, ont une vérité. Le procès est le processus de projection du réel dans le monde juridique, et le jugement en est le calcul. Ce qui manque aujourd'hui aux LLM, ce n'est pas un modèle plus grand, mais une procédure de clôture explicite, à l'image de l'État de droit.
TANGEUL — Des règles écrites en Markdown, auditées par des humains
TANGL vous permet d'écrire les graphes de règles toulmin sous forme de phrases markdown plutôt qu'en code Go, afin qu'un non-programmeur puisse les auditer. TANGEUL est la source de vérité binaire que ces surfaces markdown encodent désormais.
reins — ne garder du Quest CLI que le domaine, le ratchet devient un framework
how-make-quest enseignait à bâtir un Quest CLI à mains nues. Mais dès le deuxième CLI, on réécrit le même ratchet, les mêmes scan/next/submit, la même agrégation. reins extrait cet invariant en framework — le ratchet, le squelette de commandes, l'agrégation et l'export sont fournis par reins, et vous n'implémentez que la porte de votre domaine (les 4 méthodes de gate.Definition). La porte est un catalogue de règles de défense anti-cheese, et le defeat graph de toulmin renvoie à l'agent un guide stratégique « pourquoi tu as perdu, et quoi changer pour gagner ».
Les triplets sont des affirmations, pas des faits
Les triplets Wikidata ne sont pas des faits — ce sont des affirmations. Superposez le modèle d'argumentation de Toulmin aux triplets, et vous obtenez un graphe de connaissances dynamique où les verdicts changent selon le contexte. Le stockage est la structure d'argumentation ; le jugement se fait à l'exécution.
toulmin — un moteur de regles qui calcule les contrats
Pendant 60 ans, les moteurs de regles ont traite leurs entrees comme des faits (facts). toulmin les traite comme des assertions (claims). Le modele d'argumentation de Toulmin, implemente en Go.