Dovednostní kurz představující dvě metody užití umělé inteligence v právní praxi:

- právní formalizace a automatické právní uvažování

- velké jazykové generativní modely

Účelem kurzu je naučit se metody používat, pochopit jejich význam v právu a znát jejich limity pro užití v právu.

Za tímto účelem je kurz rozdělen na dvě části, dle metod, a každá část obsahuje teoretické představení metod a následně praktický seminář, ve kterém budou studenti metody používat za účelem plnění seminárního projektu.

Seminární projekty budou plněny individuálně a budou diskutovány v průběhu semestru a prezentovány na závěrečné hodině. Cílem jejich plnění je naučit se s metodami pracovat, ale současně i sdílet s ostatními zkušenosti a zjištěné limity metod.

V první části kurzu budou studenti používat nástroj právní formalizace, pomocí kterého budou převádět část textu, který si vyberou, do logické reprezentace. Výsledkem by měl být soubor logických vztahů mezi částmi textu a doprovodný text, který bude argumentovat zvolenou interpretaci textu. Studenti by si měli ověřit správnost interpretace na příkladech.

V druhé části kurzu studenti zvolí zadání (tvorba typu právního dokumentu) a to budou plnit pomocí zvoleného generativního modelu. Výsledkem zde bude právní dokument vytvořený pomocí modelu spolu s reportem, jak se modelu dotazovali a jak se dokument a práce na něm vyvíjel.

Součástí plnění obou projektů bude sdílení postřehů a na závěr kurzu i anonymní evaluace nástrojů a metod.