3-人工智能经典逻辑推理讲述.ppt

人工智能Artificial Intelligence 主讲：杨利英 西安电子科技大学 E_mail：yangliying1208@163.com 第三章 经典逻辑推理 3.1 基本概念 3.2 自然演绎推理 3.3 归结演绎推理 3.4 与或形演绎推理 3.1 基本概念 3.1.1 什么是推理 3.1.2 推理方式及其分类 1. 演绎推理、归纳推理、默认推理 3.1.2 推理方式及其分类 3. 单调推理、非单调推理 推出的结论是否单调增加 3.1.3 推理的控制策略 推理的控制策略主要包括：推理方向、搜索策略、冲突消解策略、求解策略及限制策略。 1. 正向推理（数据驱动推理） 基本思想：从用户提供的初始已知事实出发，在知识库KB中找出当前可适用的知识，构成可适用的知识集KS，然后按某种冲突消解策略从KS中选出一条知识进行推理，并将推出的新事实加入到数据库DB中，作为下一步推理的已知事实。在此之后，再在知识库中选取可适用的知识进行推理。如此重复进行这一过程，直到求得所要求的解。 正向推理示意图 2 逆向推理 基本思想 首先选定一个假设目标，然后寻找支持该假设的证据，若所需的证据都能找到，则说明原假设是成立的；若找不到所需要的证据，则说明原假设不成立，此时需要另作新的假设。 逆向推理示意图 3.1.3 推理的控制策略 3. 混合推理 先正向推理后逆向推理 先逆向推理后正向推理