数字时代法律实践革新—以建模制定法推理为例

人工智能的应用为法律实践带来了技术革新，同时也对传统制定法推理模型带来冲击。由于法律规范的多样性与模糊性、法律关系的复杂性、法律解释与适用的争议性等原因，以及先进计算机技术和算法存在一定的局限性和不确定性，都会导致计算机建模制定法推理结果的偏差或错误。通过在计算机上如何运行规范化版本、谓词逻辑使用、制定法标准化是否可以计算机化等内容进行探讨，发现计算机建模制定法推理难以满足制定法解释的复杂性和论证的需求，但是现有数字技术完全能够为市场主体设计一个建模制定法推理来适用法律。同时，也需要人类专家的参与和监督，共同解决涉及计算机建模制定法推理的问题。