人工智能Artificial Intelligence主讲:杨利英西安电子科技大学E_mail:第三章 经典逻辑推理3.1 基本概念3.2 自然演绎推理3.3 归结演绎推理3.4 与或形演绎推理3.1 基本概念3.1.1 什么是推理所谓推理就是按某种策略由已知判断推出另一个判断的思维过程。在人工智能中,推理是由程序实现的,称为推理机。3.1.2 推理方式及其分类1. 演绎推理、归纳推理、默认推理演绎推理:从一般到特殊。例如三段论。归纳推理:从个体到一般。默认推理:缺省推理,在知识不完全情况下假设某些条件已经具备所进行的推理。2. 确定性、不确定性推理3.1.2 推理方式及其分类3. 单调推理、非单调推理推出的结论是否单调增加 5. 基于知识的推理(专家系统) 、统计推理、直觉推理(常识性推理)4. 启发式、非启发式推理 所谓启发性知识是指与问题有关且能加快推理进程、求得问题最优解的知识。3.1.3 推理的控制策略w推理的控制策略主要包括:推理方向、搜索策略、冲突消解策略、求解策略及限制策略。1. 正向推理(数据驱动推理)基本思想:从用户提供的初始已知事实出发,在知识库KB中找出当前可适