归结原理

归结(resolution)原理，在数理逻辑和自动定理证明中(GOFAI涉及的主题)，是对于命题逻辑和一阶逻辑中的句子的推理规则，它导致了一种反证法的定理证明技术。将普通形式逻辑中充分条件的假言联锁推理形式符号化，并向一阶谓词逻辑推广的一种推理法则，又称归结法则、分解法则、消解法则。