Nomos

Qué es

Nomos es un lenguaje de programación experimental para codificar reglas jurídicas como código. Escribes reglas tipadas, le das hechos y Nomos devuelve un veredicto con un árbol de prueba.

Por qué se creó

El razonamiento jurídico ya es un cálculo: las leyes definen predicados, los hechos son entradas y los precedentes son un orden de prioridad. La dificultad es que el mundo habla en prosa. La tesis es poner los modelos de lenguaje en el borde y mantener dentro una lógica determinista.

Cómo funciona

• Puentes tipados con modelos de lenguaje extraen hechos de la prosa, y las extracciones de baja confianza pueden pasar a una persona.
• Las reglas llevan una jurisdicción y una fecha de vigencia, y las consultas se ejecutan a una fecha determinada.
• Los conflictos entre reglas se resuelven por prioridad, luego por especificidad y luego por actualidad, y el árbol de prueba explica cada desempate.
• Cada veredicto lleva las autoridades, los hechos y la cadena de reglas que lo sustentan.