Ng，雷蒙德；苏布拉曼尼亚，V.S。 在演绎数据库中支持主观概率和条件概率的语义框架。 （英语） Zbl 0784.68082号 J.汽车。推理 191-235（1993）第2期第10期. 摘要：我们提出了在演绎数据库中支持主观概率和条件概率的理论基础。我们设计了一种比经典逻辑编程更具表现力的语言。特别是，用户可以表示这样一个事实：（a）是可能的（即，（a）具有非零概率），（B）是可行的，但（a）作为一个整体是不可能的。用户还可以自由指定可能包含变量的概率注释。本文的重点是研究用这种语言编写的程序的语义与概率论的关系。我们的模型理论建立在经典模型的基础上，在Herbrand解释的水平上捕获了概率程序中描述的不确定性。此外，我们还为此类程序开发了不动点理论和证明过程，并给出了稳健性和完备性结果。最后，我们描述了概率论与程序的不动点、模型和证明理论之间的关系。 引用于1审查引用于18文件 MSC公司： 68T27型 人工智能中的逻辑 68T99型 人工智能 第68季度55 计算理论中的语义学 第68页，共15页 数据库理论 68N17号 逻辑编程 关键词：不确定性推理；主观概率和条件概率；演绎数据库；不动点理论；概率论 PDF格式BibTeX公司 XML格式引用 \textit{R.Ng}和\textit{V.S.Subrahmanian}，J.Autom。推理10，No.2，191--235（1993；Zbl 0784.68082） 全文： 内政部 参考文献： [1] Anderson，E.J.和Nash，P.，《无限维空间中的线性规划：理论与应用》，Wiley（1987）·兹比尔0632.90038 [2] 巴克斯，F.，用概率知识表示和推理，研究报告CS-88-31，滑铁卢大学（1988）。 [3] J.F.鲍德温？证据支持逻辑编程？，J.模糊集与系统24，1-26（1987）·Zbl 0639.68105号 ·doi:10.1016/0165-0114（87）90110-2 [4] Bandler，W.和Kohout L.J？根据检查表范式的多值逻辑运算统一理论？，美国电气与电子工程师协会论文集。系统、Man Cybernet。(1984). [5] H.A.布莱尔和V.S.苏布拉曼尼亚？准一致逻辑编程？，理论。《计算机科学》68，35-54（1987）。初步版本：Proc。第七届软件技术和理论计算机科学基础会议，计算机科学讲稿，287，第340-360页，斯普林格-Verlag·Zbl 0631.68009号 [6] H.A.布莱尔和V.S.苏布拉曼尼亚？逻辑编程的准一致基础？，《非经典逻辑杂志》5（2）45-73（1988）·Zbl 0689.03012号 [7] 卡纳普，R.，《概率的逻辑基础》，第二版。，芝加哥大学出版社（1962）·Zbl 0143.01201号 [8] Cheeseman，P？为概率辩护？，程序。IJCAI-85，第1002-1009页（1985年）。 [9] da Costa，N.C.A.，Abe，J.M.和Subrahmanian，V.S？注释逻辑备注？，Z.f.数学。Logik u.Grundlagen der Mathematik 37（1991）。 [10] A.P.邓普斯特？贝叶斯推理的推广？，J.皇家统计学会。B 30，205-247（1968）·Zbl 0169.21301号 [11] 共和党人杜达、共和党人哈特和新泽西州尼尔森？基于规则推理系统的主观贝叶斯方法？，程序。全国计算机会议，第1075-1082页（1976年）。 [12] 费金，R.和哈尔佩恩，J？不确定性、信念和概率？，程序。IJCAI-89，摩根考夫曼（1988）·Zbl 0634.03013号 [13] 费金（Fagin，R.）、哈尔佩恩（Halpern，J.Y.）和梅吉多（Megiddo，N.）？推理概率的逻辑？，信息与计算（1989）·Zbl 0811.03014号 [14] 芬斯塔德，J.E？一阶语言中定义的概率结构？，《归纳逻辑和概率研究》，第2卷（编辑：R.C.Jeffrey），加利福尼亚大学出版社，第251-262页（1980年）。 [15] 配件，M.C？拓扑双参数逻辑编程？，基础信息11，209-218（1988）·Zbl 0647.68096号 [16] 配件，M.C？双边性和逻辑编程的语义？，J.Logic Programming（1988）·Zbl 0757.68028号 [17] H·盖夫曼？关于一阶计算中的测度？，以色列J.数学。2, 1-17 (1964). ·Zbl 0192.03302号 ·doi:10.1007/BF02759729 [18] Ginsberg，M？多值逻辑：人工智能推理的统一方法？，计算智能4，265-316（1988）。 ·doi:10.1111/j.1467-8640.1988.tb00280.x [19] Gnedenko，B.V.和Khinchin，A.Y.，《概率论的基本介绍》，多佛出版公司（1962年）·兹比尔0102.34402 [20] Hailperin，T？概率逻辑？，《圣母院J.形式逻辑》25（3），198-212（1984）·Zbl 0547.03018号 ·doi:10.1305/ndjfl/1093870625 [21] 哈奇扬，L.G？线性规划中的多项式算法？，多克拉迪·阿卡德。瑙克苏维埃社会主义共和国2441093-1096（1979年）。苏联数学？Doklady20191-194（1979）·Zbl 0414.90086号 [22] Kifer，M.和Krishnaprasad，T？遗传理论的基于证据的框架？，程序。第11届国际人工智能联合会议，1093-1098，Morgan-Kaufmann（1989）·Zbl 0713.68057号 [23] Kifer，M.，Krishnaprasad，T.和Warren，D.S？关于继承网络的声明性语义？，程序。第11届国际人工智能联合会议，Morgan-Kaufmann（1989）·Zbl 0714.68088号 [24] Kifer，M.和Li，A？关于基于规则的不确定性专家系统的语义？，第二届数据库理论国际会议（LNCS 326）（编辑：M.Gyssens、J.Paredaens、D.Van Gucht），（施普林格出版社）比利时布鲁日，第102-117页（1988年）·Zbl 0652.68109号 [25] Kifer，M.和Lozinskii，E？RI：不一致推理的逻辑？，第四届计算机科学逻辑研讨会，加利福尼亚州阿西洛马，第253-262页（1989年）·Zbl 0717.03005号 [26] Kifer，M.和Subrahmanian，V.S？广义注释逻辑程序设计理论及其应用，《逻辑程序设计杂志》12（4），335-368（1992）。 ·doi:10.1016/0743-1066（92）90007-P [27] 科尔莫戈罗夫，A.N.，《概率论基础》，切尔西出版公司（1956年）·Zbl 0074.12202号 [28] Kyburg，H.，《统计推断的逻辑基础》，D.Reidel（1974年）·Zbl 0335.02001号 [29] Lloyd，J.W.，《逻辑编程基础》，Springer（1987）·Zbl 0668.68004号 [30] Lukasiewicz，J.，《概率论的逻辑基础》，载于：Jan Lukasiweicz的作品选集（编辑：L.Berkowski），北荷兰，第16-43页（1970年）。 [31] Martelli，A.和Montanari，U？一种高效的统一算法？，ACM事务处理。掠夺。语言和系统4（2），258-282（1982）·Zbl 0478.68093号 ·doi:10.1145/357162.357169 [32] Morishita，S.，《多值逻辑程序语义的统一方法》，《RT5006技术报告》，IBM东京，1990年4月9日。 [33] Ng，R.T.和Subrahmanian，V.S？概率逻辑编程？，信息与计算（1992）。程序中的初步版本。第五届智能系统方法论国际研讨会，第9-16页（19xx）。 [34] 尼尔森，N？概率逻辑？，AI Journal 28，71-87（1986）·Zbl 0589.03007号 [35] Pearl，J.，《智能系统中的概率推理：合理推理网络》，Morgan Kaufmann（1988）·Zbl 0746.68089号 [36] Schrijver，A.，《线性和整数规划理论》，Wiley（1986）·Zbl 0665.90063号 [37] D.S.斯科特和P.克劳斯？为逻辑公式分配概率？，《归纳逻辑的方面》（J.Hintikka和P.Suppes编辑），北荷兰（1966年）·Zbl 0202.29905号 [38] Shafer，G.，《证据的数学理论》，普林斯顿大学出版社（1976年）。 [39] E.夏皮罗？具有不确定性的逻辑程序：实现专家系统的工具？，程序。83年，威廉·考夫曼（William Kauffman），第529-532页（1983年）。 [40] 肖恩菲尔德，J.，《数学逻辑》，艾迪森·韦斯利（1967）·Zbl 0155.01102号 [41] 苏布拉曼尼亚，V.S？关于定量逻辑程序的语义？，程序。第四届IEEE逻辑编程研讨会，计算机社会出版社，华盛顿特区，第173-182页（1987年）。 [42] 苏布拉曼尼亚，V.S？基于多值格的逻辑程序设计的机械证明程序？，出现·Zbl 0724.03012号 [43] 苏布拉曼尼亚，V.S？准一致析取演绎数据库？，西奥。计算机科学。第93卷，第115-141页（1992年）·Zbl 0745.68042号 ·doi:10.1016/0304-3975（92）90214-Z [44] 范·埃姆登，M.H？定量演绎及其不动点理论？，逻辑编程，4（1），37-53（1986）·Zbl 0609.68068号 [45] 洛杉矶扎德？模糊集？，信息与控制8，338-353（1965）·Zbl 0139.24606号 ·doi:10.1016/S0019-9958（65）90241-X [46] 洛杉矶扎德？模糊算法？，信息与控制12，94-102（1968）·兹比尔0182.33301 ·doi:10.1016/S0019-9958（68）90211-8 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。