人工智能之确定性推理(00002).pdfVIP

第三章确定性推理

n3.1根本概念

n3.3自然演绎推理

n3.4归结演绎推理

n3.5基于规那么的演绎推理〔与/或形演绎推理〕

3.1根本概念

n为使计算机具有智能，仅仅使它拥有知识还不够，更重要地，

还必须使它具有思维能力，即能运用知识进行推理、求解问题

的能力。

n知识表示〔知识库〕→求解过程〔推理〕

n经典推理是根据经典逻辑〔命题逻辑和一阶谓词逻辑〕的逻

辑规那么进行的一种推理，又称机械-自动定理证明。

n主要推理方法有：自然演绎推理、归结演绎推理、基于规那

么的演绎推理〔与/或形演绎推理〕。

根本概念

推理

推理

推理是按某种策略由判断推出另一种判断的过程。

推理是按某种策略由判断推出另一种判断的过程。

在AI系统中，推理是由程序来实现的，称为推理机。

在系统中，推理是由程序来实现的，称为推理机。

AI

不同的控制策略

不同的控制策略

推理方式及分类：

推理方式及分类：

演绎推理

n由一般〔全称判断〕到个别〔特称判断〕的推理方法。

n核心是三段论，通常由一个大前提、一个小前提和一个结

论三局部组成的。

n例：阿凡提的故事两头驴的故事

n①我肩上驮的是两头驴的东西〔大前提〕

n②国王和大臣的衣衫是我肩上驮的〔小前提

〕

n③国王和大臣的衣衫是两头驴的东西〔结论

〕

归纳推理

n从个别到一般

n归纳结论不具备逻辑必然性

n莫里斯·科恩

n逻辑学著作包括两局部，第一局部是演绎，其功能是解

释谬误；第二局部是归纳，其功能是生成谬误

我们获得关于这个实在世界的一般性事

实的唯一方法！

n演绎推理所得出的结论蕴含在一般性知识的前提

中，演绎推理只不过是将已有事实揭示出来，因此

它不能增殖新知识。

n在归纳推理中，所推出的结论是没有包含在前提

内容中的。这种由个别事物或现象推出一般性知识

的过程，是增殖新知识的过程。

默认推理

n默认推理是在知识不完全的情况下假设某些条件已经具备

所进行的推理，也称为缺省推理。在推理过程中，如果发现

原先的假设不正确，就撤消原来的假设以及由此假设所推出

的所有结论，重新按新情况进行推理。由于默认推理允许在

推理过程中假设某些条件是成立的，因此解决了在一个不完

备的知识集中进行推理的问题。

n封闭世界假设：如果没有足够的证据证明某命题不成立，

就假定该命题成立

推理的控制策略

推理的控制策略

推理过程涉及到求解方法和求解策略。

求解方法包括匹配方法、不确定性的传递方法

求解策略包括推理方向、求解策略、限制策略等。

指推理是求一个为防止无穷的推理过

解、所有解，还程，以及由此带来的

是最优解。时间和空间复杂性，

限制策略是对推理的

深度、宽度、时间、

空间等进行限制。

开始

开始

正向推理

把初始已知事实送入DB正向推理

提出假设

YY

推理方向DB中包含问题的解成功，退出

推理方向

Y

N把用户提供的新事实加入DB

该假设在数据库中？