En formaliserad rättsgrammatik

Algoritmer och artificiell intelligens ersätter på bred front tjänstemän och snart kommer väldigt mycket makt att ligga i händerna på de som skriver den programkod som används. Utvecklingen av djupinlärda mönsterigenkänningsalgoritmer och en tilltagande prissänkning av IT-lösningar gör vidare att denna utveckling tilltar oroväckande fort. I artikeln undersöks därför hur man med hjälp av en s.k. formaliserad rättsgrammatik kan ge en rättslig representation av en förvaltningsmyndighets beslut. Utifrån denna representation kan jurister sedan skapa rättsliga formler som i sin tur kan ligga till grund för utvecklandet av ett användargränssnitt som både jurister och programmerare kan arbeta i när de vill definiera den programkod som ska användas för automatiserat beslutsfattande och de regler som ska följas vid ej automatiserat beslutsfattande. I författarens mening är detta en förutsättning för att myndigheterna framöver inte ska tappa kontrollen över rättstillämpningen. I artikeln undersöks därför vad som menas med att fastställa en s.k. rättsbild, hur ett sådant fastställande består i ett fastställande av att en serie av händelser är ett exempel på ett antal händelsemönster, hur dessa mönsterklassificeringar benämns med rättsbildsfraser samt hur sådana rättsbildsfraser kan sammanfogas till en rättsbildssats och omformas till en ny rättsbildssats genom att rättsbildsfraser byts ut, stryks eller läggs till enligt principer från den generativa transformationsgrammatiken.