《经典逻辑推理》PPT课件
合集下载
相关主题
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
• 不完全归结：指只考察了相应事物的部分对象，就得出了结论。
2020/11/4
郑州大学振动工程研究 所
• 默认推理——又称缺省推理，它是在知识不完全的情况下假设某些条件已经具备所进行 的推理。在默认推理过程中，如果到某一时刻发现原先所作的默认不正确，则就要撤销 所作默认，以及由此默认推出的所有结论，重新按新情况进行推理。
Y
郑州大学振所动正工向程研推究 理过程算法描述：
将该新事实加入到DB中
• 逆向推理：
• 逆向推理是以某个假设目标作为出发点的一种推理,又称为目标驱动推理、逆向链推理及 后件推理等。
• 逆向推理的基本思想：首先选定一个假设目标，然后寻找支持该假设的证据，若所需的证 据都能找到，则说明原假设成立；若无论如何都找不到所需证据，说明原假设不成立，此 时需要另作新的假设，进行一轮新的推理。
2020/11/4
郑州大学振动工程研究 所
4.1基本概念
• 推理、推理方式及其分类
• 运用已经掌握的知识，找出其中蕴涵的事实，或归 纳出新事实的过程称为推理。
• 推理有以下不同的方式：
• 1.演绎推理、归纳推理、默认推理
• 2.确定性推理、不确定性推理
• 3.单调推理、非单调推理
• 4.启发式推理、非启发式推理
2020/11/4
郑州大学振动工程研究所
• Ⅱ. 确定性推理，不确定性推理（按推理时所用知识的确定性 来划分）
•
• 确定性推理—— 指推理时所用的知识都是精确的， 推出的结论也是确定的，其真值或为“真”，或 为“假”，没有第三种情况出现。
• 下面将要讨论的经典逻辑推理就属于这一类。
• 不确定性推理——指推理时所用的知识不都是精 确的，推出的结论也不完全是肯定的，其真值位 于“真”和“假”之间，命题的外延模糊不清。
• 正向推理：
• 正向推理是以已知事实作为出发点的一种推理，又 称数据驱动推理、前向链推理及前件推理等。根据 已知的实事，在知识库中查找当前可用的知识，构 成可适用的知识集KS，再安照冲突消解策略从KS中 选出一条知识进行推理，并将推出的新实事加入到 数据库中作为下一步推理的实事……再查找，再推 理，直到求得了所要求的解或者知识库中没有可用 的知识为止。
例如：1) 足球运动员的身体都是强壮的； 2) 高波是一名足球运动员； 3) 所以，高波的身体是强壮的。
2020/11/4
郑州大学振动工程研究 所
• 归纳推理——归纳推理是从足够多的事例中归纳出一般性纳论的推理过程，是一种从个 别到一般的推理。归纳推理又分为完全归纳和不完全归纳两种。
• 完全归纳：指在进行归纳时考察了相应事物的全部对象，并根据这些对象是否都有某种 属性，从而推出这种事物是否具有这个属性。
• 5.基于知识的推理、统计推理、直觉推理
2020/11/4
郑州大学振动工程研究 所
Ⅰ. 演绎推理、归结推理、默认推理（从新判断推
出的途径来划分 ） 演绎推理——从全称判断推导出特称判断或单称判断的过 程，即由一般性知识推出适合于某一具体情况的结论。这 是一种从一般到 个别的推理。演绎推理有多种形式，经 常用的是三段论式，它包括： 1) 大前提，这是已知的一般性知识或假设； 2) 小前提，这是关于所研究的具体情况或个别事实的判断； 3) 结论，这是由大前提推出的适合于小前提所示情况的新判 断。
2020/11/4
郑州大学振动工程研究 所
逆向推理过程算法描述
开始
ຫໍສະໝຸດ Baidu提出假设
Y
该假设在数据库DB中？
N Y
该假设是证据？
N
在知识库中找出所有能 导出该假设的知识，形
成适用知识集KS
从KS中选出一条知识，并 将作该为知 一识 个2的 新02一 的0/个 假11设运/4目用标条。件
• 非单调推理——指在推理过程中由于新知识的加 入，不仅没有加强已推出的结论，反而要否定它， 使得推理202退0/11回/4 到前面的某郑州一大学步振动，工程重研究新开始。
所
• Ⅳ. 启发式推理、非启发式推理（按推理中是否运用与问题 有关的启发性知识分）
• 启发式推理——推理中运用与问题有关的启发 性知识，即解决问题的策略、技巧、窍门，对 解的特性及规律的估计等实践经验和知识，以 加快推理过程、提高搜索效率、提高推理的准 确性，这种推理称为启发式推理。
2020/11/4
郑州大学振动工程研究 所
4.1基本概念
• 推理的控制策略： • 推理的控制策略主要包括推理方向的控制策略、搜索的控制策略、冲突消解策略、求
解策略及限制策略等。
2020/11/4
郑州大学振动工程研究 所
4.1基本概念
• 推理方向的控制策略则包括；正向推理、逆向推理、混合推理、双向推理。
第四章 经典逻辑推理
• 为了使计算机具有智能仅仅拥有知识是不够的， 还需要让它拥有思维能力，即能够运用知识进 行推理、求解问题。因此推理是人工智能的一 个重要研究课题。接下来，我们将介绍关于推 理的一般概念，然后介绍几种推理方法。
• 4.1基本概念
• 4.2自然演绎推理
• 4.3归结演绎推理
• 4.4与/或形演绎推理
• 非启发式推理——比如穷举式推理等。
2020/11/4
郑州大学振动工程研究 所
• Ⅴ. 基于知识的推理、统计推理、直觉推理（从方法论的角度划 分）
• 基于知识的推理——根据已掌握的事实，通过 运用知识进行的推理。
• 统计推理——根据对某事物的数据统计进行的 推理(相当于归纳推理)。
• 直觉推理——又称常识性推理，是根据常识进 行的推理。
2020/11/4
郑州大学振动工程研究 所
• Ⅲ. 单调推理、非单调推理（按推理过程中推出的结论是否 单调的增加来划分）
• 单调推理——指在推理过程中随着推理的向前 推进及新知识的加入，推出的结论呈单调增加的 趋势，并且越来越接近最终目标，在推理过程中 不会出现反复的情况，即不会由于新知识的加入 而否定了前面推出的结论，使推理又退回到前面 的一步。
2020/11/4
郑州大学振动工程研究 所
开始
把初始已知事实送入DB
DB中包含问题的解？
Y
成功，退出
N
KB中有可适用知识？
把用户提供的新事实加入DB中
N
Y
把KB中所有可适用知识都选出来送入KS
KS空？
Y
N
按冲突消解策略从KS中选出一条知识进行推理
用户
Y
可补充新事实？
N
失败，退出
N
推出的是新事实？
2020/11/4
2020/11/4
郑州大学振动工程研究 所
• 默认推理——又称缺省推理，它是在知识不完全的情况下假设某些条件已经具备所进行 的推理。在默认推理过程中，如果到某一时刻发现原先所作的默认不正确，则就要撤销 所作默认，以及由此默认推出的所有结论，重新按新情况进行推理。
Y
郑州大学振所动正工向程研推究 理过程算法描述：
将该新事实加入到DB中
• 逆向推理：
• 逆向推理是以某个假设目标作为出发点的一种推理,又称为目标驱动推理、逆向链推理及 后件推理等。
• 逆向推理的基本思想：首先选定一个假设目标，然后寻找支持该假设的证据，若所需的证 据都能找到，则说明原假设成立；若无论如何都找不到所需证据，说明原假设不成立，此 时需要另作新的假设，进行一轮新的推理。
2020/11/4
郑州大学振动工程研究 所
4.1基本概念
• 推理、推理方式及其分类
• 运用已经掌握的知识，找出其中蕴涵的事实，或归 纳出新事实的过程称为推理。
• 推理有以下不同的方式：
• 1.演绎推理、归纳推理、默认推理
• 2.确定性推理、不确定性推理
• 3.单调推理、非单调推理
• 4.启发式推理、非启发式推理
2020/11/4
郑州大学振动工程研究所
• Ⅱ. 确定性推理，不确定性推理（按推理时所用知识的确定性 来划分）
•
• 确定性推理—— 指推理时所用的知识都是精确的， 推出的结论也是确定的，其真值或为“真”，或 为“假”，没有第三种情况出现。
• 下面将要讨论的经典逻辑推理就属于这一类。
• 不确定性推理——指推理时所用的知识不都是精 确的，推出的结论也不完全是肯定的，其真值位 于“真”和“假”之间，命题的外延模糊不清。
• 正向推理：
• 正向推理是以已知事实作为出发点的一种推理，又 称数据驱动推理、前向链推理及前件推理等。根据 已知的实事，在知识库中查找当前可用的知识，构 成可适用的知识集KS，再安照冲突消解策略从KS中 选出一条知识进行推理，并将推出的新实事加入到 数据库中作为下一步推理的实事……再查找，再推 理，直到求得了所要求的解或者知识库中没有可用 的知识为止。
例如：1) 足球运动员的身体都是强壮的； 2) 高波是一名足球运动员； 3) 所以，高波的身体是强壮的。
2020/11/4
郑州大学振动工程研究 所
• 归纳推理——归纳推理是从足够多的事例中归纳出一般性纳论的推理过程，是一种从个 别到一般的推理。归纳推理又分为完全归纳和不完全归纳两种。
• 完全归纳：指在进行归纳时考察了相应事物的全部对象，并根据这些对象是否都有某种 属性，从而推出这种事物是否具有这个属性。
• 5.基于知识的推理、统计推理、直觉推理
2020/11/4
郑州大学振动工程研究 所
Ⅰ. 演绎推理、归结推理、默认推理（从新判断推
出的途径来划分 ） 演绎推理——从全称判断推导出特称判断或单称判断的过 程，即由一般性知识推出适合于某一具体情况的结论。这 是一种从一般到 个别的推理。演绎推理有多种形式，经 常用的是三段论式，它包括： 1) 大前提，这是已知的一般性知识或假设； 2) 小前提，这是关于所研究的具体情况或个别事实的判断； 3) 结论，这是由大前提推出的适合于小前提所示情况的新判 断。
2020/11/4
郑州大学振动工程研究 所
逆向推理过程算法描述
开始
ຫໍສະໝຸດ Baidu提出假设
Y
该假设在数据库DB中？
N Y
该假设是证据？
N
在知识库中找出所有能 导出该假设的知识，形
成适用知识集KS
从KS中选出一条知识，并 将作该为知 一识 个2的 新02一 的0/个 假11设运/4目用标条。件
• 非单调推理——指在推理过程中由于新知识的加 入，不仅没有加强已推出的结论，反而要否定它， 使得推理202退0/11回/4 到前面的某郑州一大学步振动，工程重研究新开始。
所
• Ⅳ. 启发式推理、非启发式推理（按推理中是否运用与问题 有关的启发性知识分）
• 启发式推理——推理中运用与问题有关的启发 性知识，即解决问题的策略、技巧、窍门，对 解的特性及规律的估计等实践经验和知识，以 加快推理过程、提高搜索效率、提高推理的准 确性，这种推理称为启发式推理。
2020/11/4
郑州大学振动工程研究 所
4.1基本概念
• 推理的控制策略： • 推理的控制策略主要包括推理方向的控制策略、搜索的控制策略、冲突消解策略、求
解策略及限制策略等。
2020/11/4
郑州大学振动工程研究 所
4.1基本概念
• 推理方向的控制策略则包括；正向推理、逆向推理、混合推理、双向推理。
第四章 经典逻辑推理
• 为了使计算机具有智能仅仅拥有知识是不够的， 还需要让它拥有思维能力，即能够运用知识进 行推理、求解问题。因此推理是人工智能的一 个重要研究课题。接下来，我们将介绍关于推 理的一般概念，然后介绍几种推理方法。
• 4.1基本概念
• 4.2自然演绎推理
• 4.3归结演绎推理
• 4.4与/或形演绎推理
• 非启发式推理——比如穷举式推理等。
2020/11/4
郑州大学振动工程研究 所
• Ⅴ. 基于知识的推理、统计推理、直觉推理（从方法论的角度划 分）
• 基于知识的推理——根据已掌握的事实，通过 运用知识进行的推理。
• 统计推理——根据对某事物的数据统计进行的 推理(相当于归纳推理)。
• 直觉推理——又称常识性推理，是根据常识进 行的推理。
2020/11/4
郑州大学振动工程研究 所
• Ⅲ. 单调推理、非单调推理（按推理过程中推出的结论是否 单调的增加来划分）
• 单调推理——指在推理过程中随着推理的向前 推进及新知识的加入，推出的结论呈单调增加的 趋势，并且越来越接近最终目标，在推理过程中 不会出现反复的情况，即不会由于新知识的加入 而否定了前面推出的结论，使推理又退回到前面 的一步。
2020/11/4
郑州大学振动工程研究 所
开始
把初始已知事实送入DB
DB中包含问题的解？
Y
成功，退出
N
KB中有可适用知识？
把用户提供的新事实加入DB中
N
Y
把KB中所有可适用知识都选出来送入KS
KS空？
Y
N
按冲突消解策略从KS中选出一条知识进行推理
用户
Y
可补充新事实？
N
失败，退出
N
推出的是新事实？
2020/11/4