归结原理

基本属性

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

扩展释义

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