Toulmin
Wahrheit wird nicht entdeckt
In einer offenen Welt gibt es keine Wahrheit zu entdecken — weil jede Beobachtung an der Lichtgeschwindigkeit hängt und das Ereignis nie erreicht. Doch in Welten, die durch Deklaration geschlossen sind, wie Roman, Mathematik und Recht, gibt es Wahrheit. Ein Prozess ist die Projektion der Wirklichkeit in eine juristische Welt, und das Urteil ist eine Berechnung auf ihr. Was LLMs heute fehlt, ist nicht ein größeres Modell, sondern ein explizites Schließungsverfahren wie die Rechtsstaatlichkeit.
TANGEUL — Regeln in Markdown geschrieben, von Menschen geprüft
TANGL erlaubt es, toulmin-Regelgraphen als Markdown-Sätze statt als Go-Code zu schreiben, sodass auch ein Nicht-Programmierer sie prüfen kann. TANGEUL ist die binäre Quelle der Wahrheit, in die diese Markdown-Oberflächen nun kodiert werden.
reins — nur die Domain aus der Quest-CLI behalten, das ratchet als Framework
how-make-quest lehrte, wie man eine Quest-CLI mit bloßen Händen baut. Doch baut man eine zweite CLI, schreibt man dasselbe ratchet, dasselbe scan/next/submit, dieselbe Aggregation erneut. reins extrahiert dieses Invariante als Framework — ratchet, Befehlsgerüst, Aggregation und export liefert reins, du implementierst nur das Gate deiner Domain (gate.Definition, 4 Methoden). Das Gate ist ein Katalog von cheese-Abwehrregeln, und der toulmin-defeat-Graph gibt dem Agenten einen Lösungsweg zurück: 'warum verloren und was ändern, um zu gewinnen'.
Tripel sind Behauptungen, keine Fakten
Wikidata-Tripel sind keine Fakten — sie sind Behauptungen. Legen Sie Toulmins Argumentationsmodell über Tripel, und Sie erhalten einen dynamischen Wissensgraphen, in dem Verdicts sich mit dem Kontext ändern. Gespeichert wird die Argumentationsstruktur; die Bewertung erfolgt zur Laufzeit.
toulmin — Eine Rule Engine, die Vertraege berechnet
Rule Engines haben 60 Jahre lang ihren Pruefgegenstand als Fakt (fact) behandelt. toulmin behandelt ihn als Behauptung (claim). Toulmins Argumentationsmodell, implementiert als Go Rule Engine.