不确定性推理方法概率基础.ppt
《不确定性推理方法概率基础.ppt》由会员分享,可在线阅读,更多相关《不确定性推理方法概率基础.ppt(39页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、第3章作业的部分问题1.看清括号,看清联结词的优先顺序2.求谓词公式的字句集的步骤(P100)1.消 2.移到量词之后3.扩大量词辖域 xP(X)xQ(X)=x(P(X)Q(X)4.将辖域内变为简单合取式5.引入skolem函数,消去量词6.得到子句集(x)P(x)(y)P(y)P(f(x,y)(y)Q(x,y)P(y)xP(x)yP(y)P(f(x,y)yQ(x,y)P(y)xP(XxP(X)xQ(XxQ(X)=x(P(X)Q(X)=x(P(X)Q(X)换名要等到不得不换的时候再进行。4,5步之间不可用“=”联结(P100倒数第3行)。第3章作业的部分问题(续)3.只能置换变量,不可置换常量
2、、函数4.求合一的步骤见P104-P105例:P(g(f(v),g(u)和 P(x,x)5.归结法步骤:声明谓词的含义;写出谓词公式(别忘了量词),按结论的否定写出谓词公式;将各公式的子句集求出;归结,得到;说明按归结原理,原题得证。注:参与归结的都是子句,不可出现包含的句子。注:第3章作业的部分参考答案已放在 1=g(f(v)/xP(g(f(v),g(f(v)2=g(f(v)/x,f(v)/uu/f(v)5 不确定性推理方法不确定性推理方法背景背景推理基于知识,而知识库包含大量模糊、随机、推理基于知识,而知识库包含大量模糊、随机、不可靠的知识。不可靠的知识。必须采用必须采用非精确非精确推理推
3、理(即即不确定性不确定性推理推理)。AI的核心研究课题。的核心研究课题。不确定性推理的发展史不确定性推理的发展史概率论是不确定性推理的理论基础之一。概率论是不确定性推理的理论基础之一。80年代,贝叶斯网络成功应用于专家系统。年代,贝叶斯网络成功应用于专家系统。75年,年,Shortliff等提出了确定性推理方法等提出了确定性推理方法(医医疗诊断系统疗诊断系统MYCIN)。76年,年,DURA等提出了主观贝叶斯方法等提出了主观贝叶斯方法(地矿勘地矿勘探系统探系统PROSPECTOR)。76年,年,Dempster和和Shafer提出了证据理论提出了证据理论(D-S理论理论,又称广义概率论又称广义
4、概率论)。83年,年,Zadeh等提出了模糊逻辑。等提出了模糊逻辑。不确定性推理中的术语解释不确定性推理中的术语解释规则规则前件前件后件后件(产生式系统中产生式系统中)规则规则证据证据结论结论(不确定性推理中不确定性推理中)规则规则新证据新证据结论结论5.1.1 不确定性的普遍存在不确定性的普遍存在证据有不确定性,如证据有不确定性,如事实描述有歧义、事实描述有歧义、不精确、不精确、不肯定。不肯定。证据可以是证据可以是初始证据初始证据新证据新证据5.1.1 不确定性的普遍存在不确定性的普遍存在(续续)规则规则是启发类是启发类(Heuristic)知识,描述知识,描述由已有知识可推得哪些新知识。由
5、已有知识可推得哪些新知识。规则有不确定性。规则有不确定性。规则自身规则自身证据组合证据组合结论结论A1A2ANDBAB5.1.1 不确定性的普遍存在不确定性的普遍存在(续续)推理过程推理过程的不确定性的不确定性知识不确定性的知识不确定性的动态积累和传播的动态积累和传播的过程。过程。5.1.2 基本问题基本问题(1)不确定性如何表示?不确定性如何表示?定量定量(数值数值)表示表示 例:例:P(A)是是A发生的概率,用作证据发生的概率,用作证据A的不确定的不确定性度量。性度量。定性定性(非数值非数值)表示表示 例:例:A很可能很可能(或可能、不太可能、一定或可能、不太可能、一定)发生。发生。5.1
6、.2 基本问题基本问题(2)不确定程度该如何计算?不确定程度该如何计算?已知已知P(A)和和P(B,A),怎样求,怎样求P(B)?已知已知P(B1,A)和和P(B2,A),怎样求,怎样求P(A)?已知已知P(A1)和和P(A2),怎样求,怎样求P(A1A2)和和P(A1A2)?各规则和初始证据的不确定性度一般由专家各规则和初始证据的不确定性度一般由专家给出。给出。5.1.2 基本问题基本问题(3)不确定性度量代表什么含义?不确定性度量代表什么含义?P(B,A)可理解为可理解为A真对真对B真的影响程度。真的影响程度。P(A)可理解为可理解为A为真的程度。为真的程度。5.1.3 推理方法的分类推理
7、方法的分类形式化方法形式化方法逻辑法逻辑法采用多值逻辑和非单调逻辑处理不确定性。采用多值逻辑和非单调逻辑处理不确定性。新计算法新计算法采用扩展的概率方法,表示不确定性。采用扩展的概率方法,表示不确定性。如:如:证据理论证据理论(D-S法法)、确定性方法、确定性方法(CF法法)、模糊逻辑法模糊逻辑法5.1.3 推理方法的分类推理方法的分类(续续)新概率法新概率法根据传统概率论,采用新方法描述不确定性。根据传统概率论,采用新方法描述不确定性。如:如:主观内叶斯方法、贝叶斯网络方法。主观内叶斯方法、贝叶斯网络方法。非形式化方法非形式化方法即启发性方法,对不确定性没有给出明确即启发性方法,对不确定性没
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 不确定性 推理 方法 概率 基础
限制150内