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