Nomos

O que é

Nomos é uma linguagem de programação experimental para codificar regras jurídicas como código. Você escreve regras tipadas, entrega os fatos e ele devolve um veredicto com uma árvore de prova.

Por que foi criado

O raciocínio jurídico já é um cálculo: as leis definem predicados, os fatos são entradas e os precedentes são uma ordem de prioridade. A dificuldade é que o mundo fala em prosa. A tese é pôr os modelos de linguagem na periferia e manter dentro uma lógica determinística.

Como funciona

• Pontes tipadas com modelos de linguagem extraem fatos da prosa, e as extrações de baixa confiança podem ir para uma pessoa.
• As regras trazem uma jurisdição e uma data de validade, e as consultas correm com referência a uma data.
• Os conflitos entre regras resolvem-se por prioridade, depois por especificidade, depois por atualidade, e a árvore de prova explica cada desempate.
• Cada veredicto traz as autoridades, os fatos e a cadeia de regras que o sustentam.