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

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