guī jié yuán lǐ · ㄍㄨㄟ ㄐㄧㄝˊ ㄩㄢˊ ㄌㄧˇ · 更新 2026-06-30 19:57:43
Robinson第一定理，即归结原理，在数理逻辑和自动定理证明中（GOFAI涉及的主题），归结（resolution）是对于命题逻辑和一阶逻辑中的句子的推理规则，它导致了一种反证法的定理证明技术。