演绎数据库算术推理 Deductive Database Arithmetic Reasoning

演绎数据库算术推理（Deductive Database Arithmetic Reasoning，简称 DDAR）是由 Google DeepMind 于 2025 年 2 月提出的一种计算演绎闭包的算法，即给定一组核心初始事实的所有可演绎事实集合。相关研究成果发表于论文「Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2」，DDAR 遵循一组固定的演绎规则来构建此演绎闭包，并迭代地将新的事实添加到演绎闭包中，直到无法再添加。

这种方法通常用于自动推断和推理数据库中的信息，特别是当涉及到复杂的数学或算术运算时，旨在通过推理规则和数学运算对数据库中的数据进行推导与计算。