|
|
Modelování právních norem pomocí počítačových programů
Michálek, Jakub ; Wintr, Jan (vedoucí práce) ; Polčák, Radim (oponent) ; Cvrček, František (oponent)
Modelování právních norem pomocí počítačových programů Abstrakt Práce se zabývá možnostmi modelování programovatelných úseků práva pomocí počítače. Cílem bylo vytvořit funkční prototyp počítačového modelu určitého úseku práva. Za tímto účelem práce uvádí teoretická východiska, která zahrnovala analytický model právního systému, zpracování dosavadních přístupů v počítačové oblasti se zaměřením na expertní systémy a reprezentaci pravidel v kódu a dále přehled faktorů ke zvážení při výběru vhodné oblasti k modelování. Na základě toho byl vytvořen vlastní logický model práva na úrovni gramatických vět, který byl následně převeden do počítačového programu. Práce je završena návrhem zasazení reprezentace právních norem v kódu do kontextu českého právního a justičního systému. V rámci teorie práce vymezuje pojem právního systému jako fundamentální normativní systém, který o sobě tvrdí, že je legitimní a vynutitelný. Práce prezentuje vytvořený model práva použitelný pro různé právní systémy, který zachycuje jevy jako kolize právních systémů, metanormy, právní pluralismus a soudcovské dotváření práva. Dále popisuje, jak lze obsah práva zachycovat v textuální reprezentaci pro účely modelování v právním komentáři. V práci je vytvořen logický model práva založený na gramatických větách. Tento model doplňuje formalismus...
|
host ::
RSS.