This volume contains the papers presented at LN2FR 2022: The International Workshop on Methodologies for Translating Legal Norms into Formal Representations, held on December 14, 2022 in association with 35th International Conference on Legal Knowledge and Information Systems (JURIX 2022). Using symbolic logic or similar methods of knowledge representation to formalise legal norms is one of the most traditional goals of legal informatics as a scientific discipline. More than mere theoretical value, this approach is also connected to promising real-world applications involving, e.g., the observance of legal norms by highly automated machines or even the (partial) automatisation of legal reasoning, leading to new automated legal services. Albeit the long research tradition on the use of logic to formalise legal norms, many challenges involved in the development of an adequate methodology for the formalisation of concrete legal regulations remain unsolved. This includes not only the choice of a sufficiently expressive formal language or model, but also the concrete way through which a legal text formulated in natural language is to be translated into the formal representation. The workshop LN2FR seeked to explore the various challenges connected with the task of using formal languages and models to represent legal norms in a machine-readable manner.

翻译：本卷收录了LN2FR 2022研讨会（2022年12月14日举办，与第35届国际法律知识与信息系统会议JURIX 2022联合举行）的论文。研讨会主题为“法律规范形式化表示的方法论”。运用符号逻辑或类似的知识表示方法对法律规范进行形式化，是法律信息学作为一门科学学科最传统的目标之一。该方法不仅具有理论价值，还涉及极具前景的现实应用，例如高度自动化机器对法律规范的遵守，乃至法律推理的（部分）自动化，从而催生新型自动化法律服务。尽管运用逻辑形式化法律规范的研究传统由来已久，但在制定恰当方法论以形式化具体法律法规方面，仍存在诸多待解挑战。这既包括选择具有充分表达力的形式化语言或模型，也包括将自然语言表述的法律文本转化为形式化表示的具体途径。LN2FR研讨会旨在探索利用形式化语言与模型以机器可读方式表示法律规范过程中所涉及的各种挑战。