栩科词语词典 - 汉语查词大全 AI 汉语助手
请问「归结原理」是什么意思?

关于「归结原理」

拼音 guī jié yuán lǐ,注音 ㄍㄨㄟ ㄐㄧㄝˊ ㄩㄢˊ ㄌㄧˇ。数据更新于 2026-07-13 19:07:06。

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

扩展释义

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

拆字组词

相关词语