顾涛；法比奥·扎纳西 概率逻辑编程的协代数语义。 （英语） Zbl 07350768号 日志。方法计算。科学。 17，第2期，第2号论文，35页（2021年）. 概要：概率逻辑编程作为一种推理不确定性的形式主义，在人工智能和相关领域中越来越重要。它概括了逻辑编程，可以用概率注释子句。本文提出了概率逻辑规划的联合语义。程序被建模为某个函子（mathsf{F}）的余代数，并用余自由余代数给出了两种语义。首先，（mathsf{F}）-余代数根据派生树生成语义。其次，通过将（mathsf{F}）嵌入到另一种类型（mathsf{G}）中，作为cofree（mathsf1{G}\）-余代数，我们获得了程序的“可能世界”解释，从中可以恢复概率逻辑编程的常见分布语义。此外，我们还表明，可以使用类似的方法为加权逻辑编程提供联合语义。 MSC公司： 03B70号 计算机科学中的逻辑 68倍 计算机科学 关键词：概率逻辑程序设计；分布语义；加权逻辑程序设计 软件：ProbLog（问题日志）；CoALP公司 PDF格式BibTeX公司 XML格式引用 \textit{T.Gu}和\textit{F.Zanasi}，日志。方法计算。科学。17，第2号，第2篇论文，35页（2021；Zbl 07350768） 全文： arXiv公司 链接 参考文献： [1] Henning Basold、Ekaterina Komendantskaya和Yue Li。统一归纳：用horn子句进行同体草书证明搜索的基础。计算机科学课堂讲稿，第783-813页。斯普林格，2019年。 [2] 福尔克·巴特尔斯（Falk Bartels）、安娜·索科洛娃（Ana Sokolova）和埃里克·德文克（Erik P.de Vink）。概率系统类型的层次结构。西奥。计算。科学。，327(1-2):3-22, 2004. ·Zbl 1071.68071号 [3] 菲利波·邦奇（Filippo Bonchi）和法比奥·扎纳西（Fabio Zanasi）。联合逻辑编程的饱和语义。计算机科学中的代数和余代数——第五届国际会议，CALCO 2013·Zbl 1394.68053号 [4] 菲利波·邦奇（Filippo Bonchi）和法比奥·扎纳西（Fabio Zanasi）。逻辑编程的双代数语义。《计算机科学中的逻辑方法》，11（1），2015年·Zbl 1347.68040号 [5] Kenta Cho和Bart Jacobs。通过字符串图进行分解和贝叶斯反演。计算机科学中的数学结构，29（7）：938-9712019·Zbl 1452.18008号 [6] 法比奥·科兹曼。概率答案集编程的乐趣。在贾斯珀·德博克、凯西奥·普·德坎波斯、格特·德库曼、埃里克·奎盖贝尔和格雷戈里·惠勒编辑的《·兹比尔1490.68072 [7] 谢·科恩、罗伯特·西蒙斯和诺亚·史密斯。加权逻辑程序的乘积。计算研究数据库——CORR，2010年6月11日·Zbl 1220.68034号 [8] 尤金·丹钦。概率逻辑程序及其语义。在A.Voronkov，编辑，《逻辑编程》，第152-164页，柏林，海德堡，1992年。施普林格柏林海德堡。 [9] Fredrik Dahlqvist、Vincent Danos、Ilias Garnier和Ohad Kammar。基于ω-完全锥对偶的贝叶斯反演。在第27届国际并发理论会议上，CONCUR·Zbl 1392.68294号 [10] 理查德·德宾（Richard Durbin）、肖恩·埃迪（Sean R.Eddy）、安德斯·克罗格（Anders Krogh）和格雷姆·米奇逊（Graeme J.Mitchison）。生物序列分析：蛋白质和核酸的概率模型。剑桥大学出版社，1998年·Zbl 0929.92010号 [11] Luc De Raedt、Angelika Kimmig和Hannu Toivonen。Problog：一种概率prolog及其在链路发现中的应用。第20届国际联席会议记录·Zbl 1201.68035号 [12] Luc De Raedt、Angelika Kimmig和Hannu Toivonen。Problog：一种概率prolog及其在链路发现中的应用。第20届国际联席会议记录·Zbl 1201.68035号 [13] 杰森·艾斯纳和约翰·布拉茨。用于优化解析算法和其他加权逻辑程序的程序转换。02 2020. [14] 戈帕尔·古普塔（Gopal Gupta）和桑托斯·科斯塔（V´ñtor Santos Costa）。与或并行序言的优化实现。未来一代计算机系统，10（1）：71-921994。第92部分。 [15] 陶谷和法比奥·扎那西。概率逻辑规划的联合观点。2019年6月3-6日，CALCO 2019年第八届计算机科学代数和余代数会议，英国伦敦，2019年10:1-10:21页·Zbl 07649893号 [16] 巴特·雅各布斯（Bart Jacobs）、亚历克斯·基辛格（Aleks Kissinger）和法比奥·扎纳西（Fabio Zanasi）。通过字符串图手术进行因果推断。《软件科学和计算结构基础——第22届国际会议，2019年FOSSACS，作为欧洲软件理论与实践联合会议的一部分举行》，ETAPS 2019，Proceedings，2019·Zbl 1524.62060号 [17] 巴特·雅各布斯（Bart Jacobs）和法比奥·扎纳西（Fabio Zanasi）。贝叶斯推理的逻辑要素。Joost-Peter Katoen Gilles Barthe和Alexandra Silva，概率编程编辑。剑桥大学出版社，剑桥，2019年·Zbl 07311049号 [18] 叶卡捷琳娜·科门丹茨卡娅（Ekaterina Komendantskaya）和李岳（Yue Li）。逻辑编程中的高效同位语。TPLP，17（5-6）：906-9232017年·Zbl 1422.68025号 [19] 叶卡捷琳娜·科门丹茨卡娅（Ekaterina Komendantskaya）和李岳（Yue Li）。角分句逻辑中的共性理论探索：立场文件。InProceedings第五次关于Horn子句的验证和研讨会 [20] 叶卡捷琳娜·科门丹斯卡娅、盖伊·麦库斯克和约翰·鲍尔。逻辑编程中并行派生策略的联合盲文语义。InAlgebraic方法论与软件技术·Zbl 1308.68029号 [21] 叶卡捷琳娜·科门丹茨卡娅（Ekaterina Komendantskaya）和约翰·鲍尔（John Power）。逻辑编程中派生的协同代数语义。计算机科学中的InAlgebra和Coalgebra——第四届国际会议·Zbl 1344.68043号 [22] 叶卡捷琳娜·科门丹茨卡娅（Ekaterina Komendantskaya）和约翰·鲍尔（John Power）。逻辑编程：松懈和饱和。《程序设计中的逻辑和代数方法杂志》，101:1-212018年·Zbl 1400.68049号 [23] 叶卡捷琳娜·科门丹茨卡娅（Ekaterina Komendantskaya）和约翰·鲍尔（John Power）。逻辑编程：松弛和饱和。J.日志。阿尔盖布。方法。程序。，101:1-21, 2018. ·Zbl 1400.68049号 [24] 叶卡捷琳娜·科门丹茨卡娅（Ekaterina Komendantskaya）、约翰·鲍尔（John Power）和马丁·施密特（Martin Schmidt）。协同逻辑编程：从语义到实现。CoRR，abs/1312.65682013年·Zbl 1344.68044号 [25] 叶卡捷琳娜·科门丹茨卡娅（Ekaterina Komendantskaya）、约翰·鲍尔（John Power）和马丁·施密特（Martin Schmidt）。协同逻辑编程：从语义到实现。J.日志。计算。，26(2):745-783, 2016. ·Zbl 1344.68044号 [26] 叶卡捷琳娜·科门丹茨卡娅（Ekaterina Komendantskaya）、马丁·施密特（Martin Schmidt）和乔纳森·赫拉斯（J’onathan Heras）。在联合逻辑编程中开发并行性。电子。注释Theor。计算。科学。，303:121-148, 2014. ·Zbl 1337.68054号 [27] 约翰·劳埃德。逻辑编程基础，第2版。施普林格，1987年·Zbl 0668.68004号 [28] 桑德斯·麦克莱恩。职业数学家的类别。斯普林格·弗拉格，1971年。数学研究生教材，第5卷·Zbl 0705.18001号 [29] 瑟伦·默克和伊恩·霍姆斯。评估细菌基因发现hmm结构作为概率逻辑程序。生物信息学，28（5）：636-6422012。 [30] Raymond Ng和V.S.Subrahmanian。概率逻辑编程。信息与计算，101（2）：150-201992·Zbl 0781.68038号 [31] 大卫·普尔。独立选择的逻辑和超越。Luc De Raedt、Paolo Frasconi、Kristian Kersting和Stephen Muggleton，概率归纳逻辑编程编辑·Zbl 1137.68596号 [32] 法布里奇奥·里古齐（Fabrizio Riguzzi）和特兰斯·斯威夫特（Terrance Swift）。分布语义下的概率逻辑编程。2014. ·Zbl 1354.68039号 [33] 佐藤大辅。具有分布语义的逻辑程序的统计学习方法。《逻辑编程》，第十二届逻辑编程国际会议论文集·Zbl 0977.68507号 [34] 亚历山德拉·席尔瓦。克莱恩·夸格布拉。2010年荷兰阿姆斯特丹CWI博士论文·Zbl 1440.68174号 [35] 塞巴斯蒂安·特伦（Sebastian Thrun）、沃尔夫拉姆·伯格（Wolfram Burgard）和迪特尔·福克斯（Dieter Fox）。概率机器人。麻省理工学院出版社，剑桥，马萨诸塞州，2005年·Zbl 1081.68703号 [36] 詹姆斯·沃雷尔。可达内函子的终端序列。理论计算机科学电子笔记，19:24-381999。CMCS’99，计算机科学中的协代数方法·Zbl 0918.68024号 [37] 里卡多·泽斯。概率语义网：推理和学习。IOS出版社，阿姆斯特丹，荷兰，荷兰，2017年。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。