Toulmin
A verdade não é descoberta
No mundo aberto não há verdade a descobrir — porque toda observação esbarra na velocidade da luz e nunca alcança o evento. Mas em mundos fechados por declaração, como a ficção, a matemática e o direito, há verdade. O julgamento é o processo de projetar o real sobre o mundo jurídico, e a sentença é uma computação sobre ele. O que falta aos LLMs hoje não é um modelo maior, mas um procedimento explícito de fechamento, como o Estado de Direito.
TANGEUL — Regras Escritas em Markdown, Auditadas por Humanos
TANGL permite escrever grafos de regras toulmin como frases em markdown em vez de código Go, de modo que um não programador possa auditá-los. TANGEUL é a fonte binária da verdade que essas superfícies markdown agora codificam.
reins — deixe ao quest CLI apenas o domínio, o ratchet vira framework
how-make-quest ensinou a construir um quest CLI com as próprias mãos. Mas, ao construir o segundo CLI, você reescreve o mesmo ratchet, o mesmo scan/next/submit, a mesma agregação. reins extrai esse invariante para um framework — ratchet, esqueleto de comandos, agregação e export são fornecidos por reins, e você só implementa o gate do seu domínio (os 4 métodos de gate.Definition). O gate é um catálogo de regras de defesa contra o cheese, e o defeat graph de toulmin devolve ao agente o guia de estratégia de 'por que perdeu e o que mudar para vencer'.
Um triple não é um fato, é uma alegação
Os triples do Wikidata não são fatos, são alegações. Ao colocar o modelo de argumentação de Toulmin sobre os triples, obtemos um grafo de conhecimento dinâmico cujo veredito muda conforme o contexto. O armazenamento é estrutura argumentativa; o julgamento ocorre em tempo de execução.
toulmin — um motor de regras que calcula contratos
Motores de regras tratam o objeto de verificacao como fato (fact) ha 60 anos. toulmin o trata como afirmacao (claim). O modelo de argumentacao de Toulmin foi implementado como um motor de regras em Go.