法律到二叉树——法律自然语言的的形式化解释

法律中的知识表示与推理对于促进法律分析与决策任务的自动化至关重要。本文中，我们提出一种基于法学（具体为法律分类学）的新方法，用于表示法律文档并进行推理。我们的方法将法律文档中的法规解释为二叉树，便于法律推理系统做出决策并解决逻辑矛盾。该方法的优势有两点。首先，可基于法规的二叉树表示进行法律推理。其次，法规的二叉树表示比现有的基于句子的表示更易理解。我们提供了一个示例，说明我们的方法如何用于解释法律文档中的法规。