arXiv:2505.01944v1 逻辑类型: cross 摘要：在规范 defeasible 逻辑学的一系列规则背后，存在一个将规范背景片段映射到规则的过程。这一过程从文本出发，转变成规则，隐含地涵盖了编码片段的解释。 在这篇论文中，我们提供了一种名为“法律编码”的方法，该方法从一个片段出发，最终生成一组 defeasible 逻辑学规则，涉及一系列“场景”以测试编码片段的正确性。该方法通过一个示例文本的编码过程进行了说明。然后，我们展示了使用人类对多种规范背景及其对应的案例进行编码的一系列实验结果。我们测量了编码过程中的努力程度，与一些可测量的特征相关。为了处理这些示例，我们使用了一种最近开发的技术 Houdini，它允许在 defeasible 逻辑学中进行推理。 最后，我们提供了一种预测编码所需时间的技术，该时间取决于如法律领域的知识、编码过程的知识、文本长度以及法律参考资料路径长度的“深度”等因子。