朝向使用LLMs将法律文本形式化为可废除的义务逻辑的健壮性发展

于红博

摘要: 我们提出了一种全面的方法，利用大型语言模型（LLMs）自动形式化法律文本，目标是将它们转化为可废除的义务逻辑（DDL）。我们的方法采用了一个结构化的流程，将复杂的规范性语言分割成原子片段，提取义务规则，并评估其在语法和语义上的连贯性。我们引入了一个精细的成功度量标准，更精确地捕捉形式化的完整性，以及一个新颖的两阶段流程，其中包含一个专门的改进步骤，以提高逻辑一致性和覆盖范围。评估程序已经通过更严格的错误评估得到加强，我们提供了跨多个LLM配置的比较结果，包括新发布的模型和各种提示和微调策略。对澳大利亚电信消费者保护准则中的法律规范进行的实验表明，在有效指导下，LLMs可以产生与专家制作的表示形式密切一致的形式化结果，强调了它们在可扩展法律信息学中的潜力。

更新时间: 2025-12-31 10:28:14

领域: cs.CL,cs.AI,cs.CY,cs.LO

下载: http://arxiv.org/abs/2506.08899v3