Toulmin
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.