Nomos

Ce este

Nomos este un limbaj de programare experimental pentru a codifica regulile juridice sub formă de cod. Scrii reguli tipizate, îi dai fapte, iar el întoarce o decizie cu un arbore de probă.

De ce a fost creat

Raționamentul juridic este deja un calcul: legile definesc predicate, faptele sunt intrări, iar precedentul este o ordine de prioritate. Partea grea este că lumea vorbește în proză. Teza este ca modelele de limbaj să stea la margine, iar înăuntru să rămână o logică deterministă.

Cum funcționează

• Punți tipizate către modelele de limbaj extrag faptele din proză, iar extracțiile cu încredere scăzută pot merge la un om.
• Regulile poartă o jurisdicție și o dată de valabilitate, iar interogările rulează la o dată anume.
• Conflictele dintre reguli se rezolvă după prioritate, apoi specificitate, apoi actualitate, iar arborele de probă explică fiecare departajare.
• Fiecare decizie poartă autoritățile, faptele și lanțul de reguli din spatele ei.