Nomos

Was es ist

Nomos ist eine experimentelle Programmiersprache, um Rechtsregeln als Code abzubilden. Man schreibt typisierte Regeln, gibt ihr Fakten und erhält ein Urteil mit Beweisbaum.

Warum es entstanden ist

Juristisches Denken ist bereits eine Berechnung: Gesetze definieren Prädikate, Fakten sind Eingaben und Präzedenzfälle sind eine Prioritätsordnung. Schwierig ist, dass die Welt in Prosa spricht. Die These ist, Sprachmodelle an den Rand zu setzen und im Inneren deterministische Logik zu behalten.

Wie es funktioniert

• Typisierte Anbindungen an Sprachmodelle ziehen Fakten aus Prosa, und Extraktionen mit geringer Sicherheit können an einen Menschen gehen.
• Regeln tragen eine Rechtsordnung und ein Gültigkeitsdatum, und Abfragen laufen zu einem Stichtag.
• Konflikte zwischen Regeln werden nach Priorität, dann nach Spezialität, dann nach Aktualität entschieden, und der Beweisbaum erklärt jede Entscheidung.
• Jedes Urteil trägt die Autoritäten, Fakten und die Regelkette, auf denen es beruht.