人工智能ppt课件16非经典推理

,Click to edit Master text styles,Second level,Third level,Fourth level,Fifth level,Click to edit Master title style,西安电子科技大学,西安电子科技大学,Click to edit Master text styles,Second level,Third level,Fourth level,Fifth level,Click to edit Master title style,Artificial Intelligence(AI),人工智能,第四章：非经典推理,Artificial Intelligence(AI)人,内容提要,第四章：非经典推理,1.,经典推理和非经典推理,2.,不确定性推理,3.,概率推理,4.,主观贝叶斯方法,5.,可信度方法,6.,证据理论,内容提要第四章：非经典推理1.经典推理和非经典推理2.不确定,内容提要,第四章：非经典推理,1.,经典推理和非经典推理,2.,不确定性推理,3.,概率推理,4.,主观贝叶斯方法,5.,可信度方法,6.,证据理论,内容提要第四章：非经典推理1.经典推理和非经典推理2.不确定,经典推理和非经典推理,经典逻辑推理,建立在以,形式逻辑,和,数理逻辑,为主的经典逻辑基础上，运用确定性知识进行推理，是一种,单调性,的推理。,现实世界中的大多数问题存在,随机性、模糊性、不完全性和不精确性,。对于这些问题，若采用前面所讨论的精确性推理方法显然是无法解决的。,为此，出现了一些新的逻辑学派，称为,非经典逻辑,，相应的推理方法称为,非经典推理,。,人工智能需要研究不精确性的推理方法，以满足客观问题的需求。,经典推理和非经典推理经典逻辑推理,经典推理和非经典推理,非经典逻辑推理与经典逻辑推理的区别,在推理方法上，经典逻辑采用,演绎,逻辑推理，非经典逻辑采用,归纳,推理。,在辖域取值上，经典逻辑是,二值逻辑,，非经典逻辑是,多值逻辑,。,在运算法则上，两者大不相同。,在逻辑运算符上，非经典逻辑有更多的逻辑运算符。,在单调性上，经典逻辑是单调的，即,已知事实均为充分可信的，不会随着新事实的出现而使原有事实变为假,。非经典逻辑是非单调的。,经典推理和非经典推理非经典逻辑推理与经典逻辑推理的区别,内容提要,第四章：非经典推理,1.,经典推理和非经典推理,2.,不确定性推理,3.,概率推理,4.,主观贝叶斯方法,5.,可信度方法,6.,证据理论,内容提要第四章：非经典推理1.经典推理和非经典推理2.不确定,不确定性推理,不确定性推理,不确定性推理是建立在,非经典逻辑,基础上的一种推理，它是对不确定性知识的运用与处理。,不确定性推理泛指除精确推理以外的其它各种推理问题。包括,不完备、不精确知识的推理，模糊知识的推理，非单调性推理,等。,不确定性推理从不确定性的初始证据（即事实）出发，通过运用不确定性的知识，最终推出具有一定程度不确定性的结论。,不确定性推理不确定性推理,不确定性推理,为什么要采用不确定性推理,所需知识不完备或问题的背景知识不足,所需知识描述不精确或模糊,多种原因导致同一结论或解题方案不唯一,不确定性推理的基本问题,1.,不确定性的表示,2.,不确定性的匹配,3.,组合证据的不确定性的计算,4.,不确定性的更新,5.,不确定性结论的合成,不确定性推理为什么要采用不确定性推理,不确定性的表示,知识的不确定性的表示,考虑因素：,1.,问题描述能力,;2.,推理中不确定性的计算,含义：,知识的确定性程度，或静态强度,表示：,用概率，,0,1,，,0,接近于假，,1,接近于真,用可信度，,-1,1,，大于,0,接近于真，小于,0,接近于假,证据的非精确性表示,证据来源：,初始证据，中间结论,表示：,用概率或可信度,不确定性的表示知识的不确定性的表示,不确定性的表示,不确定性的匹配,含义：,不确定的前提条件与不确定的事实匹配,问题：,前提是不确定的，事实也是不确定的,方法：,设计一个计算相似程度的算法，给出,相似的限度,标志：,相似度落在规定限度内为匹配，否则为不匹配,不确定性的表示不确定性的匹配,不确定性的表示,组合证据不确定性的计算,含义：,知识的前提条件是多个证据的组合,方法：,T(E),表示证据,E,为真的程度,最大最小法：,T(E,1,AND E,2,)=minT(E,1,),T(E,2,),T(E,1,OR E,2,)=maxT(E,1,),T(E,2,),概率法：在事件之间完全独立时使用,T(E,1,AND E,2,)=T(E,1,)T(E,2,),T(E,1,OR E,2,)=T(E,1,),T(E,2,),T(E,1,)T(E,2,),有界法：,T(E,1,AND E,2,)=max0,T(E,1,),T(E,2,),1,T(E,1,OR E,2,)=min1,T(E,1,),T(E,2,),不确定性的表示组合证据不确定性的计算,不确定性的表示,不确定性的更新,主要问题：,解决不确定性知识在推理的过程中，知识不确定性的累积和传递。,解决方法,已知规则前提证据,E,的不确定性,T(E),和规则的强度,F(E,H),，则结论,H,的不确定性：,T(H)=g,1,T(E),F(E,H),证据合取：,T(E,1,AND,E,2,)=g,2,T(E,1,),T,(E,2,),证据析取：,T(E,1,OR,E,2,)=g,3,T(E,1,),T,(E,2,),不确定性的表示不确定性的更新,不确定性的表示,不确定性结论的合成,主要问题：,多个不同知识推出同一结论，且不确定性程度不同,解决方法：,并行规则算法：,根据独立证据,E,1,和,E,2,分别求得结论,H,的不确定性为,T,1,(H),和,T,2,(H),，则证据,E,1,和,E,2,的组合导致结论,H,的不确定性：,T(H)=gT,1,(H),T,2,(H),函数,g,视不同推理方法而定,不确定性的表示不确定性结论的合成,不确定性的表示,不确定性推理的类型,模糊推理,基于概率的方法,主观,Bayes,方法,不,确定性理论,证据理论,数值方法,非数值方法,不确定性推理,框架推理,语义网络推理,常识推理,不确定性的表示不确定性推理的类型模糊推理基于概率的方法主观B,内容提要,第四章：非经典推理,1.,经典推理和非经典推理,2.,不确定性推理,3.,概率推理,4.,主观贝叶斯方法,5.,可信度方法,6.,证据理论,内容提要第四章：非经典推理1.经典推理和非经典推理2.不确定,概率推理,概率论基础回顾,样本空间：,在概率论中，把试验中每一个可能出现的结果称为试验的一个样本点，由全体样本点构成的集合称为样本空间。通常，用,D,表示样本空间。,随机事件：,由样本点构成的集合称为随机事件。,运算：,并事件：,事件,A,与事件,B,至少有一个发生 记为,AB,交事件：,事件,A,与事件,B,同时发生 记为,AB,互逆事件：,事件,A,与,B,之间满足,AB=,AB=D,概率推理概率论基础回顾,概率推理,概率论基础回顾,统计概率：,在同一组条件下所进行大量重复试验时，如果事件,A,出现的频率总是在区间,0,1,上的一个确定常数,p,附近摆动，并且稳定于,p,，则称,p,为事件,A,的统计概率，记为,P(A),。,条件概率：,设,A,与,B,是两个随机事件，,P(B)0,，则称：,P(A|B)=P(AB)/P(B),为在事件,B,发生的条件下事件,A,的条件概率。,概率推理概率论基础回顾,概率推理,概率论基础回顾,全概率公式：,设事件,A,1,A,2,A,n,满足：,任意两个事件都互不相容，即当,ij,时，有,A,i,A,j,=,(i=1,2,n,；,j=1,2,n),；,P(A,i,)0(i=1,2,n);,则对任何事件,B,由下式成立：,该公式称为,全概率公式,，它提供了一种计算,P(B),的方法。,A,1,A,2,A,3,A,n,概率推理概率论基础回顾则对任何事件B由下式成立：该公式称为,概率推理,全概率公式示例：,有人从外地赶来参加会议，乘火车、船、汽车、飞机来的概率分别为,0.3,，,0.2,，,0.1,，,0.4,，迟到的概率分别为,0.25,，,0.3,，,0.1,，,0,；求他迟到的概率。,解：,记,A,1,=,他乘火车来，,A,2,=,他乘船来，,A,3,=,他乘汽车来，,A,4,=,他乘飞机来，,B,=,他迟到。,易见：,A,1,A,2,A,3,A,4,构成一个完备事件组，由全概率公式得,概率推理全概率公式示例：有人从外地赶来参加会议，乘火车、船、,概率推理,概率论基础回顾,贝叶斯（,Bayes,）公式：,设事件,A,1,A,2,A,n,满足全概率公式的条件，则对任何事件,B,有下式成立：,该定理称为,Bayes,定理,，上式称为,Bayes,公式,。,Bayes,定理给出了用逆概率,P,(,B,|,A,i,),求原概率,P,(,A,i,|,B,),的方法。,概率推理概率论基础回顾该定理称为Bayes定理，上式称为Ba,概率推理,贝叶斯公式示例：,某医院对某种疾病有一种看起来很有效的检验方法，,97%,的患者检验结果为阳性，,95%,的未患病者检验结果为阴性，设该病的发病率为,0.4%,现有某人的检验结果为阳性，问他确实患病的概率是多少？,解：,A:,患病，,:,未患病，,B:,阳性，,:,阴性,概率推理贝叶斯公式示例：某医院对某种疾病有一种看起来很有效的,概率推理,概率推理方法,设有如下产生式规则：,IF,E,THEN,H,其中，,E,为前提条件，,H,为结论。,条件概率,P(H|E),可以作为在证据,E,出现时结论,H,的确定性程度，即规则的,静态强度,。,把贝叶斯方法用于不精确推理的思想,已知前提,E,的概率,P(E),和结论,H,的先验概率,P(H),已知,H,成立时,E,出现的条件概率,P(E|H),利用规则推出,H,在,E,出现的条件下的后验概率：,概率推理概率推理方法,概率推理,概率推理方法,对于一组产生式规则：,IF,E,THEN,H,i,一个前提条件,E,支持多个结论,H,1,H,2,.,H,n,同样有后验概率如下（,H,i,确定性的程度，或规则的静态强度）：,概率推理概率推理方法,概率推理,概率推理方法,对于有多个证据,E,1,E,2,E,m,和多个结论,H,1,H,2,.,H,n,并且每个证据都以一定程度支持结论的情况，上面的式子可进一步扩展为,:,概率推理概率推理方法,概率推理,概率推理方法举例,例,1,：,设,H,1,H,2,H,3,分别是三个结论，,E,是支持这些结论的证据。已知：,P(H,1,)=0.3,；,P(H,2,)=0.4,；,P(H,3,)=0.5,P(E|H,1,)=0.5,；,P(E|H,2,)=0.3,；,P(E|H,3,)=0.4,求,P(H,1,|E),P(H,2,|E),及,P(H,3,|E),的值各是多少？,解：,概率推理概率推理方法举例,概率推理,概率推理方法举例,同理可得：,P(H,2,|E)=0.26,P(H,3,|E)=0.43,观察：,(,注：,P(E)=0.47),P(H,1,)=0.3,P(E|H,1,)=0.5,P(H,1,|E)=0.32,P(H,2,)=0.4,P(E|H,2,)=0.3,P(H,2,|E)=0.26,P(H,3,)=0.5,P(E|H,3,)=0.4,P(H,3,|E)=0.43,结论：,由于,E,的出现，,H,1,成立的可能性增加，,H,2,和,H,3,成立的可能性不同程度的下降。,概率推理概率推理方法举例,概率推理,概率推理方法举例,例,:2,：,设,H,1,H,2,H,3,分别是三个结论，,E,1,E,2,是支持这些结论的证据。已知：,P(H,1,)=0.4,；,P(H,2,)=0.3,；,P(H,3,)=0.3,P(E,1,|H,1,)=0.5,；,P(E,1,|H,2,)=0.6,；,P(E,1,|