第六章不确定推理方法.pdfVIP

第六章不确定推理方法

n例:假设有如下的前提知识：

（1）自然数是大于零的整数

（2）所有整数不是偶数就是奇数

（3）偶数除以2是整数

求证：所有自然数不是奇数就是其一半为

整数的数

定义谓词：N(x)表示x是自然数

I(x)表示x是整数，E(x)表示x是偶数，

O(x)表示x是奇数GZ(x)表示x大于0，另

外用函数S（x）表示x除以2

第六章不确定推理方法

第六章不确定推理方法

例：任何通过历史考试并中了彩票的人是

快乐的。任何肯学习或幸运的人可以通过

所有的考试。John不学习但是很幸运。任

何人只要是幸运的就能中彩。

求证：John是快乐的。

定义谓词：Pass(x,y)表示x能通过y考试；

Win(x,y)表示x能够赢得y

Study(x)表示x肯学习

Lucky(x)表示x是很幸运的

Happy(x)表示x是快乐的

第六章不确定推理方法

第六章不确定推理方法

确定性推理

基于一阶谓词逻辑的归结推理方法是

一种确定性的推理方法。依据的证据是确

定的，谓词表示的知识要么为真，要么为

假。推理过程也是以数理逻辑为基础，推

理过程是严密的，所推出的结论也是确定

的，即结论要么成立，要么不成立。

第六章不确定推理方法

不确定性推理

信息不够完善、不够精确，即所掌握的知识

具有不确定性。人们就是运用这种不确定

性知识进行思维、推理、进而求解问题。

所以，为了解决实际问题，必须对不确定

知识的表示、推理过程等进行研究，这就

是本章要讨论的不确定推理方法。

不确定性知识的表示：可信度方法、主观

Bayes方法和证据理论方法。

第六章不确定推理方法

5.1不确定推理概述

人工智能系统中的知识库往往就是由一些具

有不确定性的规则组成，而它的数据库中

包含了一些具有一定不确定性的证据。

在这种情况下，如果在推理过程中仍然采用

经典地、基于逻辑的、精确的推理方法，

必然会把客观事物原本具有的不确定性以

及事物间客观存在的不确定性关系归为确

定性的，从而失去对客观世界描述的真实

性。

第六章不确定推理方法

5.2不确定性推理中的基本问题

1、不确定性的表示

（1）证据不确定性的表示

（2）知识不确定性的表示

2、推理计算

（1）不确定性传递问题

（2）证据不确定性的合成问题

（3）结论不确定性的合成问题

3、不确定性的度量

第六章不确定推理方法

5.3主观Bayes方法

主观Bayes方法又称主观概率论，是由杜

达等人于1976年提出的一种不确定推理模

型，它是对概率论中基本Bayes公式的改

进，是一种基于概率逻辑的方法。该方法

在地矿勘探专家系统PROSPECTOR中得到了

成功的应用。

第六章不确定推理方法

基本Bayes公式

设事件B,B,…,B是彼此独立、互不相

12n

容的事件,BB…B＝全集，且

12n

P(B)0(i=1,2,…,n)。对于任一事件A

i

能且只能与B,B,…,B中的一个同时发

12n

生，而且P(A)0。

第六章不确定推理方法

主观Bayes方法及其推理网络

n为了进行不确定推理，把所有的知识规则

连接成一个有向图，图中的各节点代表假

设结论，弧代表规则，并引入两个数值（

LS,LN）与每一条弧相联系，用来度量规

则成立的充分性和必要性。

nLS表示规则成立的充分性，LN表示规则成

立的必要性，把这样的有向图称为推理网

络。

第六章不确定推理方法

推理网络H2

（100，）（200，）

H