Nomos

Che cos'è

Nomos è un linguaggio di programmazione sperimentale per codificare le regole giuridiche come codice. Si scrivono regole tipizzate, gli si danno i fatti e restituisce un verdetto con un albero di prova.

Perché è stato creato

Il ragionamento giuridico è già un calcolo: le leggi definiscono predicati, i fatti sono input e i precedenti sono un ordine di priorità. La difficoltà è che il mondo parla in prosa. La tesi è mettere i modelli linguistici ai margini e tenere all'interno una logica deterministica.

Come funziona

• Ponti tipizzati verso i modelli linguistici estraggono i fatti dalla prosa, e le estrazioni a bassa affidabilità possono passare a una persona.
• Le regole riportano una giurisdizione e una data di validità, e le interrogazioni si eseguono a una data precisa.
• I conflitti tra regole si risolvono per priorità, poi per specificità, poi per attualità, e l'albero di prova spiega ogni spareggio.
• Ogni verdetto riporta le autorità, i fatti e la catena di regole che lo sostengono.