费德里科·塞鲁蒂;马蒂亚斯·蒂姆 用概率推理的一般方法。 （英语） Zbl 1454.68144号 国际J近似推理 111, 35-50 (2019). 摘要：我们提出了一种将概率推理能力添加到各种知识表示形式中的通用方案，并研究了其特性。在语法上，我们考虑给给定基本逻辑的公式添加概率。在语义上，我们通过相应地考虑公式的概率来定义知识库子集上的概率分布。这就产生了一种可用于不确定性推理的概率蕴涵关系。我们的方法是对现有方法的许多具体概率丰富的概括，例如ProbLog（概率逻辑编程方法）和抽象论证的星座方法。我们分析了该方法的一般特性，并对尚未研究的新实例化提供了一些见解。 引用于三文件 MSC公司： 68层37 人工智能背景下的不确定性推理 68N17号 逻辑编程 68立方英尺 知识表示 关键词：概率推理;分布语义;概率逻辑程序设计;概率论证 PDF格式BibTeX公司 XML格式引用 \textit{F.Cerutti}和\textit{M.Thimm}，《国际近似推理》111，35-50（2019；Zbl 1454.68144） 全文： 内政部 链接 参考文献： [1] 巴克斯，法希姆；亚当·格罗夫（Adam J.Grove）。；Joseph Y.Halpern。；Daphne Koller，《从统计知识库到信念程度》，Artif。智力。，87, 1-2, 75-143 (1996) ·Zbl 1506.68146号 [2] 奇塔·巴拉尔；Michael Gelfond；纳尔逊·拉什顿，《带答案集的概率推理》（弗拉基米尔·利夫希茨；伊尔卡·尼美拉，《逻辑编程和非单调推理》（2004），施普林格：施普林格-柏林-海德堡），21-33·Zbl 1122.68361号 [3] 罗纳德·布拉赫曼（Ronald J.Brachman）。；Levesque，Hector J.，《知识表示与推理》（Knowledge Representation and Reasoning）（2004），摩根考夫曼出版社·Zbl 1341.68228号 [4] Bratko，Ivan，《人工智能Prolog编程》（2001），Addison-Wesley·Zbl 0599.68007号 [5] 格哈德·布鲁卡（Gerhard Brewka）；斯特凡·埃尔马塔勒尔（Stefan Ellmauthaler）；汉内斯·斯特拉斯（Hannes Strass）；约翰·彼得·沃纳（Johannes Peter Wallner）；Woltran，Stefan，重新审视抽象辩证框架，（第23届国际人工智能联合会议论文集（2013）），803-809 [6] Cayrol，C。；Lagasquie-Schiex，M.C.，《关于两极论证框架中论点的可接受性》（Godo，Lluís，《不确定性推理的符号和定量方法》（2005），斯普林格-柏林-海德堡：斯普林格/柏林-海德堡-柏林，海德堡），378-389·Zbl 1122.68639号 [7] 费德里科·塞鲁蒂（Federico Cerutti）；Thimm，Matthias，《概率推理的一般方法》（扩展摘要），（第16届知识表示与推理原则国际会议（KR’19）（2018年10月））·Zbl 1454.68144号 [8] 费德里科·塞鲁蒂（Federico Cerutti）；Thimm，Matthias，知识表示形式的概率增强，（混合推理与学习研讨会论文集（HRL’18）（2018年10月））·兹比尔1430.68319 [9] 尼列什·达维；Suciu，Dan，概率数据库的高效查询评估，VLDB J.，16，4，523-544（2007） [10] 吕克，德雷德；克里斯蒂安·凯斯廷（Kristian Kersting）；斯里拉姆·纳塔拉扬；David Poole，《统计关系人工智能：逻辑、概率和计算》。Morgan&Claypool出版社《人工智能和机器学习综合讲座》（2016）·Zbl 1352.68005号 [12] Luc De Raedt；安吉丽卡·基米格（Angelika Kimmig）；伯恩德·古特曼；克里斯蒂安·凯斯廷（Kristian Kersting）；Vitor Santos Costa；Toivonen，Hannu，《使用Problog进行概率归纳查询》（2009年6月），比利时鲁汶大学计算机科学系，技术报告CW 552 [13] 亚历山德拉·迪·皮耶罗；Wiklicky，Herbert，概率并发约束编程：走向完全抽象模型，（Brim，Luboš；Gruska，Jozef；Zlatuška，Jiří，计算机科学数学基础1998（1998），Springer Berlin Heidelberg:Springer柏林Heidelbrg Berlin，Heidelbeg），446-455·Zbl 0952.68090号 [14] 佩德罗·多明戈斯；Daniel Lowd，《马尔可夫逻辑：人工智能的接口层》。《人工智能和机器学习综合讲座》（2009年），摩根和克莱普尔：摩根和克莱浦加州圣拉斐尔·Zbl 1202.68403号 [15] 斯坦尼斯拉夫·德拉吉耶夫；俄罗斯，亚历山德拉；俄罗斯布罗达；法律，马克；Turliuc，Calin-Rares，概率归纳逻辑编程的诱因归纳算法，（第26届归纳逻辑编程国际会议论文集（短文）（2016）），20-26 [16] Dung，Phan Minh，《论据的可接受性及其在非单调推理、逻辑编程和n人游戏中的基本作用》，Artif。智力。，77, 2, 321-357 (1995) ·兹比尔1013.68556 [17] 罗纳德·费金；Joseph Y.Halpern，《关于知识和概率的推理》，J.ACM，41，2，340-367（1994）·Zbl 0806.68098号 [18] 贝蒂娜·法辛加；塞尔吉奥·弗莱斯卡；Furfaro，Filippo，概率两极抽象论证框架：复杂性结果，（IJCAI（2018）），1803-1809 [19] 贝蒂娜·法辛加；塞尔吉奥·弗莱斯卡；Furfaro，Filippo，概率抽象论证中基本问题的复杂性：超越独立性，人工制品。智力。，268, 1-29 (2019) ·Zbl 1478.68352号 [21] Fuhr，Norbert，概率数据日志：实现高级应用程序的逻辑信息检索，美国信息科学协会。技术。，51, 2, 95-110 (2000) [22] 马丁·格布瑟（Martin Gebser）；罗兰·卡明斯基（Roland Kaminski）；本杰明·考夫曼；托尔斯滕·绍布（Torsten Schaub），《实践中的答案集解决》（2012），摩根&克莱普尔出版社·Zbl 1251.68060号 [23] Michael Gelfond；Leone，Nicola，《逻辑编程和知识表示——A-Prolog视角》，Artif。智力。，138, 1-2, 3-38 (2002) ·Zbl 0995.68022号 [24] Michael Gelfond；弗拉基米尔，Lifschitz，逻辑程序和析取数据库中的经典否定，新世代。计算。，9, 3/4, 365-386 (1991) ·兹比尔0735.68012 [25] 古普塔、维尼特；拉达·贾加迪桑；Saraswat，Vijay，概率并发约束编程，（Antoni Mazurkiewicz；Józef Winkowski，CONCUR’97：并发理论（1997），Springer Berlin Heidelberg:Springer Barlin Heitelberg Berlin，Heidelbrg），243-257·Zbl 1512.68153号 [26] Hájek，Petr，《模糊逻辑的元数学》（1998），Kluwer:Kluwer-Dordrecht·Zbl 0937.03030号 [28] Duy Hung，Nguyen，《扩展论证的分布语义》，（第18届知识与系统科学国际研讨会论文集（2017）），197-211 [29] 安东尼·亨特（Anthony Hunter），《概率抽象论证的一些基础》（the Some foundations for the probability abstract signature），第四届国际论证计算模型会议论文集（2012），117-128 [30] 安东尼·亨特（Anthony Hunter），抽象论证中攻击的概率限定，《国际近似推理》。，55, 2, 607-638 (2014) ·Zbl 1316.68153号 [31] Kohlas，Jürg，概率论证系统：逻辑与概率结合的新方法，J.Appl。日志。，1，3，225-253（2003），概率与逻辑结合·Zbl 1037.03018号 [32] 库尔·科拉斯；安里格，伯恩哈德；罗尔夫·哈尼；Monney，Paul-André，基于模型的诊断和基于概率假设的推理，Artif。智力。，104、1-2、71-106（1998年9月）·Zbl 0917.68202号 [33] 库尔·科拉斯；保罗·安德烈（Paul-AndréMonney），《基于概率假设的推理》（Probabilistic Assumption-Based Reasoning），第82-135页（1995） [34] Robert A.Kowalski，《逻辑编程的早期》，Commun出版社。ACM，31，1，38-43（1988） [35] 李恒飞；尼尔·奥伦；Timothy J.Norman，概率论证框架，（第一届形式论证理论与应用国际研讨会论文集（2011）），1-16 [36] 李恒飞，Nir Oren，Timothy J.Norman，概率论证中的放松独立性假设，在：第十届多智能体系统论证国际研讨会（ArgMAS 2013），2013年。；李恒飞（Hengfei Li）、尼尔·奥伦（Nir Oren）、蒂莫西·诺曼（Timothy J.Norman），《放松概率论证中的独立性假设》（Relaxing independence subsidents in probability designation），载于：第十届多智能体系统论证国际研讨会（ArgMAS 2013），2013。 [37] Thomas Lukasiewicz，概率逻辑编程（ECAI（1998）），388-392 [38] Lukasiewicz，Thomas，从分类学和概率知识库中对连接事件进行局部概率推断，国际期刊近似推理。，21, 1, 23-61 (1999) ·Zbl 0961.68135号 [39] 曼塔代利斯（Mantadelis）、西奥弗拉斯托斯（Theofrastos）；杰尔达·扬森（Gerda Janssens），《概率设置的专用表格》（Hermenegildo，Manuel；Schaub，Torsten），《第26届逻辑编程国际会议的技术通信》（Technical Communications of the 26th International Conference on Logic Programming），莱布尼茨（Leibniz）International Proceedings in Informatics（LIPIcs），第7卷（2010），达格斯图尔（Dagstuhl）：德国达格斯图），124-133年，达格斯都尔-莱布尼茨-泽特鲁姆-富尔-信息化宫·Zbl 1237.68190号 [40] 桑贾·莫吉尔；Prakken，Henry，结构化论证的ASPIC+框架：教程，Argum。计算。，5, 31-62 (2014) [41] Nilsson，Nils J.，概率逻辑，Artif。智力。，28, 1, 71-87 (1986) ·Zbl 0589.03007号 [42] Paris，Jeff B.，《不确定推理者的伴侣——数学观点》（1994），剑桥大学出版社·Zbl 0838.68104号 [43] 朱迪娅·珀尔（Judea Pearl），《智能系统中的概率推理：合理推理网络》（1988），施普林格-弗拉格出版社·Zbl 0746.68089号 [44] Sylwia Polberg；Doder，Dragan，概率抽象辩证框架（2014年第14届欧洲人工智能逻辑会议论文集），591-599·Zbl 1343.68228号 [45] 大卫·普尔（David Poole），《代表概率性角诱拐的诊断知识》（第12届国际人工智能联合会议论文集，第2卷）。第十二届国际人工智能联合会议论文集-第2卷，IJCAI'91（1991），Morgan Kaufmann Publishers Inc.：Morgan Koufmann-Publishers Inc.San Francisco，CA，USA），1129-1135·Zbl 0749.68086号 [46] Poole，David，概率角诱拐和贝叶斯网络，人工制品。智力。，64, 1, 81-129 (1993) ·Zbl 0792.68176号 [47] David Poole，《独立选择逻辑及其超越》，（Luc De Raedt；Frasconi，Paolo；Kersting，Kristian；Muggleton，Stephen，概率归纳逻辑编程：理论与应用。概率归纳逻辑程序设计：理论与运用，人工智能讲义，第4911卷（2008），Springer）·Zbl 1137.68596号 [48] 大卫·普尔（David Poole），《概率编程语言：独立选择和确定性系统》（Probabilistic programming languages:independent choices and determinative systems），（启发式、概率和因果关系：向朱迪亚·珀尔（Judea Pearl）致敬（2010），大学出版社）·Zbl 1216.68070号 [49] 尼科·波提卡；Thimm，Matthias，《通过最小化不一致性来巩固概率知识库》（《第21届欧洲人工智能会议论文集》（2014）），729-734·兹伯利1366.68316 [50] Proietti，Carlo，极化和两极概率论证框架，（AÎ3@AI*IA（2017）），22-27 [51] 雷蒙德·赖特（Raymond Reiter），《默认推理逻辑》（A logic for default reasoning），阿蒂夫（Artif）。智力。，1381-132（1980年）·Zbl 0435.68069号 [52] 马修·理查森（Matthew Richardson）；多明戈斯，佩德罗，马尔可夫逻辑网络，马赫。学习。，62, 1-2, 107-136 (2006) ·Zbl 1470.68221号 [53] Rienstra，Tjitze，《走向概率Dung-style论证系统》，（第一届国际协议技术会议论文集（2012）），138-152 [54] Vijay A.Saraswat。；Martin Rinard，并发约束编程，（第17届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集。第17届美国计算机学会SIGPLAN-SIGACT程序设计语言原理研讨会文献集，POPL’90（1990），美国计算机学会：美国纽约ACM），232-245 [55] Sato，Taisuke，《具有分布语义的逻辑程序的统计学习方法》（第十二届逻辑程序设计国际会议论文集（1995）），715-729 [56] 格伦·谢弗（Glenn Shafer），《证据的数学理论》（1976），普林斯顿大学出版社·Zbl 0359.62002号 [57] 丹·苏秋；丹·奥尔特阿努；Re，Christopher；科赫、克里斯托夫，《概率数据库》（2011），摩根&克莱普尔出版社·Zbl 1237.68012号 [58] Wilson，Nic，你相信多少？，国际期刊近似原因。，6、3、345-365（1992年5月）·Zbl 0751.68071号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。