论文标题
在logikey中建模以价值为导向的法律推理
Modelling Value-oriented Legal Reasoning in LogiKEy
论文作者
论文摘要
逻辑文化的逻辑知识工程方法和框架应用于法律平衡理论的建模，在该理论中，法律知识（案例和法律）是通过利用上下文依赖于上下文的价值偏好来编码的。然后，获得的理论用于在Isabelle Pearl Assistant System中进行形式化，自动评估和重建说明性财产法案（涉及野生动物的占用），以说明Logikey如何利用互动和自动化的定理证明技术，为法律域特异性语言和理论的形式验证和正式验证。在该框架中建模面向价值的法律推理，我们在知识表示方面的最新研究与非古典逻辑中的推理，自动定理证明和法律推理中的应用之间建立了新颖的桥梁。
The logico-pluralist LogiKEy knowledge engineering methodology and framework is applied to the modelling of a theory of legal balancing in which legal knowledge (cases and laws) is encoded by utilising context-dependent value preferences. The theory obtained is then used to formalise, automatically evaluate, and reconstruct illustrative property law cases (involving appropriation of wild animals) within the Isabelle proof assistant system, illustrating how LogiKEy can harness interactive and automated theorem proving technology to provide a testbed for the development and formal verification of legal domain-specific languages and theories. Modelling value-oriented legal reasoning in that framework, we establish novel bridges between latest research in knowledge representation and reasoning in non-classical logics, automated theorem proving, and applications in legal reasoning.
