×

编译关系贝叶斯网络进行精确推理。 (英语) Zbl 1096.68747号

摘要:我们在本文中描述了一个使用关系贝叶斯网络进行精确推理的系统,该网络在公共可用的Primula工具中定义。该系统基于将关系贝叶斯网络的命题实例编译成算术电路,然后通过评估和区分这些电路在时间上的线性大小来进行在线推理。我们报告了在关系贝叶斯网络上成功编译和有效推理的实验结果,该网络的Primula生成的命题实例具有数千个变量,其连接树具有数百个变量的簇。

MSC公司:

68层37 人工智能背景下的不确定性推理

软件:

报春花属
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

参考文献:

[1] Jensen,F.V。;Lauritzen,S。;Olesen,K.,局部计算递归图形模型中的贝叶斯更新,《计算统计季刊》,4269-282(1990)·Zbl 0715.68076号
[2] Darwiche,A.,贝叶斯网络中推理的微分方法,ACM杂志,50,3,280-305(2003)·Zbl 1325.68226号
[3] F.Jensen,S.K.Andersen,《基于知识系统的贝叶斯信念宇宙近似》,摘自:《人工智能不确定性会议论文集》,马萨诸塞州剑桥,1990年,第162-169页。;F.Jensen,S.K.Andersen,《基于知识系统的贝叶斯信念宇宙近似》,摘自:《人工智能不确定性会议论文集》,马萨诸塞州剑桥,1990年,第162-169页。
[4] Park,J。;Darwiche,A.,联合树算法的差异语义,人工智能,156197-216(2004)·Zbl 1085.68685号
[5] Breese,J.S。;Goldman,R.P。;Wellman,M.P.,概率决策模型基于知识构建专题介绍,IEEE系统、人与控制论汇刊,24,11,1577-1579(1994)
[6] 佐藤,《具有分布语义的逻辑程序的统计学习方法》,载于:《国际逻辑程序设计会议论文集》,1995年,第715-729页。;佐藤(T.Sato),《具有分布语义的逻辑程序的统计学习方法》(A statistical learning method for logic programmes with distribution semantics),载于:《逻辑编程国际会议论文集》(ICLP),1995年,第715-729页。
[7] Muggleton,S.,《随机逻辑程序》(de Raedt,L.,《归纳逻辑程序设计进展》(1996),IOS出版社),254-264
[8] K.Kersting,L.de Raedt,《迈向归纳逻辑编程与贝叶斯网络的结合》,载于:《国际归纳逻辑编程会议论文集》,Springer演讲笔记,AI 2157,2001年。;K.Kersting,L.de Raedt,《走向归纳逻辑编程与贝叶斯网络的结合》,载于:《国际归纳逻辑编程会议论文集》,Springer演讲笔记,AI 21572001年·Zbl 1006.68518号
[9] K.B.Laskey,S.M.Mahoney,《网络碎片:代表构建概率模型的知识》,载于:《人工智能不确定性会议论文集》,加利福尼亚州旧金山,1997年,第334-341页。;K.B.Laskey,S.M.Mahoney,《网络碎片:代表构建概率模型的知识》,载于:《人工智能不确定性会议论文集》,加利福尼亚州旧金山,1997年,第334-341页。
[10] D.Koller,A.Pfeffer,概率框架系统,收录于:《全国人工智能会议论文集》,1998年,第580-587页。;D.Koller,A.Pfeffer,概率框架系统,收录于:《全国人工智能会议论文集》,1998年,第580-587页。
[11] N.Friedman,L.Getoor,D.Koller,A.Pfeffer,学习概率关系模型,收录于:国际人工智能联合会议(IJCAI),1999年。;N.Friedman,L.Getoor,D.Koller,A.Pfeffer,学习概率关系模型,收录于:国际人工智能联合会议(IJCAI)会议记录,1999年。
[12] M.Jaeger,关系贝叶斯网络,载:D.Geiger,P.P.Shenoy(编辑),《人工智能不确定性会议论文集》,美国普罗维登斯,1997年,第266-273页。;M.Jaeger,关系贝叶斯网络,载于:D.Geiger,P.P.Shenoy(编辑),《人工智能不确定性会议论文集》,美国普罗维登斯,1997年,第266-273页。
[13] H.Pasula,S.Russell,《一阶概率语言的近似推断》,载《国际人工智能联合会议论文集》,2001年,第741-748页。;H.Pasula,S.Russell,《一阶概率语言的近似推理》,载于:《国际人工智能联合会议论文集》,2001年,第741-748页。
[14] M.Richardson,P.Domingos,马尔可夫逻辑网络,《统计关系学习和多关系数据挖掘机器学习杂志》专刊,出版社。;M.Richardson,P.Domingos,马尔可夫逻辑网络,《统计关系学习和多关系数据挖掘机器学习杂志》特刊,出版。
[15] Jaeger,M.,《递归关系贝叶斯网络的复杂概率建模》,《数学与人工智能年鉴》,第32期,第179-220页(2001年)·Zbl 1314.68302号
[16] Jaeger,M.,关于概率关系模型推理的复杂性,人工智能,117297-308(2000)·Zbl 0938.68847号
[17] D.Poole,一阶概率推理,载于:《国际人工智能联合会议论文集》,2003年。;D.Poole,一阶概率推理,载于《国际人工智能联合会议论文集》,2003年。
[18] R.de Salvo Braz,E.Amir,D.Roth,《提升一阶概率推理》,载于《国际人工智能联合会议论文集》,2005年,第1319-1325页。;R.de Salvo Braz,E.Amir,D.Roth,《提升一阶概率推断》,载于:《国际人工智能联合会议论文集》,2005年,第1319-1325页。
[19] A.Darwiche,《分解信仰网络的逻辑方法》,载于:《知识表示和推理原则国际会议论文集》,2002年,第409-420页。;A.Darwiche,《分解信仰网络的逻辑方法》,载于:《知识表示和推理原则国际会议论文集》,2002年,第409-420页。
[20] 桑·T。;Beame,P。;Kautz,H.,通过加权模型计数求解贝叶斯网络,(《全国人工智能会议论文集》,第1卷(2005年),AAAI出版社),475-482
[21] J.Huang,A.Darwiche,DPLL with A trace:from sat to knowledge compilation,in:Proceedings of the International Joint Conference on Artificial Intelligence(IJCAI),2005年,第156-162页。;J.Huang,A.Darwiche,DPLL with A trace:from sat to knowledge compilation,in:Proceedings of the International Joint Conference on Artificial Intelligence(IJCAI),2005年,第156-162页。
[22] Darwiche,A。;Marquis,P.,《知识汇编图》,《人工智能研究杂志》,第17期,第229-264页(2002年)·Zbl 1045.68131号
[23] Darwiche,A。;Marquis,P.,编译命题加权基,人工智能,157,1-2,81-113(2004)·Zbl 1085.68166号
[24] A.Darwiche,《将CNF编译成可分解否定范式的新进展》,载《欧洲人工智能会议论文集》,2004年,第328-332页。;A.Darwiche,《将CNF编译成可分解否定范式的新进展》,载《欧洲人工智能会议论文集》,2004年,第328-332页。
[25] M.Chavira,A.Darwiche,《编译具有局部结构的贝叶斯网络》,载于:《国际人工智能联合会议论文集》,2005年,第1306-1312页。;M.Chavira,A.Darwiche,《编译具有局部结构的贝叶斯网络》,载于:《国际人工智能联合会议论文集》,2005年,第1306-1312页。
[26] C.Boutiler、N.Friedman、M.Goldszmidt、D.Koller,《贝叶斯网络中的上下文特定独立性》,载于:《人工智能不确定性会议论文集》,1996年,第115-123页。;C.Boutiler、N.Friedman、M.Goldszmidt、D.Koller,《贝叶斯网络中的上下文特定独立性》,载于:《人工智能不确定性会议论文集》,1996年,第115-123页。
[27] Shachter,R.D.,《评估影响图》,运筹学,34,6,871-882(1986)
[28] Ross,S.,《通过证据逆转进行证据吸收和传播》(《人工智能不确定性会议论文集》(1990),爱思唯尔科学出版公司:爱思唯尔科学出版有限公司,纽约州纽约市)·Zbl 0721.68076号
[29] M.Chavira,D.Allen,A.Darwiche,《在概率推理中利用证据》,载于:《人工智能不确定性会议论文集》,2005年,第112-119页。;M.Chavira,D.Allen,A.Darwiche,《在概率推理中利用证据》,载于:《人工智能不确定性会议论文集》,2005年,第112-119页。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。