奇塔·巴拉尔;迈克尔·盖尔芬德;纳尔逊·拉什顿 具有答案集的概率推理。 (英语) Zbl 1170.68003号 理论与实践。日志。程序。 9,第1期,57-144(2009). 摘要:本文开发了一种声明性语言P-log,它在推理中结合了逻辑和概率参数。答案集Prolog用作逻辑基础,而因果贝叶斯网用作概率基础。我们给出了几个不平凡的例子,并说明了P-log在知识表示和知识更新中的应用。我们认为,我们的更新方法比现有方法更有吸引力。我们给出了P-log程序一致性的充分条件,并证明了Bayes网可以很容易地映射到一致的P-log计划。 引用于1审查引用于38文件 MSC公司: 68N17号 逻辑编程 68立方英尺 知识表示 关键词:逻辑程序设计;答案集;概率推理;答案集序言 PDF格式BibTeX公司 XML格式引用 \textit{C.Baral}等人,《理论与实践》。日志。程序。9,第1号,57--144(2009;Zbl 1170.68003) 全文: 内政部 参考文献: [1] 麻格尔顿,Proc。第五届归纳逻辑编程国际研讨会第29页–(1995) [2] 内政部:10.1016/0890-5401(92)90061-J·Zbl 0781.68038号 ·doi:10.1016/0890-5401(92)90061-J [3] 巴拉尔,知识表示、推理和陈述性问题解决(2003)·Zbl 1056.68139号 ·doi:10.1017/CBO9780511543357 [4] DOI:10.1016/j.artint.2004.04.004·Zbl 1085.68544号 ·doi:10.1016/j.artint.2004.04.004 [5] DOI:10.1023/A:1018978005636·Zbl 0940.68075号 ·doi:10.1023/A:1018978005636 [6] Balduccini,程序。《声明语言的实践方面》第169页–(2001) [7] 内政部:10.1145/383779.383783·Zbl 1365.68149号 ·数字对象标识代码:10.1145/383779.383783 [8] DOI:10.1016/S0004-3702(96)00003-3·doi:10.1016/S0004-3702(96)00003-3 [9] 内政部:10.1007/11546207_44·doi:10.1007/11546207_44 [10] 巴克斯,用不确定的知识进行表征和推理(1990) [11] 内政部:10.1145/1149114.1149117·Zbl 1367.68308号 ·数字对象标识代码:10.1145/1149114.1149117 [12] DOI:10.1016/0743-1066(94)90051-5·Zbl 0795.68039号 ·doi:10.1016/0743-1066(94)90051-5 [13] DOI:10.1016/j.artint.2003.09.003·Zbl 1085.68173号 ·doi:10.1016/j.artint.2003.09.003 [14] Kersting,《统计关系学习导论》(2007) [15] Jr,《不确定性推断》(2001年) [16] 希尔伯恩,《生态侦探》(1997) [17] Halpern,《关于不确定性的推理》(2003年) [18] DOI:10.1016/S0004-3702(02)00187-X·Zbl 0995.68021号 ·doi:10.1016/S0004-3702(02)00187-X [19] DOI:10.1016/0004-3702(90)90019-V·Zbl 0723.03007号 ·doi:10.1016/0004-3702(90)90019-V [20] 佐藤,Proc。第十二届逻辑程序设计国际会议(ICLP95)第715页–(1995) [21] Costa,《第十九届人工智能不确定性国际会议论文集》(UAI-2003)(2003) [22] Getoor,关系数据挖掘第307页——(2001)·doi:10.1007/978-3-662-04599-2_13 [23] 内政部:10.2307/2268973·Zbl 0033.24304号 ·doi:10.2307/2268973 [24] Gelfond,程序。AAAI 06春季研讨会:形式化和编译背景知识及其在知识表示和问题回答中的应用第50页–(2006) [25] 内政部:10.1007/s10994-006-5833-1·Zbl 1470.68221号 ·doi:10.1007/s10994-006-5833-1 [26] Gelfond,程序。第五届国际逻辑编程会议和研讨会第1070页–(1988) [27] Reiter,《逻辑和数据库》第119页–(1978年) [28] DOI:10.1016/S0743-1066(99)00071-0·Zbl 0957.68013号 ·doi:10.1016/S0743-1066(99)00071-0 [29] 法拉利,我们会给他们展示!Dov Gabbay论文第615页–(2005) [30] 内政部:10.1017/S1471068403001923·Zbl 1093.68017号 ·文件编号:10.1017/S1471068403001923 [31] DOI:10.1016/S0004-3702(97)00027-1·Zbl 0902.03017号 ·doi:10.1016/S0004-3702(97)00027-1 [32] 内政部:10.1016/0004-3702(93)90061-F·Zbl 0792.68176号 ·doi:10.1016/0004-3702(93)90061-F [33] 德沃斯,Proc。第20届软件技术和理论计算机科学基础会议(FSTTCS2000)第227页–(2000) [34] 珍珠,因果关系(2000) [35] 库森,Proc。第十五届人工智能不确定性会议第126页–(1999) [36] DOI:10.1016/0743-1066(94)00028-5·Zbl 0866.68017号 ·doi:10.1016/0743-1066(94)00028-5 [37] 内政部:10.1016/0004-3702(86)90031-7·Zbl 0589.03007号 ·doi:10.1016/0004-3702(86)90031-7 [38] Niemelä,程序。第四届逻辑编程和非单调推理国际会议pp 420–(1997) [39] Boutiler,程序。IJCAI 01第690页–(2001) [40] DOI:10.1016/S0304-3975(96)00128-4·Zbl 0874.68280号 ·doi:10.1016/S0304-3975(96)00128-4 [41] DOI:10.1006/inco.1994.1023·Zbl 0804.68026号 ·doi:10.1006/inco.1994.1023 [42] 内政部:10.1016/0743-1066(94)90025-6·Zbl 0820.68028号 ·doi:10.1016/0743-1066(94)90025-6 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。