国际法律规范转化为形式化表达方法研究国际研讨会论文集 (LN2FR 2022) -- 与第35届国际法律知识与信息系统会议(JURIX 2022)相关
摘要：将法律规范转化为形式化表示方法的国际方法论翻译工作坊（LN2FR 2022）所提供的论文都包含在本卷中。该工作坊于2022年12月14日与第35届国际法律知识与信息系统会议（JURIX 2022）联合举办。使用符号逻辑或类似的知识表示方法来形式化法律规范是法律信息学作为一门科学学科最传统的目标之一。这种方法不仅具有纯理论价值，还与许多有前景的现实应用相关，包括高度自动化机器遵守法律规范甚至（部分）自动化法律推理，从而实现新型自动化法律服务。尽管在使用逻辑形式化法律规范的研究传统已存在很长时间，但在开发适当的方法论以形式化具体法律法规方面仍存在许多挑战尚未解决。这不仅包括选择具有足够表达能力的形式语言或模型，还包括以自然语言表述的法律文本如何被翻译成形式化表示的具体方式。LN2FR工作坊旨在探索使用形式语言和模型以机器可读的方式表示法律规范所涉及的各种挑战。
作者：Georg Borges, Ken Satoh, Erich Schweighofer (eds.)
论文ID：2305.12203
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-05-23