Automatizované zpracování právních textů

Práce se zabývá analýzou právních textů, zkoumá je jako texty v odborném přirozeném jazyce, odkrývá problémy, které se mohou při jeho zpracování vyskytnout a navrhuje jejich řešení, zkoumá hierarchické, odvětvové a časové vztahy s ohledem na možnosti automatizované analýzy. K tomu využívá aparát transparentní intenzionální logiky. Dle výsledků této analýzy je zde navržen systém pro syntézu práva v nejširším slova smyslu – od individuálních práv a povinností vyplývajících z právních předpisů, přes individuální právní akty až k obecně závazným předpisům. Autor zvládl dané téma naprosto mimořádným způsobem. Prostudoval do hloubky potřebné části práva, informatiky i logiky a nad nimi vytvořil nový aparát, který lze bez zbytečné nadsázky pokládat za průkopnické dílo.