Fact Engineering
Des Claims au Graph of Accepted Facts
Avant qu'une machine puisse juger le monde réel de façon déterministe, elle doit d'abord le fermer explicitement : évaluer les Claims ouverts, projeter les Accepted Facts dans un graphe traçable, geler la frontière, et préserver un chemin d'appel.
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.
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.