×
法布里西奥·里古齐;朱塞佩·科塔;埃琳娜·贝洛迪;里卡多·泽斯

cplint中的因果推理。 （英语） Zbl 1419.68034号

国际J近似推理 91, 216-232 (2017).
概述：cplint是一套程序，用于推理和学习概率逻辑编程语言，这些语言遵循分布语义。在本文中，我们描述了我们如何扩展cplint来执行因果推理。特别是，我们考虑Pearl的do演算模型，其中所有变量都是测量的。用于推理的两个cplint模块PITA和MCINTYRE已被扩展，用于计算行动/干预对这些模型的影响。我们还将精确推理和近似推理与条件查询和因果查询进行了比较，结果表明因果推理通常比条件推理便宜。

MSC公司：

68N17号 逻辑编程
68T05型 人工智能中的学习和自适应系统

关键词：

概率逻辑程序设计;分布语义;带注释析取的逻辑程序;ProbLog（问题日志）;因果推理;统计关系人工智能

软件：

YAP-序言;CP逻辑;ProbLog（问题日志）;PITA公司;MCINTYRE公司;cplint（cplint）;XSB公司;棱镜;SWI-预测
PDF格式BibTeX公司 XML格式引用
\textit{F.Riguzzi}等人，《国际近似推理》91，216--232（2017；Zbl 1419.68034）
全文： 内政部 链接

参考文献：

[1] Pearl，J.，《因果关系》（2000），剑桥大学出版社·Zbl 0959.68116号
[2] Sato，T.，《具有分布语义的逻辑程序的统计学习方法》，（Sterling，L.，第十二届逻辑程序设计国际会议，日本东京，第十二次国际逻辑程序设计会议（1995），麻省理工学院出版社：麻萨诸塞州剑桥，715-729）
[3] Poole，D.，《不确定性下多个代理建模的独立选择逻辑》，Artif。智力。，94, 7-56 (1997) ·Zbl 0902.03017号
[4] 佐藤，T。；Kameya，Y.，PRISM:符号统计建模语言，（第十五届国际人工智能联合会议，第十五届人工智能国际联合会议，日本名古屋，IJCAI-97，第97卷（1997）），1330-1339
[5] Vennekens，J。；Verbaeten，S。；Bruynooghe，M.，带注释析取的逻辑程序，（Demoen，B.；Lifschitz，V.，逻辑编程：第20届国际会议论文集。逻辑编程：第20届国际会议论文集，ICLP 2004，法国圣马洛，2004年9月6日至10日。逻辑程序设计：第20届国际会议论文集。逻辑编程：第20届国际会议论文集，ICLP 2004，法国圣马洛，2004年9月6日至10日，LNCS，第3132卷（2004年），施普林格：施普林格柏林，海德堡，德国），431-445·Zbl 1104.68391号
[6] De Raedt，L。；Kimmig，A。；Toivonen，H.，ProbLog:一种概率Prolog及其在链路发现中的应用，（Veloso，M.M.，第20届国际人工智能联合会议，印度海得拉巴，第7卷）。第20届国际人工智能联合会议，印度海得拉巴，第7卷，IJCAI-07（2007），AAAI出版社：AAAI Press Palo Alto，California，USA），2462-2467
[7] Vennekens，J。；Denecker，M。；Bruynooghe，M.，CP逻辑：因果概率事件的语言及其与逻辑编程的关系，理论实践。日志。程序。，9, 3, 245-308 (2009) ·Zbl 1179.68025号
[8] Riguzzi，F.，MCINTYRE：概率逻辑编程的蒙特卡罗系统，Fundam。通知。，124, 4, 521-541 (2013)
[9] Poole，D.，《作为失败通过否定的退缩：独立选择逻辑中的稳定模型》，J.Log。程序。，44, 1-3, 5-35 (2000) ·Zbl 0957.68013号
[10] Riguzzi，F.，带函数符号的普通程序的分布语义，国际期刊近似推理。，77, 1-19 (2016) ·兹比尔1385.68022
[11] Wright，S.，相关性和因果关系，J.Agric。第20、7、557-585号决议（1921年）
[12] Van Gelder，A。；Ross，K.A。；Schlipf，J.S.，《通用逻辑程序的良好语义》，J.ACM，38，3，620-650（1991）·兹比尔0799.68045
[13] Riguzzi，F。；Swift，T.，《PITA系统：建立和回答不确定性推理的包容》，《理论与实践》。日志。程序。，11, 4-5, 433-449 (2011) ·Zbl 1218.68169号
[14] Darwiche，A。；Marquis，P.，《知识汇编地图》，J.Artif。智力。决议，17，229-264（2002）·Zbl 1045.68131号
[15] 斯威夫特，T。；Warren，D.S.，XSB：用表格逻辑编程扩展Prolog，理论与实践。日志。程序。，12, 1-2, 157-187 (2012) ·Zbl 1244.68021号
[16] Santos Costa，V。；罗查，R。；Damas，L.，《YAP Prolog系统》，理论与实践。日志。程序。，12, 1-2, 5-34 (2012) ·Zbl 1244.68017号
[17] Wielemaker，J。；施里杰弗斯，T。；特里斯卡，M。；Lager，T.，SWI-预测，理论与实践。日志。程序。，12, 1-2, 67-96 (2012) ·Zbl 1244.68023号
[18] Holzbaur，C.，可扩展统一背景下的元结构与属性变量，（Bruynooghe，M。；Wirsing，M.，《编程语言实现和逻辑编程：第四届国际研讨会论文集》。编程语言实现和逻辑编程：第四届国际研讨会论文集，1992年8月26日至28日，比利时鲁汶，1992（1992），施普林格：施普林格柏林，海德堡），260-268
[19] 阿尔贝蒂，M。；贝洛迪，E。；科塔，G。；Riguzzi，F。；Zese，R.，《关于SWISH的cplint：使用web浏览器的概率逻辑推理》，Intell。第条。，11, 1, 47-64 (2017)
[20] Von Neumann，J.，《与随机数字相关的各种技术》，Natl。伯尔。支架。，申请。数学。序列号。，1951年12月36日至38日
[21] Nampally，A。；Ramakrishnan，C.，概率逻辑程序中基于自适应MCMC的推理，预印本·Zbl 1451.68264号
[22] den Broeck，G.V。；Thon，I。；van Otterlo，M。；Raedt，L.D.，DTProbLog:a decision-theory Prolog，（Fox，M.；Poole，D.，第24届AAAI人工智能会议。第24届人工智能会议，AAAI’10，美国佐治亚州亚特兰大，2010年7月11日至15日（2010年），美国人工智能出版社），1217-1222
[23] 巴拉尔，C。；Gelfond，M。；N.拉什顿，《带答案集的概率推理》，理论与实践。日志。程序。，9, 1, 57-144 (2009) ·Zbl 1170.68003号
[24] Kimmig，A。；Demoen，B。；De Raedt，L。；科斯塔，V.S。；Rocha，R.，关于概率逻辑编程语言ProbLog的实现，理论与实践。日志。程序。，11, 2-3, 235-262 (2011) ·Zbl 1220.68037号
[25] Barabási，A.-L。；Albert，R.，《随机网络中尺度的出现》，《科学》，286，5439，509-512（1999）·Zbl 1226.05223号
[26] Riguzzi，F。；贝洛迪，E。；Lamma，E。；Zese，R。；Cota，G.，《web上的概率逻辑编程》，Softw。实际。有效期：46、10、1381-1396（2016年）
[27] Hyttinen，A。；埃伯哈特，F。；Järvisalo，M.，Do-calculus when the true graph is unknown，（第31届人工智能不确定性国际会议，第31届国际人工智能不确定度会议，UAI-15（2015）），395-404
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。