用计算机进行法律推理：推理引擎-研究论文

本文介绍了一种允许任何人构建简单的法律推理引擎的计算机程序。 本质上，用户提供条件和后果。 然后，用户可以提供目标，并查询引擎以确定是否通过使用正向链（从已知事实推断到期望结果）或向后链（从期望结果推断出支持这些结果的可能假设）获得了目标。 本文还介绍了各种人工智能方法。 由于它允许非程序员创建法律知识库来测试关于法律事实之间相互关系的假设，因此它是一种有助于教授法律的方法，因此受到关注。