一种扩展的处理不确定因果关系类信息的智能系统的构造
方法
技术领域
本发明涉及智能信息处理技术,是对已授权专利《一种处理不确定因果关系类信息的只能系统的构造方法》(专利号:ZL 2006 8 0055266.X)、《METHOD FOR CONSTRUCTINGAN INLLIGENT SYSTEM PROCESSING UNCERTAIN CAUSAL RELATIONSHIP INFORMATION》(专利号:US 8,255,353 B2)和《一种基于动态不确定因果图的启发式检测系统异常原因的方法》(专利号:ZL 2016 1 0282052.1)中所记载的技术方案的进一步扩展。使用本发明提出的技术方案,通过计算机处理,可进一步提升被称为动态不确定因果图DUCG(DynamicUncertain Causality Graph)的因果知识表达和运用能力,使之更加满足实际需求、更加方便准确地诊断对象系统异常的原因,从而有利于人们在对象系统异常的情况下采取有效措施,使之尽快恢复正常。
背景技术
如已授权专利《一种处理不确定因果关系类信息的只能系统的构造方法》、《METHOD FOR CONSTRUCTING AN INLLIGENT SYSTEM PROCESSING UNCERTAIN CAUSALRELATIONSHIP INFORMATION》和《一种基于动态不确定因果图的启发式检测系统异常原因的方法》所记载,工业系统、社会系统和生物系统(简称对象系统)中存在大量导致系统异常的原因事件,例如线圈短路、泵故障停转、零部件失效、子系统失灵、传导通路阻塞、异物进入、某组织或机体发生变异、坏死、被污染、感染、伤害或自然失效等,称为事件变量,可用Bi或BXk表示,k为事件变量标号、Bkj或BXkj为变量Bi或BXk的j状态。如图1和图2所示,Bk、Bkj、BXk和BXkj可分别用图形或或 或或表示,Bk和BXk的区别在于Bk为根原因变量,没有输入,而BXk有输入,可受其他因素影响,BXk是受影响后的Bk。通常j=0表示Bk或BXk处于正常状态;j=1、2、3…表示Bk或BXk处于各种异常状态。
如果图形中只有一个数字,该数字代表变量标号,变量状态未知。为方便起见,kj之间可用逗号隔开(下同)。对于变量处于某状态,用等号表达,例如Bk=Bkj、BXk=BXkj。
Bk和BXk的状态多数情况下不能直接检测,或难以直接检测,是DUCG智能系统需要推断其是否处于异常状态的变量。
此外,系统中还存在大量与Bk或BXk有确定或不确定因果关系的变量,如温度、压力、流量、速度、频率、开关状态、各种化验或物理试验结果、调查结果、影像学结果、感觉、症状、体征、所处地域、时间、环境、季节、宗教、肤色、经历、血缘关系、嗜好、性格、居住条件、工作条件等,称为中间或结果变量,可以用Xy表示,y=0、1、2、…。Xyg为Xy的g状态。通常g=0表示Xy处于正常状态,g≠0表示Xy处于标号为g的异常状态。X变量有至少一个输入(原因)变量,可以有或没有输出(结果)变量。如图1和图2所示,Xy和Xyg可分别用图形符号或或表示。
采用DUCG技术方案,人们可通过检测X类型变量的状态来获取证据E,以推断系统异常的原因Bkj或BXkj(j≠0),从而及时采取有效措施,使系统恢复正常。E由至少一个X变量的已知状态Xyg构成,例如E=X1,2X2,3X3,1X4,0X5,0。
DUCG智能推理就是求解Pr{Hkj|E}=Pr{HkjE}/Pr{E},其中Hkj为假设事件,通常为DUCG中定义的待求的变量状态组合,例如H1,2=B1,2、H2,1=BX2,1、H3,2=BX3,2X4,1等等,Hkj中的下标k表示变量组合,例如H1=B1、H2=BX2、H3=BX3X4、等等;Hkj中的下标j表示Hk中变量的状态组合,如上例。将所有在E条件下的可能假设事件Hkj的集合用SH表示,则有Hkj∈SH。
DUCG中还定义了如下变量:
逻辑门变量,可用Gi表示,至少有两个输入变量和一个输出变量。Gij表示Gi的j状态。Gi用以表达输入变量各种所关注状态的逻辑组合,这些逻辑组合用逻辑门说明表LGSi说明。例如G1用LGS1说明:G1,1=B3,1X1,1,G11,2=B3,1X1,2,G1,0=其它情况(剩余状态),等等。GijGij,=0(空集,其中j≠j’),也就是说,G的不同状态互斥。如上述专利文献附图所示,Gi和Gij可分别用图形符号或 或表示。
缺省原因变量,可用D表示,是对应的X变量的原因变量之一。例如D4是X4的缺省原因变量。Pr{Di}≡1。如图1所示,Di可用图形或表示。
B、X、BX、D和G变量可称为节点,变量本身及其各种状态的物理意义可以根据所描述对象定义。其中B、X、BX、D和G为直接原因变量时,称为父变量,可用V统一表达,V∈{B,X,BX,D,G},下标不变。例如V2=X2,V3,2=B3,2,等等。结果变量只能是X或BX变量。变量的一个状态就是一个事件。例如Xyg、Bkj、BXkj、Gij、Hkj或Vij等都是事件。
DUCG是由上述变量以及变量之间确定或不确定的因果关系构成的,通常用图形符号来表示。一个DUCG示例如图1所示,其中B变量或事件用矩形表示;X变量或事件用圆形表示;BX变量或事件用双圆表示;G变量或事件用逻辑门表示,并用有向弧将输入变量与Gi相连;D变量用五边形表示。
作用变量Fn;i是表达父变量Vi与子变量Xn或BXn之间的因果关系矩阵,可用有向弧→或其它图形符号表示,从原因指向结果,矩阵中的元素称为作用事件Fnk;ij,表达父事件Vij与子事件Xnk或BXnk之间的因果关系,Fnk;i表达父变量Vi与子事件Xnk之间的因果关系,Fn;ij表达父事件Vij与子变量Xn或BXn之间的因果关系。Fnk;ij≡(rn;i/rn)Ank;ij。其中rn;i>0为父变量Vi与子变量Xn或BXn之间的因果关系强度,rn≡∑irn;i,Ank;ij为Vij导致Xnk或BXnk发生这一随机事件,ank;ij≡Pr{Ank;ij},满足fnk;ij≡Pr{Fnk;ij}≡(rn;i/rn)ank;ij。fnk;ij是Vij对Xnk的权重概率的贡献值,满足Fnk;ij、fnk;ij、Ank;ij、ank;ij分别是矩阵Fn;i、fn;i、An;i、an;i的元素。vij=Pr{Vij},v∈{b,x,bx,d,g},Vij和vij分别是事件向量Vi和参数向量vi的元素。当原因变量为Di时,Fnk;ij≡Fnk;iD,此时j=D。其它因果关系变量的表达类似。
Fnk;ij可以是条件作用事件,用虚线有向弧表示。条件作用事件表达其原因事件Vij与结果事件Xnk或BXnk之间是条件作用关系,即根据条件事件Znk;ij是否满足来判定Fnk;ij是否成立。例如Znk;ij=X1,2,当X1,2为真时,Znk;ij满足、Fnk;ij成立;当X1,2非真时,Znk;ij不满足、Fnk;ij不成立。当同一对父子变量之间的条件因果作用关系成立的条件事件相同时,该条件事件统一用Zn;i来表示,例如Zn;i=X1,2,当X1,2为真时,Zn;i满足、Fn;i成立、成为→;当X1,2非真时,Zn;i不满足、Fn;i不成立、被删除。
为方便起见,全集记为1,空集记为0。上述变量及其状态也可以选择用其它图形或符号表示。
当收到证据E后,可采用下述规则对DUCG进行化简:
规则1:如果E显示Znk;ij或Zn;i不满足,将Fnk;ij或Fn;i从DUCG中删除,当E显示Znk;ij或Zn;i已经满足,虚线的Fnk;ij或Fn;i成为实线的Fnk;ij或Fn;i。
规则2:如果E显示Vij(V∈{B,X})为真,但Vij却不是Xn或BXn的父事件,将Fn;i从DUCG中删除。
规则3:如果E显示Xnk为真,但Xnk不可能被Vi(V∈{B,X,BX,G,D})的任何状态引起,将Fn;i从DUCG中删除,除非Xnk是待求变量的下游变量,且它们之间没有已知证据阻断。
规则4:如果E显示{B,X}类型节点状态未知且无输出有向弧,将该节点及其输入有向弧从DUCG中删除。
规则5:如果E显示Xn0为真,且Xn0与异常证据E’无任何连通关系,将Xn0从DUCG中删除,除非Xn0是待求B或BX变量的下游(结果)变量,且中间没有任何状态已知变量阻断。
规则6:如果E显示一组状态未知节点除非通过Xn0,否则不与Xnk(k≠0)相连,将这组状态未知节点及与之相连的有向弧和D节点从DUCG中删除。
规则7:因任何原因导致Gi没有输出,将Gi及其输入有向弧从DUCG中删除;
当Gi没有输入,将Gi及其输出有向弧从DUCG中删除。
规则8:当有向弧没有父节点或没有子节点,将这条有向弧从DUCG中删除。
规则9:当存在一组节点和有向弧与E中涉及的节点无连通关系,将这组节点和有向弧从DUCG中删除。
规则10:如果E显示异常状态Xnk为真,但Xnk因任何原因没有输入,对Xnk增加一个虚拟事件Dn作为其输入,在从Dn到Xnk的有向弧中,ank;nD=1且ank’;nD=0,k’≠k,rn;D可以为任何值。Dn可用符号或表示。
规则11:如果E显示存在一组状态正常的X类型事件Xn0∈SI(下标0代表正常状态),它们仅与状态未知变量相连,这些状态未知变量被Xn0∈SI阻断而不与其它状态已知变量相连,且不包含已确定的假设事件Hkj,则将这组状态未知变量和Xn0∈SI删除,但当Xn是被关注的假设事件Hkj的结果变量且中间无已知证据事件阻断时,Xn0不被删除。
规则12:上述规则可以按照任何顺序单独使用、联合使用、重复使用。
根据化简后的DUCG图,可进一步假定其中某个B变量成立时,其他B变量均不成立,从而将化简图分解为各个子化简图,并按照上述化简规则进一步化简。有些子图在化简后,B或BX变量没有了下游异常证据,则该子图被删掉。剩下的子图中的B或BX变量的异常状态构成系统异常的可能原因事件空间SH。通常由Bkj或BXkj(k≠0)构成。对Hkj∈SH,求Hkj=Bkj或Hkj=BXkj(k≠0)的验后概率:ζk=Pr{E|子图k}。进而可以求出归一化排序概率:根据和人们即可知道系统异常的可能原因和排序,从而采取正确的应对措施,使系统尽快恢复正常。
为了解决有效收集证据的问题,专利文献《一种基于动态不确定因果图的启发式检测系统异常原因的方法》(专利号:ZL 2016 1 0282052.1)提出了推荐检测状态未知的X变量状态的方法,从而使上述证据E更加丰富有效,以便更加准确地进行推理判断。在该专利文献权利要求5中,在计算待检测变量Xi的概率重要度ρi时,采用了多种计算公式,例如:
在这些计算公式中,ωk均与下标j无关,即与根原因变量的异常状态无关。但实际上,根原因变量的不同异常状态的受关注程度应当有所不同。
上述技术方案还存在如下限制:(1)GijGij′=0(j≠j’),这对表达逻辑组合提出了严格的要求。当人们只是考虑各种影响因素Xnk的组合对Bi各状态的概率分布的影响时,希望组合方式更加灵活、不受或少受上述限制;(2)其中包含ank;ij≤1。但有时a参数的意义为放大或缩小事件发生概率的倍率,因而ank;ij和均可能大于1;(3)逻辑门G只考虑了其输入变量的状态组合。但有时人们需要表达逻辑门的输出变量的状态组合;(4)实际应用中存在某些X类型变量,称为特异性变量,一旦其异常状态被观测到,其对应的B或BX类型的根原因就可以确定,不需要进行复杂的概率推理;(5)DUCG根据E来推理,但有时X变量状态的异常并不是由于当前的B或BX引起的,而是由于其他未知原因引起的。对不同X的不同状态,人们关注其是否能被解释的程度是不同的。因此需要定义Xnk(k≠0)的关注度及其参与计算的方法,以便达到在其他条件相同的情况下,不可解释的状态异常X类型证据越多,相对应的B或BX是当前系统异常原因的可能性就越小。
为此,本发明提出了扩展的技术方案来解决上述问题。
本发明既有技术参考文献:
[1]中国发明专利:“一种处理不确定因果关系类信息的智能系统的构造方法”,专利号:ZL 2006 8 0055266.X;授权日期:2010年4月14日;权利人:张湛;发明人:张勤、张湛。
[2]美国发明专利:“Method for constructing an intelligent systemprocessing uncertain causal relationship information”;专利号:US 8255353 B2;授权日期:2012年8月28日;权利人:张湛;发明人:张勤、张湛。
[3]中国发明专利:“一种构造立体DUCG智能系统用于动态故障诊断的方法”;专利号:ZL 2013 1 0718596.4;授权日期:2015年4月15日;权利人:张湛、北京清能创新科技有限公司;发明人:张勤、董春玲。
[4]中国发明专利:“一种基于动态不确定因果图的启发式检测系统异常原因的方法”;专利号:ZL 2016 1 0282052.1;授权日期:2015年2月;权利人:北京清睿智能科技有限公司;发明人:张勤。
[5]Q.Zhang.“Dynamic uncertain causality graph for knowledgerepresentation and reasoning:discrete DAG cases”,Journal of Computer Scienceand Technology,vol.27,no.1,pp.1-23,2012.
[6]Q.Zhang,C.Dong,Y.Cui and Z.Yang.“Dynamic uncertain causality graphfor knowledge representation and probabilistic reasoning:statistics base,matrix and fault diagnosis”,IEEE Trans.Neural Networks and Learning Systems,vol.25,no.4,pp.645-663,2014.
[7]Q.Zhang.“Dynamic uncertain causality graph for knowledgerepresentation and probabilistic reasoning:directed cyclic graph and jointprobability distribution”,IEEE Trans.Neural Networks and Learning Systems,vol.26,no.7,pp.1503-1517,2015.
[8]Q.Zhang.“Dynamic uncertain causality graph for knowledgerepresentation and probabilistic reasoning:continuous variable,uncertainevidence and failure forecast”,IEEE Trans.Systems,Man and Cybernetics,vol.45,no.7,pp.990-1003,2015.
[9]Q.Zhang and S.Geng.“Dynamic uncertain causality graph applied todynamic fault diagnosis of large and complex systems”,IEEE Trans.Reliability,vol.64,no.3,pp 910-927,2015
[10]Q.Zhang and Z.Zhang.“Dynamic uncertain causality graph applied todynamic fault diagnoses and predictions with negative feedbacks”,IEEETrans.Reliability,vol.65,no.2,pp 1030-1044,2016.
[11]Q.Zhang&Q.Yao.Dynamic Uncertain Causality Graph for KnowledgeRepresentation and Reasoning:Utilization of Statistical Data and DomainKnowledge in Complex Cases.IEEE Trans.Neural Networks and Learning Systems,DOI:10.1109/TNNLS.2017.2673243,2017.
发明内容
本发明公开了一种技术方案,进一步扩展了已授权中国发明专利ZL 2006 80055266.X、ZL 2016 1 0282052.1、美国发明专利US 8255353 B2以及上述文献所公开的DUCG技术方案。
本发明的技术方案如下:
1、一种通过利用一种计算机可读存储介质,其特征在于:所述存储介质上存储有计算机程序,所述计算机程序被执行时,能够执行如下处理不确定因果关系类信息的智能系统的构造和推理方法,该方法在既有DUCG技术方案的基础上,增加了表达和推断对象系统异常原因Bk的方法,增加的内容包括:(1)用一种新的逻辑门SGk和新的由事件矩阵构成的作用变量SAk;k来表达证据Xyg及其组合对Bk各状态发生概率的直接影响,影响后的Bk用BXk来表示,Xy和Bk是SGk的输入,事件矩阵SAk;k是SGk的输出,指向BXk,SAk;k的成员事件为SAkj;kn;(2)用反向逻辑门RGi来表达原因变量各状态与一个以上结果变量的状态组合之间的逻辑关系,并根据结果变量的有意义的状态证据组合确定反向逻辑门的状态,并据所确定的反向逻辑门的状态进行DUCG推理;(3)用变量SXy来表达与某特定的B变量的某异常状态对应的特异性X变量,当观测到SXyg(g≠0)时,不需要对SXyg进行推理计算即判定其对应的B变量的对应异常状态发生;(4)用Xyg或SXyg的关注度εyg(g≠0)来表达Xyg或SXyg不能被推理结果Hkj解释而导致Hkj成立的可能性下降的程度,并用εyg参与Hkj的状态概率计算,使得参与计算的εyg越多、值越大,Hkj成立的可能性越小;(5)用Bk的异常状态Bkj的危险度μkj来表达Bkj对系统的危害程度,使得μkj越大,检测对确定Bk的状态有帮助的X类型变量状态的需求越大。
2、如1(1)所述,其特征还在于:1)当Bk=Bkj时,BXk=BXkj,反之亦然;2)用某种图形符号表达标号为k的特殊逻辑门SGk,用一种有向弧表达从Bk或Xy指向SGk的输入关系;3)用另一种有向弧表达SAk;k,从SGk指向BXk;4)sakj;kn≡Pr{SAkj;kn}代表将Pr{Bkj}放大或缩小为Pr{BXkj}的缩放倍率,不受Pr{SAki;kn}≤1的限制;5)SAk;k可以是条件事件矩阵,用与3)的有向弧有区别的有向弧表达,从SGk指向BXk,其条件事件用Zk;k表示,是一个可观测事件,当Zk;k成立时,SAk;k被删掉,否则将其保留成常规SAk;k;6)在SGk的逻辑门说明表LGSk中,用事件组合式n来表达SGkn的X类型输入事件的标号为n≠1的事件组合;7)当n=1时,SGk1的事件组合式为其它标号事件组合式的剩余状态,剩余状态也可以用n≠1的其它标号来标识;8)对n按优先顺序排序;9)根据现场收集到的X类型证据依n的排序与事件组合式n进行匹配,一旦事件组合式n被匹配上,即确定SGk=SGkn;10)当匹配上的n是例如0的特殊标号时,Bk不成立,此时Bk和SGk及其输入和输出有向弧可以被删除;11)不在事件组合式n中的SGkn输入端的状态未知或正常的X变量的指向SGkn的有向弧可以被删除;12)当匹配上的n不是上述特殊标号时,把Pr{Bkj|E}替换为Pr{BXkj|E},BXkj=SAkj;knBkj,从而Pr{Bkj|E}=sakj;knbkj,其中E为收集到的证据。
3、如1(2)所述,其特征还在于:1)反向逻辑门RGi可用某种图形符号表示,有至少一个输入变量,用从输入变量指向RGi的F类型有向弧连接,有不少于两个输出变量,用从RGi指向输出变量的有向弧连接;2)RGin为RGi的标号为n的状态,代表标号为n的输出变量的状态组合,用事件组合式n表达;3)推理中,RGin作为一个X类型事件进行DUCG逻辑展开;4)当n是例如0的特殊标号时,表示有意义的输出变量状态组合不存在,将RGi0及其输入和输出有向弧删掉;5)对n按照优先程度排序,当收到证据E后,按照n的优先顺序进行RGin的事件组合式匹配,一旦匹配上,即确定RGi=RGin;6)RGi输出的F类型有向弧中的a参数可以根据RGi的LGSi自动生成,生成的规则为:考察RGin的事件组合式中是否有Xyg,若有,则ayg;in=1,即Ayg;in=1,否则ayg;in=0或“-”,即Ayg;in=0。
4、如1(4)所述,其特征还在于:1)εyg仅在Hkj在其所在的DUCG子图k中不能作为原因解释证据Xyg或SXyg时才参与Hkj的状态概率的计算;2)εyg参与计算的方式为:在对Hkj所在标号为k的子图的权重系数的计算中,在计算ζk时,(εyg越大、值越小的算式),其中S1为在子图k中能够被Hkj解释的证据标识的集合,S2为在子图k中不能被Hkj解释的Xyg或SXyg类型的证据标识的集合。
5、如1(5)所述,其特征还在于:1)在计算待检测变量Xi的概率重要度ρi时,用μkj替代ωk,2)在计算概率重要度ρi时,将μkj放到对ρi的计算公式的下标j的内层,包括但不限于将
改为
或
其中Jk为Bk的异常状态数。
附图说明
图1DUCG示例;
图2收到证据E=X6,2X7,1X14,1后的简化表达的图1;
图3例1中的新型DUCG图;
图4E=X1,1X2,1时图3的情况;
图5例2中收到证据后的情况;
图6按照权利要求2-9)化简图5的结果;
图7收到证据E=1后的图3;
图8图7的进一步化简结果;
图9图8的进一步化简结果;
图10图9的进一步化简结果;
图11SAk;k为条件作用变量的情况;
图12SAk;k被删除的情况;
图13反向逻辑门的示例;
图14收到E=X1,1X2,1X4,1X5,1后的图13;
图15反向逻辑门的另一个示例;
图16收到E=X1,1X2,1X4,1X5,1后的图15;
图17收到E=X2,1X4,1X5,1SX8,1后的DUCG子图;
图18基于E=X1,1X2,1X4,1X5,1X6,2X7,1化简后的DUCG子图。
具体实施方式
例1
如图3所示,SGk用图形符号表达,SGkj用图形符号表达,其输入用有向弧用表达,SAk;k用有向弧表达。在Bkj和BXkj中,j∈{0,1,2}。根据权利要求1(1)和2,X1、X2和X3与Bk共同构成了SGk的输入变量,BXk为SGk的输出变量,由SAk;k连接,图3中内嵌了逻辑表达式LGSk(表1)、SAk;k的参数和Bk的参数。
表1图3中的LGSk
其中n=0为特殊标号;
图3中Bk的参数为:bk=(- 0.01 0.002)T,SAk;k的参数sak;k为:
其中“-”表示不关心(与0等价);sakj;kn的意义为:在基于证据E确定双线逻辑门SGk输入端的X类型变量状态组合为LGSk中的事件组合式n的情况下,Pr{Bkj}=bkj被缩放为Pr{BXkj}的倍率,也是就是说,对每个E,sak;k中只有一列参数参与运算。例如当E确定n=2时,只有sak;k2=(- 10 2)T参与运算。
设Hkj=Bkj、E=X1,1X2,1、n的排序为0、3、2、1。根据权利要求2-9),当收到E后,按照n的排序进行事件组合式匹配,结果SGk2=X1,1X2,1被匹配上,所以SGk2为真。由于X3不在E中,按照权利要求2-11),X3的输入和输出被删掉。最后,图3化简为图4(其中状态的颜色可以自由定义)。
基于图4,根据权利要求1(1)和2-12),我们有
当j=0时,Pr{Hk0|E}=sak0;k2bk0=“-”ד-”=“-”;
当j=1时,Pr{Hk1|E}=sak1;k2bk1=10×0.01=0.1;
当j=2时,Pr{Hk2|E}=saka;k2bk2=2×0.002=0.004。
采用DUCG中定义的“*”算符,以上可简写为:
其中算符“*”在DUCG中的定义是将两个行数相同矩阵的相同行的事件或数据进行逻辑与或相乘的运算(详见参考文献[6])。
例2
除E=X1,0外,其它与例1相同。按照n的排序和表1,SGk0=X1,0∪X2,0X3,0被匹配上。于是图3成为图5。
按照权利要求2-10),Bk和SGk0及其输入和输出有向弧均被删除,成为图6。设X1,0为X1的正常状态,按照DUCG的化简规则,图6中的所有变量均被删掉,即图6被删掉,Bk也就被删掉了,即Bk的异常状态不存在,不再需要进行后续计算。
例3
除E=1(全集)外,其它与例1相同。E=1表示X1、X2和X3的状态均未知,在表1中仅匹配剩余状态。因此SGk1成立,图3成为图7。根据权利要求2-11),图7被化简为图8。根据DUCG的化简规则,图8进一步化简为图9。
由于SGk=SGk1,从表1可知,sak0;k1=“-”,sak1;k1=sak2;k1=1。根据权利要求2-12),与例1的计算类似,我们有
Pr{Hk0|E}=sak0;k2bk0=“-”ד-”=“-”;
Pr{Hk1|E}=sak1;k2bk1=1×0.01=0.01;
Pr{Hk2|E}=sak2;k2bk2=1×0.002=0.002。
也就是说,BXk的状态概率分布与Bk完全相同。在这种情况下,Bk完全等同于BXk,因此可以用Bk替代BXk。也就是图9可以被进一步化简为图10。
例4
将图3改为图11,Zk;k=X1,0∪X2,0X3,0,E=X1,0,其余不变,其中用表达权利要求2-5)所述有向弧。
根据权利要求2-5),E使得Zk;k成立,SAk;k被删掉,图11变成图12。再应用DUCG的化简规则,整个图12(包括Bk)也被删掉,不再需要后续计算。本例与例2等价,只是采用了不同的表达方式,所以结果相同。
例5
权利要求1和3所述之反向逻辑门的情况如图13所示,其中反向逻辑门RGi用图形符号表示,RGin用图形符号表示,BXk是反向逻辑门RGi的输入,X4和X5是RGi=(RGi0 RGi1 RGi2)T的输出,LGSi如表2所示:
表2图13中的LGSi
此外,对n的排序为3、2、1、0,其它与例1相同。
根据权利要求3-6)和表2,生成
设E=X1,1X2,1X4,1X5,1,根据LGSi,RGi=RGi3,图13成为图14。基于图14,根据DUCG的展开方法,从下游往上游逐步展开:
X4,1=F4,1;i3RGi3=A4,1;i3RGi3在只有一个输入的情况下,r参数不起作用
X5,1=F5,1;i3RGi3=A5,1;i3RGi3
X4,1X5,1=A4,1;i3RGi3A5,1;i3RGi3
=(A4,1:i3*A5,1;i3)RGi3
由于a4,1;i3=a5,1;i3=1,即A4,1;i3=A5,1;a=1,上式为
X4,1X5,1=(A4,1;i3*A5,1;i3)RGi3
=RGi3
=Ai3;kBXk
=Ai3;k(SAk;k2*Bk)此处用到了权利要求2-12)
其中为方便起见,采用了DUCG中的*算符,定义已如例1所述。
进而,
X1,1=F1,1;1DD1=A1,1;1DD1
X2,1=F2,1;2DD2=A2,1;2DD2
E=X1,1X2,1X4,1X5,1
=A1,1;1DD1A2,1;2DD2Ai3;k(SAk;k2*Bk)
设Hkj=Bkj,我们有
当j=0时,
当j=1时,
当j=2时,
例6
如图15所示,与图13比较,RGi的输出有向弧改为a4;i和a5;i去掉,其它仍如例5所示,即仍有E=X1,1X2,1X4,1X5,1,根据LGSi,RGi=RGi3,图15成为图16。
根据权利要求3-3),RGi3被作为证据纳入E中进行展开,即E=X1,1X2,1X4,1X5,1RGi3。其中X4,1和X5,1的上游由于没有F类型有向弧,展开终止,对E=X1,1X2,1X4,1X5,1RGi3的展开等价于对E=X1,1X2,1RGi3的展开。其实在例5中也有X4,1X5,1=RGi3,所以最后的计算结果与例5完全相同。
例7
如图17所示,其中E=X1,1X2,1X3,1X4,1X5,1SX8,1。与图13比较,缺少了证据X1,1,增加了特异性证据SX8,1。设SX8,1的对应Bk的状态为Bk2。根据权利要1和4,可知Pr{Bk2|E}=1。
例8
如图18所示。
图18与图13的唯一区别在于图18多了两个不能被B或BX变量解释的证据X6,2和X7,1。设a1,1;1D=0.4、a2,1;2D=0.5、关注度ε按照百分制打分,X6,2的关注度ε6,2=20,X7,1的关注度ε7,1=10,取“εyg越大、值越小的算式”=1/εyg。根据权利要求5,S1={X1,1,X2,1,X4,1,X5,1},S2={X6,2,X7,1}。于是有