第第4 4章章 确定性推理确定性推理本章介绍:本章介绍:本章介绍:本章介绍:自然演绎推理自然演绎推理自然演绎推理自然演绎推理 归结演绎推理归结演绎推理归结演绎推理归结演绎推理o推理就是按某种策略由已知判断推出另一判断的思维推理就是按某种策略由已知判断推出另一判断的思维过程过程o已知判断:包括已掌握的与求解问题有关的知识已知判断:包括已掌握的与求解问题有关的知识及关于问题的已知事实及关于问题的已知事实推理的结论:由已知判断推出新判断推理的结论:由已知判断推出新判断o推理由程序程序实现,称为推理机推理由程序程序实现,称为推理机12/21/202211、演绎推理、归纳推理、默认推理、演绎推理、归纳推理、默认推理推理的基本任务是从一种判断推出另一种判断推理的基本任务是从一种判断推出另一种判断按判断推出的途径来划分,可分为演绎推理、归结推理按判断推出的途径来划分,可分为演绎推理、归结推理及默认推理及默认推理(1)演绎推理)演绎推理演绎推理是从全称判断推导出特称判断或单称判断的过程演绎推理是从全称判断推导出特称判断或单称判断的过程演绎推理有多种形式,经常用的是三段论式演绎推理有多种形式,经常用的是