人工智能知识的表示第二节.ppt

* * * * * * * * * * * * * * 例题2：自然演绎推理 为真 由连接词化归律，即满足 为真 但是由于满足 ，所以必然使 为假，故 是（1）和 （2）的结论，即Socrates要死。 必为真 这就是著名的Aristotle“三段论”。 * 3 确定性推理方法 * 0、引言 前面讨论了知识的表示方法，这样就可以把知 识用某种模式表示出来存储到计算机中去。但是， 为了使计算机具有智能，仅仅使用计算机拥有知识 是不够的，还必须使它具有思维能力，即能运用知 识求解问题。推理是求解问题的一种重要方法。 人们在对各种事物进行分析、综合并最后作出 决策时，通常从已知的事实出发，通过运用已掌握 的知识，找出其中蕴含的事实，或归纳出新的事 实，这一过程通常称为推理(reasoning)。 * 0、引言-推理的方式及分类 人类的智能活动有多种思维方式。 AI作为对人类智能 的模拟，相应地，有多种推理方式; I. 演绎推理、归纳推理、默认推理 从推出结论的途径来划分 演绎推理（deductive reasoning）是从全称判断推 导出单称判断的过程，即由一般性知识推出适合于某一具 体情况的结论。这是一种从一般到个别的推理。 经常用的是三段论形式： （1）大前提：已知的一般知识或假设； （2）小前提：关于所研究的具体情况或个别事实的判断； （3）结论：由大前提推出的适合小前提所示情况的新判断； * 0、引言-推理的方式及分类 I. 演绎推理、归纳推理、默认推理 从推出结论的途径来划分 归纳推理（inductive reasoning）是从足够多的事例中 归纳出一般性结论的推理过程，这是一种从个别到一般的推 理。从其所选事例的广泛性来划分，又可分为完全归纳推理 和不完全归纳推理： 所谓完全归纳推理就是指在进行归纳时，考察了相应事 物的全部对象，并根据这些对象是否都具有某种属性，从而 推出这个事物是否具有这个属性。如：某厂进行产品质量检 查，如果对每一件产品都进行了严格的检查，并且都是合 格的，则推导出结论“该厂生产的产品合格”。 * 0、引言-推理的方式及分类 I. 演绎推理、归纳推理、默认推理 从推出结论的途径来划分 所谓不完全归纳推理就是指在考察了相应事物的部分对 象，就得出结论。如：检查产品质量时，只是随机抽查了部 分产品，只要它们都合格，就得出了“该厂生产的产品合格” 由于考察事物的所有对象通常都是比较困难，因而大多 数归纳推理都是不完全归纳推理。 默认推理（default reasoning）是在知识不完全的情 况下假设某些条件已经具备所进行的推理。例如，在条件A 已成立的情况下，如果没有足够的证据证明条件B不成立， 则默认B是成立的，并在此默认的前提下，进行推理，推出 某个结论。如果某一时刻，发现所作默认不正确，这撤销所 作默认及默认推出的所有结论，重新按新情况进行推理。 * 0、引言-推理的方式及分类 II. 确定性推理、不确定性推理 从推理所用知识的确定性来划分 所谓确定性推理，就是指推理时所用知识与证据都是确 定的，推出的结论也是确定的，其值或者为真或者为假，没 有第三种情况出现。 --根据经典逻辑（命题逻辑及一阶谓词逻辑）的逻辑规 则进行的一种推理。 所谓不确定性推理，是指推理时使用的知识与证据不都 是确定的，推出的结论也是不确定的。 --现实世界中的事物和现象大都是不确定的，或者模糊 的，很难用精确的数学模型来描述，要使计算机能模拟人类 的思维活动，就必须使它具有不确定推理的能力。 * 0、引言-推理的方式及分类 III. 单调推理、非单调推理 按推理过程中推出的结论是否越来越接近目标来划分 所谓单调推理，就是在推理过程中，随着推理向前推 进及新知识的加入，推出的结论越来越接近最终目标，不会 出现反复的情况。 --基于经典逻辑的演绎推理属于单调推理； 所谓非单调推理，是指在推理过程