×
法布里西奥·里古齐;Swift，Terrance公司

分布语义下概率逻辑规划的良好定义和有效推理。 （英语） Zbl 1267.68084号

理论与实践。日志。程序。 13，第2期，279-302（2013）。
摘要：分布语义是逻辑编程与概率论相结合的最突出的方法之一。许多语言都遵循这种语义，例如独立选择逻辑、PRISM、pD、带注释析取的逻辑程序（LPAD）和ProbLog。当程序包含函数符号时，只有当查询的解释集和每个解释集都是有限的时，分布语义才得到良好定义。良好定义通常是明确规定的，或者通过严格限制允许程序的类别来实现。在本文中，我们确定了一类更大的程序，这些程序的语义定义良好，并且有一个计算查询概率的有效过程。由于带注释析取的逻辑程序提供了最通用的语法，因此我们给出了它们的结果，但我们的结果适用于分布语义下的所有语言。我们提出了“带表格和答案包含的概率推理”（PITA）算法，该算法通过将概率程序转换为正常程序，然后应用带答案包含的SLG解析来计算查询概率。PITA已经在XSB中实现，并在六个域上进行了测试：两个域带有函数符号，四个域没有函数符号。将执行时间与ProbLog的执行时间进行比较，cplint（cplint）和CVE。PITA几乎总是能够在更短的时间内，在有函数符号和没有函数符号的域上解决更大的问题。

引用于1审查
引用于15文件

MSC公司：

68N17号 逻辑编程

关键词：

概率逻辑程序设计;制表;答案包含;带注释析取的逻辑程序;程序转换

软件：

XSB公司;PITA公司
PDF格式BibTeX公司 XML格式引用
\textit{F.Riguzzi}和\textit{T.Swift}，理论与实践。日志。程序。13，第2号，279--302（2013；Zbl 1267.68084）
全文： 内政部 arXiv公司

参考文献：

[1] 内政部：10.1007/b99475·doi:10.1007/b99475
[2] Silberschatz，程序。数据库系统原理研讨会第1页–（1989）
[3] 《逻辑程序设计理论与实践》，国际逻辑程序设计会议，第11期，第433页–（2011）·Zbl 1218.68169号 ·文件编号：10.1017/S14710684110010X
[4] 内政部：10.1007/978-3-540-89982-2·Zbl 1154.68013号 ·数字对象标识代码：10.1007/978-3-540-89982-2
[5] 巴西利，Proc。意大利人工智能协会大会第109页–（2007）
[6] Silberschatz，程序。数据库系统原理研讨会第11页–（1989）
[7] 程序。统计关系学习国际研讨会（2009年）
[8] DOI:10.1016/S0743-1066（99）00071-0·Zbl 0957.68013号 ·doi:10.1016/S0743-1066（99）00071-0
[9] 内政部：10.1017/S1471068410000566·Zbl 1220.68037号 ·文件编号：10.1017/S1471068410000566
[10] DOI:10.1016/S0004-3702（97）00027-1·Zbl 0902.03017号 ·doi:10.1016/S0004-3702（97）00027-1
[11] 劳埃德，Proc。计算逻辑国际会议第269页–（2000）
[12] De Raedt，程序。归纳逻辑编程国际会议第96页–（2009）
[13] DOI:10.1002/（SICI）1097-4571（2000）51:2&lt；95:：AID-ASI2&gt；3.0.CO；2-H型·doi:10.1002/（SICI）1097-4571（2000）51:2<95:：AID-ASI2>3.0.CO；2-H型
[14] Hermenegildo公司，Proc。逻辑编程国际会议技术交流第124页–（2010）
[15] Veloso，程序。国际人工智能联合会议第2462页–（2007）
[16] 概率论基础（1950）
[17] 程序。NIPS2008概率规划研讨会（2008）
[18] 内政部：10.1145/227595.2275957·Zbl 0882.68050号 ·数字对象标识代码：10.1145/227595.227597
[19] 内政部：10.1007/978-3-540-89982-2·Zbl 1154.68013号 ·数字对象标识代码：10.1007/978-3-540-89982-2
[20] 数字对象标识码：10.1017/S147106840900372X·Zbl 1166.68311号 ·文件编号：10.1017/S147106840900372X
[21] 带注释析取的逻辑程序（2003）
[22] 计算机协会杂志38 pp 620–（1991）
[23] 内政部：10.1137/0208032·Zbl 0419.68082号 ·数字对象标识代码：10.1137/0208032
[24] 程序。多值逻辑国际研讨会第171页–（1978）
[25] 内政部：10.1007/3-540-16492-8·数字对象标识代码：10.1007/3-540-16492-8
[26] DOI:10.1023/A:1018990308362·Zbl 0940.68025号 ·doi:10.1023/A:1018990308362
[27] 巴拉奥纳，《人工智能最新进展》，第163页–（1999）
[28] 波拉克，Proc。国际人工智能联合会议第1330页–（1997）
[29] Sterling，程序。逻辑程序设计国际会议第715页–（1995）
[30] 理论计算机科学254 pp 465–（2000）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。