人工智能 第5 基于谓词的逻辑推理(11-10).pptVIP

第五章 基于谓词的逻辑推理 谓词逻辑亦称为经典逻辑推理,含命题逻辑与一阶谓词逻辑推理,其真值只有“真”和“假”两种，因此它是一种精确推理，或称为确定性推理。 第五章 基于谓词的逻辑推理 第五章 基于谓词的逻辑推理 第五章 基于谓词的逻辑推理 按照某种策略由已知的知识/判断推出另一知识/判断的思维过程。 含两种判断： 1、已知的判断：KB中知识及关于问题的已知事实。 2、由已知判断推出的新判断，即推理的结论。 推理是由程序实现，称为推理机。 第五章 基于谓词的逻辑推理 1、按照推理的途径分： 1）演绎推理：从已知的判断出发，通过演绎推出结论，即结论就蕴含在已知的判断中，上一般到个别的推理。 　　常用形式是“三段论式”：包括大前提、小前提和结论。 例如：Ａ）音乐系的学生至少会弹奏一种乐器。（大前提） 　　　Ｂ）李某是音乐系的一名学生。（小前提） 　　　Ｃ）李某至少会弹奏一种乐器。（结论） 第五章 基于谓词的逻辑推理 2）归纳推理：从个别到一般的推理。 　　Ａ）按特殊事例的考察范围分： 　　　　完全归纳推理和不完全归纳推理。 　　Ｂ）按推理所使用的方法分： 　　　　枚举归纳推理和类比归纳推理。 3）默认推理：亦称缺省推理。在知识不完全的情况下假设某