语林词典 - 汉语词语大全 聊天词典

请问「归结原理」是什么意思?

2026-07-12 18:18:08

「归结原理」读音

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

拼音字母gui jie yuan li
拼音首字母gjyl
注音符号ㄍㄨㄟ ㄐㄧㄝ ㄩㄢ ㄌㄧ
注音首符号ㄍㄐㄩㄌ

「归结原理」释义

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

推荐