Formalne i obliczeniowe modele tworzenia, oceny i użycia argumentów prawnych, zwłaszcza rozumowanie na precedensach opartych na czynnikach i wymiarach.
Formal and computational models for generating, evaluating and using legal arguments, especially precedent-based reasoning with factors and dimensions.
Programy, które odtwarzają spór prawników: przywołują podobne sprawy, wskazują różnice i odpierają kontrargumenty, krok po kroku.
Programs that recreate lawyers' disputes: they cite similar cases, point out differences and rebut counter-arguments, step by step.
W prawie nie ma jednej poprawnej odpowiedzi do wyliczenia; liczy się, czyja argumentacja jest mocniejsza, a tego zwykły klasyfikator nie pokazuje.
Law has no single right answer to compute; what matters is whose argument is stronger, and an ordinary classifier does not show that.
Jak szachowy zapis partii, tylko dla sporu: każde posunięcie, czyli powołanie precedensu, odróżnienie sprawy czy kontrprzykład, jest jawne i da się je sprawdzić.
Like a chess score sheet for a dispute: every move, citing a precedent, distinguishing a case or a counterexample, is explicit and can be checked.
Student prawa ćwiczy z programem, który podaje mu wcześniejszą sprawę korzystną dla przeciwnika i prosi, by pokazał, czym jego sprawa się różni.
A law student practises with a program that offers a past case favouring the other side and asks them to show how their case differs.