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...
| Identifer | oai:union.ndltd.org:nusl.cz/oai:invenio.nusl.cz:454539 |
| Date | January 2021 |
| Creators | Michálek, Jakub |
| Contributors | Wintr, Jan, Polčák, Radim, Cvrček, František |
| Source Sets | Czech ETDs |
| Language | Czech |
| Detected Language | English |
| Type | info:eu-repo/semantics/doctoralThesis |
| Rights | info:eu-repo/semantics/restrictedAccess |
Page generated in 0.0019 seconds