Nomos

Co to je

Nomos je experimentální programovací jazyk pro zápis právních pravidel jako kódu. Napíšete typovaná pravidla, předložíte mu skutečnosti a vrátí verdikt se stromem důkazů.

Proč vznikl

Právní uvažování už je výpočet: předpisy definují predikáty, skutečnosti jsou vstupy a precedens je pořadí priorit. Těžké je, že svět mluví prózou. Teze zní: jazykové modely umístit na okraj a uvnitř ponechat deterministickou logiku.

Jak to funguje

• Typované mosty k jazykovým modelům získávají skutečnosti z textu a extrakce s nízkou jistotou mohou jít k člověku.
• Pravidla nesou jurisdikci a datum platnosti a dotazy běží k danému datu.
• Kolize pravidel se řeší podle priority, poté specifičnosti, poté aktuálnosti a strom důkazů vysvětluje každé rozhodnutí.
• Každý verdikt nese autority, skutečnosti a řetězec pravidel, na nichž stojí.