Symboliczny nurt AI i prawa: reprezentacja norm w logice i językach programowania oraz obliczeniowe modele rozumowania i argumentacji prawniczej.
The symbolic strand of AI and law: representing norms in logic and programming languages, and computational models of legal reasoning and argument.
Zapisywanie przepisów i sposobów argumentowania w języku, który komputer potrafi ściśle wykonać i sprawdzić, zamiast tylko czytać tekst.
Writing laws and ways of arguing in a language a computer can execute and check precisely, rather than merely read as text.
Przepisy pisane prozą są niejednoznaczne i rozproszone, więc urzędy i firmy różnie je liczą, a błędy w systemach wychodzą dopiero po latach.
Laws written in prose are ambiguous and scattered, so agencies and firms compute them differently, and errors in systems surface years later.
Jak przepisanie przepisu kulinarnego na dokładny algorytm z wagą w gramach: każdy krok i wyjątek musi być nazwany, więc luki od razu wychodzą na jaw.
Like rewriting a recipe as an exact algorithm with gram weights: every step and exception must be named, so gaps show up straight away.
Kalkulator zasiłku na stronie urzędu liczy kwotę według tej samej, sprawdzonej wersji przepisów, której używa system wypłat.
A benefits calculator on an agency website computes the amount from the same verified version of the rules that the payment system uses.