Nomos

Ce que c'est

Nomos est un langage de programmation expérimental pour encoder des règles juridiques sous forme de code. Vous écrivez des règles typées, vous lui donnez des faits, et il rend un verdict avec un arbre de preuve.

Pourquoi il a été créé

Le raisonnement juridique est déjà un calcul : les lois définissent des prédicats, les faits sont des entrées et la jurisprudence est un ordre de priorité. La difficulté est que le monde parle en prose. La thèse est de placer les modèles de langage en périphérie et de garder une logique déterministe à l'intérieur.

Comment ça marche

• Des passerelles typées vers des modèles de langage extraient les faits de la prose, et les extractions à faible confiance peuvent être confiées à un humain.
• Les règles portent une juridiction et une date de validité, et les requêtes s'exécutent à une date donnée.
• Les conflits entre règles sont tranchés par la priorité, puis la spécificité, puis la récence, et l'arbre de preuve explique chaque départage.
• Chaque verdict porte les autorités, les faits et la chaîne de règles qui le fondent.