大卫·布赫曼;大卫·普尔 概率逻辑程序中的负概率。 （英语） Zbl 1404.68034号 国际J近似推理 83, 43-59 (2017). 摘要：我们考虑非极端分布的概率逻辑程序（PLP）。我们表明，在具有固定总体的关系情况下，即使使用否定，PLP也不能表示许多非极大分布。我们在PLP中引入了负规则概率，并表明它们使语言更具严格的表达能力。此外，它们使否定变得不必要：PLP中的否定可以转换为具有负概率的规则，从而避免了逻辑不一致的问题。此外，这种转换保持了PLP大小的紧凑性（假设每条规则的否定数很小）。这种转换算法还允许不支持否定的精确推理算法适用于带否定的PLP。非结论性规则的噪声概率很难解释，也不直观。为了缓解这个问题，我们定义了“概率-强度”，这是概率值的另一种表示，它产生了用于组合规则的直观的加法代数。对于非循环命题PLP，我们证明了强度的约束条件允许非噪声变量的适当分布，并允许表示所有非极端分布。我们将展示如何以规范的方式将任意CPD转换为这种形式。 引用于4文件 MSC公司： 68N17号 逻辑编程 68甲19 其他编程范式（面向对象、顺序、并发、自动等） 87年第68季度 计算机科学中的概率（算法分析、随机结构、相变等） 关键词：负概率;循环逻辑程序;表示;否定;规范的 软件：ProbLog（问题日志）;CP逻辑;棱镜 PDF格式BibTeX公司 XML格式引用 \textit{D.Buchman}和\textit{D.Poole}，国际J.近似推理83，43-59（2017；Zbl 1404.68034） 全文： 内政部 参考文献： [1] Apt，K.R。；Bezem，M.，非周期项目，新一代。计算。，9, 3-4, 335-363 (1991) ·Zbl 0744.68034号 [2] Buchman，D。；施密特，M.W。；穆罕默德，S。；普尔，D。；de Freitas，N.，《关于二进制概率模型的稀疏、谱和其他参数化》，J.Mach。学习。决议，22，173-181（2012） [3] De Raedt，L。；Kimmig，A。；Toivonen，H.，ProbLog:概率Prolog及其在链路发现中的应用，（《第20届国际人工智能联合会议论文集》，第20届人工智能国际联合会议论文，IJCAI-2007（2007）），2462-2467 [4] Dez，F.J。；Galán，S.F.，噪声极大值的有效因子分解，国际期刊Intell。系统。，18, 2, 165-177 (2003) ·兹比尔1028.68164 [5] 多明戈斯，P。；科克，S。；Lowd，D。；Poon，H。；理查森，M。；Singla，P.，《马尔可夫逻辑》（Raedt，L.D.；Frasconi，P.；Kersting，K.；Muggleton，S.，《概率归纳逻辑编程》（2008），Springer:Springer New York），92-117·Zbl 1137.68531号 [6] Gelfond，M。；Lifschitz，V.，逻辑编程的稳定模型语义，（ICLP/SLP，第88卷（1988）），1070-1080 [7] Jha，A。；Suciu，D.，《带有markoviews的概率数据库》，Proc。荷兰VLDB。，5, 11, 1160-1171 (2012) [8] Kisynski，J。；Poole，D.，在定向一阶概率模型中提升聚合，（第二十届国际人工智能联合会议，第二十届人工智能国际联合会议，IJCAI-09，加利福尼亚州帕萨迪纳（2009）），1922-1929 [9] 科勒，D。；弗里德曼，N.，《概率图形模型：原理和技术》（2009），麻省理工学院出版社·兹比尔1183.68483 [11] Lauritzen，S.L.，《图形模型》（1996），牛津大学出版社：美国牛津大学出版社·Zbl 0907.62001 [12] Meert，W。；Vennekens，J.，CP逻辑中的抑制效应，（欧洲概率图形模型研讨会（2014），施普林格），350-365·Zbl 1443.68180号 [13] Poole，D.，《不确定性下多个代理建模的独立选择逻辑》，Artif。智力。，94，7-56（1997），多智能体系统经济原理专刊·兹伯利0902.03017 [14] Poole，D.，《作为失败通过否定的退缩：独立选择逻辑中的稳定模型》，J.Log。程序。，44, 1-3, 5-35 (2000) ·Zbl 0957.68013号 [15] 理查森，M。；多明戈斯，P.，马尔可夫逻辑网络，马赫。学习。，62, 107-136 (2006) ·Zbl 1470.68221号 [16] 佐藤，T。；Kameya，Y.，PRISM:一种符号统计建模语言，（《第十五届国际人工智能联合会议论文集》，第十五届人工智能国际联合会议论文，IJCAI-97（1997）），1330-1335 [17] 佐藤，T。；Kameya，Y.，《PRISM在基于逻辑的概率建模方面的新进展》，（De Raedt，L.；Frasconi，P.；Kersting，K.；Muggleton，S.，概率归纳逻辑编程，LNCS，第4911卷（2008），Springer），118-155·Zbl 1137.68617号 [18] Van den Broeck，G。；Meert，W。；Darwiche，A.，加权一阶模型计数的Skolemization（2013） [19] 文内肯斯，J。；Denecker，M。；Bruynoogh，M.，《CP-逻辑：因果概率事件的语言及其与逻辑编程的关系》，TPLP，9，3，245-308（2009）·Zbl 1179.68025号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。