Modeling legal norms with computer programs

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...Modeling legal norms with computer programs Abstract The thesis is about the possibilities how to model programmable parts of law with computer. The goal was to create a working prototype of a computer model of a defined section of law. For this purpose the thesis set down a theory that included an analytical model of a legal system, compilation of the existing approaches in the computer domain focused on expert systems and representation Rules as Code and the factors to consider during the selection of a suitable domain to model. Based on that a custom logical model at the level of grammatical sentences was created, which was then transformed into a computer program. The thesis is concluded with the proposal to incorporate Rules as Code in the context of Czech legal and judicial system. In the theoretical framework the concept of a legal system is defined as a fundamental normative system, which claims itself to be both legitimate and enforceable. The thesis presents a model of legal domain usable for versatile legal systems, which covers phenomena such as collision of legal systems, metanorms, legal pluralism and finding of law by judges. It also describes how the content of law can be captured in a textual representation for modeling purposes in a legal commentary. A logical model of law based on...Department of Legal Theory and Legal DoctrinesKatedra teorie práva a právních učeníFaculty of LawPrávnická fakult