×
达米亚诺·阿佐利尼;法布里西奥·里古齐;伊芙琳娜·拉姆

带有函数符号的混合概率逻辑程序的语义。 （英语） Zbl 1519.68040号

Artif公司。智力。 294，文章ID 103452，23 p.（2021）.
概要：概率逻辑编程（PLP）是表示对象之间不确定关系的一种强大范式。最近，人们提出了具有连续变量的程序，也称为混合程序，并为其指定了语义。混合程序能够表示实际测量值，但不幸的是，语义建议不精确，因此定义没有为所有查询指定概率。在本文中，我们纠正了这一点，并为混合程序正式定义了一种新的语义。我们证明了语义为一大类程序的所有查询分配了一个概率。

引用于2文件

MSC公司：

68N17号 逻辑编程
68问题55 计算理论中的语义学

关键词：

概率逻辑程序设计;混合程序

软件：

ProbLog（问题日志）;CP逻辑
PDF格式BibTeX公司 XML格式引用
\textit{D.Azzolini}等人，Artif。智力。294，文章ID 103452，23 p.（2021；Zbl 1519.68040）
全文： 内政部

参考文献：

[1] 周，Y。；Teicher，H.，《概率论：独立性、互换性、鞅、统计学中的Springer文本》（2012），Springer·Zbl 0399.60001号
[2] Davey，B.A。；Priestley，H.A.，《格与序导论》（2002），剑桥大学出版社·Zbl 1002.06001号
[3] De Raedt，L。；Kimmig，A.，概率（逻辑）编程概念，马赫。学习。，100, 1, 5-47 (2015) ·Zbl 1346.68050号
[4] De Raedt，L。；Kimmig，A。；Toivonen，H.，ProbLog:一种概率Prolog及其在链路发现中的应用，（Veloso，M.M.，第20届国际人工智能联合会议（IJCAI 2007），第7卷（2007），AAAI出版社/IJCAI），2462-2467
[5] Gutmann，B。；Jaeger，M。；De Raedt，L.，用连续分布扩展problog，（Frasconi，P.；Lisi，F.A.，第20届国际归纳逻辑编程会议（ILP 2010）。第20届国际归纳逻辑编程会议（ILP 2010），LNCS，第6489卷（2011），Springer，76-91·Zbl 1329.68057号
[6] Gutmann，B。；Thon，我。；Kimmig，A。；Bruynooghe，M。；De Raedt，L.，概率规划中逻辑推理的魔力，理论与实践。日志。程序。，11, 4-5, 663-680 (2011) ·Zbl 1222.68060号
[7] 希茨勒，P。；Seda，A.，《逻辑编程语义的数学方面》，查普曼和霍尔/CRC信息学系列研究（2016），CRC出版社
[8] 伊斯兰文学硕士。；罗马克里希南，C。；Ramakrishnan，I.，《连续随机变量概率逻辑程序中的推理》，理论与实践。日志。程序。，12, 505-523 (2012) ·Zbl 1260.68063号
[9] Jaffar，J。；Maher，M.J。；英国万豪酒店。；Stuckey，P.J.，约束逻辑程序的语义，J.Log。程序。，37、1-3、1-46（1998年）·兹伯利0920.68068
[10] Lloyd，J.W.，《逻辑编程基础》（1987），施普林格出版社·Zbl 0547.68005号
[11] Michels，S.，《混合概率逻辑：理论方面、算法和实验》（2016），奈梅亨大学，博士论文
[12] 米歇尔斯，S。；Hommersom，A。；Lucas，P.J.F。；Velikova，M。；Koopman，P.W.M.，《新概率约束逻辑的推断》，（Rossi，F.，第23届国际人工智能联合会议（IJCAI 2013）（2013），AAAI出版社/IJCAI），2540-2546
[13] 米歇尔斯，S。；Hommersom，A。；Lucas，P.J.F。；Velikova，M.，基于广义分布语义的新概率约束逻辑编程语言Artif。智力。，228, 1-44 (2015) ·Zbl 1346.68054号
[14] Nitti，D。；德莱特，T。；De Raedt，L.，混合关系域的概率逻辑编程，马赫。学习。，103407-449（2016）·Zbl 1362.68247号
[15] Poole，D.，概率角外展和贝叶斯网络，人工制品。智力。，64，1，81-129（1993年）·Zbl 0792.68176号
[16] Poole，D.，《逻辑编程、外推和概率——估算先验概率和后验概率的自顶向下的任何时间算法》，《新世代》。计算。，11, 3, 377-400 (1993) ·Zbl 0788.68025号
[17] Poole，D.，《不确定性下多个代理人建模的独立选择逻辑》，Artif。智力。，94, 7-56 (1997) ·Zbl 0902.03017号
[18] Poole，D.，《作为失败通过否定的退缩：独立选择逻辑中的稳定模型》，J.Log。程序。，44, 1-3, 5-35 (2000) ·Zbl 0957.68013号
[19] Przymusinski，T.C.，《每个逻辑程序都有一个自然分层和迭代最小不动点模型》（第八届ACM SIGACT-SIGMOD-SIGART数据库系统原理研讨会论文集（PODS-1989）（1989），ACM出版社），11-21
[20] Riguzzi，F.，带函数符号的普通程序的分布语义，国际期刊近似推理。，77, 1-19 (2016) ·Zbl 1385.68022号
[21] Riguzzi，F.，《概率逻辑编程基础》（2018），River Publishers:River Publishers Gistrup，丹麦·Zbl 1420.68003号
[22] Sato，T.，《具有分布语义的逻辑程序的统计学习方法》，（Sterling，L.，《逻辑编程》，《第十二届逻辑编程国际会议论文集》，日本东京，1995年6月13日至16日（1995），麻省理工出版社），715-729
[23] Van Gelder，A。；Ross，K.A。；Schlipf，J.S.，《通用逻辑程序的良好语义》，J.ACM，38，3，620-650（1991）·Zbl 0799.68045号
[24] Vennekens，J。；Verbaeten，S。；Bruynooghe，M.，《带注释析取的逻辑程序》，（Demoen，B.；Lifschitz，V.，第20届逻辑程序设计国际会议（ICLP 2004）。第20届逻辑程序设计国际会议（ICLP 2004），LNCS，第3131卷（2004），Springer，431-445·Zbl 1104.68391号
[25] Vennekens，J。；Denecker，M。；Bruynooghe，M.，CP逻辑：因果概率事件的语言及其与逻辑编程的关系，理论实践。日志。程序。，9, 3, 245-308 (2009) ·Zbl 1179.68025号
[26] Zuidberg Dos Martires，P。；德里斯，A。；De Raedt，L.，连续随机变量的知识编译及其在混合概率逻辑规划中的应用（2018），CoRR
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。