单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级中国矿业大学计算机科学与技术学puter Science Technology第4章自动推理412202214.1 引 言41220222什么是推理推理就是按某种策略由已知判断推出另一判断的思维过程已知判断：包括已掌握的与求解问题有关的知识及关于问题的已知事实 推理的结论：由已知判断推出新判断推理由程序程序实

Artificial IntelligenceResolution: Click levelThird level? Graduate University Chinese academy of Sciences. 人工智能Artificial Intelligence自动推理自动推理的理论和技术是专家系统程序推导程序正确性证明智能机器人等研究领域的重要基础自动推理早期的工作主要集中在

单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级中国矿业大学计算机科学与技术学puter Science Technology单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级20224191第4章自动推理202241924.1 引 言20224193什么是推理推理就是按某种策略由已知判断推出另一判断的思维过程已知判断：包括已掌握的与求解