文章

因果概率事件语言Cp逻辑及其与逻辑程序设计的关系

在线:2009年5月1日出版历史

摘要

本文发展了一种表示概率因果律的逻辑语言。我们对这种语言的兴趣是双重的。首先,它可以作为因果知识表征的基础研究。因果关系具有内在的动态性,Shafer在其概率树框架中对因果关系进行了语义层面的研究。在这样一个动态的背景下,考虑一个领域随时间的演变,因果律作为指导这种进化的东西的想法是非常自然的。在我们的形式化中,一组概率因果律可以用简洁、灵活和模块化的方式表示一类概率树。这样,我们的工作扩展了Shafer的方法,为他的语义对象提供了一个方便的逻辑表示。其次,这种语言也与概率逻辑程序设计领域有关。特别地,我们证明了在我们的语言中,一个理论的形式语义可以等价地定义为某些逻辑程序的可靠模型上的概率分布,使得它在形式上与现有的语言如ICL或PRISM非常相似。因为我们可以用一种完全独立的方式来激发和解释我们的语言,作为概率因果律的一种表示,这就为解释这种概率逻辑程序背后的直觉提供了一种新的方式:我们可以精确地说出这样一个程序所表达的知识,非逻辑学家同样可以理解的术语。此外,我们还通过展示概率逻辑程序如何表达概率因果律,得到了一个附加的知识表示方法。

工具书类

  1. Bacchus,F.1993.使用一阶概率逻辑构造贝叶斯网络。第六届人工智能不确定性会议论文集,93年,219-226。摩根考夫曼,旧金山,美国。谷歌学者谷歌学者
  2. Baral,C.,Gelfond,M.和Rushton,N.2004.答案集的概率推理。第七届逻辑程序设计与非单调推理国际会议论文集(LPNMR-7)人工智能课堂讲稿(LNAI),第2923卷,美国纽约州斯普林格出版社,21-33页。谷歌学者谷歌学者
  3. Baral,C.,Gelfond,M.和N.Rushton,N.出版。答案集的概率推理。逻辑程序设计理论与实践 9(1) 一。剑桥大学出版社。谷歌学者谷歌学者
  4. Baral,C.和Hunsaker,M.2007。使用概率逻辑编程语言P-log进行因果和反事实推理以及非天真条件反射。IJCAI会议记录印度,海得拉巴。谷歌学者谷歌学者
  5. Baral,C.,Tran,N.和Tuan,L.,2002.概率环境下行为的推理。AAAI公司加拿大艾伯塔省埃德蒙顿市。谷歌学者谷歌学者
  6. Blockeel,H.和Meert,W.2007。通过将非递归LPAD转换为贝叶斯网络来学习它们。归纳逻辑程序设计,ILP'06,修订选文。计算机科学课堂讲稿,第4455卷,94-108卷。斯普林格·韦拉格,纽约。谷歌学者谷歌学者
  7. Breese,J.1992.信念和决策网络的构建。计算智能8(4) 公元624-647年。谷歌学者谷歌学者交叉引用交叉引用
  8. Comley,J.W.和Dowe,D.L.2003.一般贝叶斯网络和非对称语言。第二届夏威夷统计及有关领域国际会议记录美国夏威夷檀香山。谷歌学者谷歌学者
  9. 《随机逻辑程序:抽样、推理与应用》。第十六届人工智能不确定性年会论文集摩根考夫曼,旧金山,美国,115-122。谷歌学者谷歌学者
  10. De Finetti,B.1937。La prvision:ses lois logiques,ses来源主语。亨利庞加莱学院年鉴7,第1-68页。谷歌学者谷歌学者
  11. Dekhtyar,A.和Subrahmanian,V.S.2000.混合概率程序。逻辑程序设计杂志43(3) 187-250年。谷歌学者谷歌学者交叉引用交叉引用
  12. Denecker,M.1998.有根据的语义是归纳定义的原则。人工智能逻辑(JELIA'98),J.Dix,L.Fariñas del Cerro,和U.Furbach主编,人工智能课堂讲稿,第1489卷,美国纽约州斯普林格出版社,1-16。谷歌学者谷歌学者
  13. Denecker,M.和Ternovska,E.2008。非单调归纳定义的逻辑。计算逻辑学报(TOCL),纽约,美国。9(2),1-52。谷歌学者谷歌学者数字图书馆数字图书馆
  14. Denecker,M.和Vennekens,J.2007。良好基础的语义学和非单调归纳定义的代数理论。逻辑程序设计与非单调推理,第九届国际会议,2007年LPNMR会议论文集人工智能课堂讲稿,第4483卷,斯普林格,84-96。谷歌学者谷歌学者
  15. De Raedt,L.,Kimmig,A.和Toivonen,H.2007.ProbLog:概率Prolog及其在链路发现中的应用。2007年第20届人工智能国际联席会议论文集,2462-2467年。谷歌学者谷歌学者
  16. Fierens,D.,Blockeel,H.,Bruynooghe,M.和Ramon,J.2005.逻辑贝叶斯网络及其与其他概率逻辑模型的关系。第15届归纳逻辑程序设计国际会议论文集,ILP'05计算机科学讲义,第3625卷,斯普林格纽约,美国,121-135。谷歌学者谷歌学者
  17. Finzi,A.和Lukasiewicz,T.2003。独立选择逻辑中基于结构的原因和解释。第19届人工智能不确定性会议论文集,UAI'03墨西哥阿卡波尔科。谷歌学者谷歌学者
  18. Gelfond,M.和Lifschitz,V.1991。逻辑程序和析取数据库中的经典否定。新一代计算9,365-387年。谷歌学者谷歌学者数字图书馆数字图书馆
  19. Gelfond,M.和Lifschitz,V.1993.用逻辑程序表示行动和变化。逻辑程序设计杂志17(2-4),301-322。谷歌学者谷歌学者交叉引用交叉引用
  20. Gelfond,M.和Lifschitz,V.1998.动作语言。计算机与信息科学电子论文316岁。谷歌学者谷歌学者
  21. Getoor,L.,Friedman,N.,Koller,D.和Pfeffer,A.2001.学习概率关系模型。关系数据挖掘,S.Dzeroski和N.Lavrac,编辑:Springer Verlag NY,美国,7-34。谷歌学者谷歌学者
  22. Ghahramani,Z.1998.学习动态贝叶斯网络。序列和数据结构的自适应处理人工智能课堂讲稿。斯普林格·韦拉格,美国,168-197年。谷歌学者谷歌学者数字图书馆数字图书馆
  23. Giunchiglia,E.和Lifschitz,V.1998.基于因果解释的行动语言:初步报告。AAAI 98会议记录麦迪逊,威斯康星州,美国。谷歌学者谷歌学者
  24. Halpern,J.和Pearl,J.2001a。原因和解释:结构模型方法-第一部分:原因。第17届人工智能不确定性会议论文集,UAI'01麦迪逊,威斯康星州,美国。谷歌学者谷歌学者
  25. Halpern,J.和Pearl,J.2001b。原因与解释:结构模型方法-第二部分:解释。第17届人工智能不确定性会议论文集,UAI'01麦迪逊,威斯康星州,美国。谷歌学者谷歌学者
  26. Jaeger,M.1997.关系贝叶斯网络。第十三届人工智能不确定性会议记录(UAI-97)普罗维登斯,罗德岛,美国。谷歌学者谷歌学者
  27. Kakas,A.C.,Kowalski,R.和Toni,F.1992.诱拐逻辑程序设计。逻辑与计算杂志2(6) 公元719-770年。谷歌学者谷歌学者交叉引用交叉引用
  28. Kersting,K.和De Raedt,L.2000.贝叶斯逻辑程序。第十届归纳逻辑程序设计国际会议的工作进展,J.Cussens和A.Frisch,编辑138-155。谷歌学者谷歌学者
  29. Kersting,K.和De Raedt,L.2001.贝叶斯逻辑程序。技术代表。151,德国弗莱堡大学计算机科学研究所。谷歌学者谷歌学者
  30. Kersting,K.和De Raedt,L.2007.贝叶斯逻辑编程:理论与工具。统计关系学习导论,L.Getoor和B.Taskar,麻省理工学院出版社编辑。291-322。谷歌学者谷歌学者
  31. Lakshmanan,L.V.S.和Sadri,F.1994.概率演绎数据库。国际逻辑程序设计研讨会论文集,ILPS'94M.Bruynooghe,编辑麻省理工学院出版社,剑桥,马萨诸塞州,美国,254-268。谷歌学者谷歌学者
  32. Lifschitz,V.和Turner,H.1999.用逻辑程序表示过渡系统。核磁共振谱美国德克萨斯州埃尔帕索。谷歌学者谷歌学者
  33. Lukasiewicz,T.2001。多值析取逻辑程序的不动点特征。第六届逻辑程序设计与非单调推理国际会议论文集(LPNMR'01)人工智能课堂讲稿,第2173卷,美国纽约州斯普林格,336-350。谷歌学者谷歌学者
  34. Martin-Löf,P.1982。建构数学与计算机程序设计。第六届国际逻辑、方法论和科学哲学大会论文集.153-175。谷歌学者谷歌学者
  35. 麦凯恩,N.1997.行为常识推理中的因果关系。博士论文德克萨斯大学奥斯汀分校。谷歌学者谷歌学者
  36. McCain,N.和Turner,H.1996.行动和变化的因果理论。第十三届全国人工智能大会暨第八届人工智能创新应用大会论文集美国加利福尼亚州门罗公园AAAI出版社,460-465。谷歌学者谷歌学者
  37. Meert,W.,Struyf,J.和Blockeel,H.2007。通过贝叶斯网络技术学习基础CP逻辑理论。第六届多关系数据挖掘国际研讨会论文集.93-104。谷歌学者谷歌学者
  38. 《学习随机逻辑程序》。人工智能电子交易5(041),141-153。谷歌学者谷歌学者
  39. Ng,R.T.和Subrahmanian,V.S.1992.概率逻辑程序设计。信息与计算101(2) ,150-201年。谷歌学者谷歌学者数字图书馆数字图书馆
  40. Ngo,L.和Haddawy,P.1997。回答上下文敏感概率知识库的问题。理论计算机科学171(1-2),147-177。谷歌学者谷歌学者数字图书馆数字图书馆
  41. Pearl,J.1988年。智能系统中的概率推理:合情推理网络摩根考夫曼,旧金山,美国。谷歌学者谷歌学者
  42. 珀尔,J.2000。因果关系:模型、推理和推理剑桥大学出版社,剑桥,英国。谷歌学者谷歌学者数字图书馆数字图书馆
  43. Pinto,J.和Reiter,R.1993.逻辑编程中的时间推理:情境演算的一个案例。逻辑程序设计国际会议论文集麻省理工学院出版社剑桥,马萨诸塞州,美国。谷歌学者谷歌学者
  44. Poole,D.1993.概率喇叭诱拐和贝叶斯网络。人工智能64(1) ,81-129页。谷歌学者谷歌学者数字图书馆数字图书馆
  45. Poole,D.1997.不确定性下多智能体建模的独立选择逻辑。人工智能94(1-2),7-56。谷歌学者谷歌学者数字图书馆数字图书馆
  46. Przymusinski,T.C.1991。析取程序的稳定语义。新一代计算3/4,401-424。谷歌学者谷歌学者交叉引用交叉引用
  47. Riguzzi,F.2004.学习带注释析取的逻辑程序。第十四届归纳逻辑程序设计国际会议(ILP2004),波尔图,2004年9月6日至8日,A.斯里尼瓦桑和R.金,斯普林格·韦拉格编辑,德国海德堡,270-287。谷歌学者谷歌学者交叉引用交叉引用
  48. Riguzzi,F.2007。LPAD和CP逻辑的自顶向下的解释器。第14届RCRA研讨会组合爆炸问题求解算法的实验评价罗马,意大利。谷歌学者谷歌学者
  49. Sakama,C.和Inoue,K.1994。析取逻辑程序和演绎数据库语义的另一种方法。自动推理杂志13(1) ,145-172页。谷歌学者谷歌学者交叉引用交叉引用
  50. Santos Costa,V.,Page,D.,Qazi,M.和Cussens,J.2003.CLP(BN):概率知识的约束逻辑编程。第十九届人工智能不确定性年会论文集(UAI-2003)摩根考夫曼,旧金山,美国。517-524。谷歌学者谷歌学者
  51. Sato,T.和Kameya,Y.1997.PRISM:符号统计建模语言。1997年国际人工智能联合会议记录,1330-1335,摩根考夫曼,旧金山,美国。谷歌学者谷歌学者
  52. Shafer,G.1996年。因果猜想的艺术麻省理工学院出版社,旧金山,美国。谷歌学者谷歌学者
  53. Tran,N.和Baral,C.2004.用概率行为语言编码概率因果模型。AAAI公司美国加利福尼亚州圣何塞市。谷歌学者谷歌学者
  54. Van Belleghem,K.,Denecker,M.和De Schreye,D.1997.情境演算与事件演算的关系。逻辑程序设计杂志(关于行动和变化的推理的特刊),31(1-3),3-37。谷歌学者谷歌学者
  55. Van Gelder,A.,Ross,K.和Schlipf,J.1991.通用逻辑程序的良好基础语义。ACM杂志38(3) ,620-650年。谷歌学者谷歌学者数字图书馆数字图书馆
  56. 维恩,J.1866年。机会的逻辑:概率论的基础与范畴麦克米伦,伦敦,英国。谷歌学者谷歌学者
  57. Vennekens,J.,Denecker,M.和Bruynooghe,M.,2006.代表概率过程的因果信息。人工智能逻辑,第10届欧洲会议,JELIA'06,会议记录计算机科学课堂讲义,第4160卷。斯普林格纽约,美国,452-464。谷歌学者谷歌学者
  58. Vennekens,J.,Verbaeten,S.和Bruynooghe,M.,2004.带注释析取的逻辑程序。逻辑程序设计,第20届国际会议,ICLP'04,会议记录计算机科学讲义,第3132卷。斯普林格纽约,美国,431-445。谷歌学者谷歌学者

索引术语

(自动分类)
  1. 因果概率事件语言Cp逻辑及其与逻辑程序设计的关系

        评论

        登录选项

        请检查您是否有权通过您的登录凭据或您的机构来获得对本文的完全访问权。

        登录

        完全访问

        关于这个网站上的Cookies

        我们使用cookies来确保在我们的网站上为您提供最佳体验。

        了解更多

        知道了!