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