×

具有答案集的概率推理。 (英语) Zbl 1170.68003号

摘要:本文开发了一种声明性语言P-log,它在推理中结合了逻辑和概率参数。答案集Prolog用作逻辑基础,而因果贝叶斯网用作概率基础。我们给出了几个不平凡的例子,并说明了P-log在知识表示和知识更新中的应用。我们认为,我们的更新方法比现有方法更有吸引力。我们给出了P-log程序一致性的充分条件,并证明了Bayes网可以很容易地映射到一致的P-log计划。

MSC公司:

68N17号 逻辑编程
68立方英尺 知识表示
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。