归结原理

guī jié yuán lǐ · ㄍㄨㄟ ㄐㄧㄝˊ ㄩㄢˊ ㄌㄧˇ

修撰于 2026-07-01 08:10:15

拼音guī jié yuán lǐ
字母gui jie yuan li
首字母gjyl
注音ㄍㄨㄟ ㄐㄧㄝˊ ㄩㄢˊ ㄌㄧˇ
注音符号ㄍㄨㄟ ㄐㄧㄝ ㄩㄢ ㄌㄧ

广

Robinson第一定理,即归结原理,在数理逻辑和自动定理证明中(GOFAI涉及的主题),归结(resolution)是对于命题逻辑和一阶逻辑中的句子的推理规则,它导致了一种反证法的定理证明技术。