里卡多·泽斯;朱塞佩·科塔;伊芙琳娜·拉姆;埃琳娜·贝洛迪;法布里西奥·里古齐 带有精确公式的概率DL推理：基于Prolog的方法。 （英语） 兹比尔1472.68194 理论与实践。日志。程序。 19，第3号，449-476（2019）. 摘要：在建模真实世界的域时，我们必须处理不完整的信息或来自不同信任级别的源的信息。这促使人们需要管理语义Web中的不确定性。为此，我们引入了一种概率语义学DISPONTE，以将描述逻辑（DLs）与概率理论相结合。然后，可以通过构建二进制决策图（BDD），从其解释集计算查询的概率。可以使用tableau算法，必须处理非决定论。Prolog以其对非确定性的有效处理，适合于实现tableau算法。TRILL和\（\mathrm{TRILL}^{P}\）是提供tableau算法的Prolog实现的系统\（\mathrm{TRILL}^{P}\）构建精确公式它简洁地表示了一组解释，并可以直接转换为BDD。这两种推理机的性能均优于最先进的DL推理机。在本文中，我们提出了一种改进的\（\mathrm{TRILL}^{P}\），命名为TORNADO，其中BDD是在构造表的过程中直接构建的，进一步加快了整个推理过程。实验对比表明了TORNADO的有效性。所有系统都可以在TRILL on SWISH web应用程序中在线试用，网址为http://trill.ml.unife.it/. 引用于1文件 MSC公司： 68T27型 人工智能中的逻辑 68N17号 逻辑编程 68立方英尺 知识表示 关键词：概率描述逻辑;语义网;二元决策图;人构成的画面或场景;序言 软件：前-OWL;HermiT公司;接通DLV;KL-ONE公司;康clude;DLog（数据日志）;传真CT++;精益TAP;弹丸;探测日志;PITA公司 PDF格式BibTeX公司 XML格式引用 \textit{R.Zese}等人，《理论与实践》。日志。程序。19，第3号，449--476（2019；Zbl 1472.68194） 全文： 内政部 arXiv公司 参考文献： [1] Baader，F.，Horrocks，I.和Sattler，U.2008。说明逻辑。爱思唯尔，阿姆斯特丹，第3章，135-179·Zbl 1098.68705号 [2] Baader，F.和Peñaloza，R.2010a。基于自动原理的精确定位。《自动推理杂志》45，2，91-129·Zbl 1213.68589号 [3] Baader，F.和Peñaloza，R.2010b。公理精确定位在一般表格中。逻辑与计算杂志20，1，5-34·Zbl 1191.68645号 [4] Baader，F.和Sattler，U.2001。描述逻辑表算法概述。逻辑研究69，1，5-40·Zbl 0991.03012号 [5] Beckert，B.和Posegga，J.1995。leanTAP：基于精益表格的演绎。《自动推理杂志》15，3，339-358·Zbl 0838.68097号 [6] Bellodi，E.、Lamma，E.，Riguzzi，F.和Albani，S.2011。概率本体的分布语义。程序中。第七届语义网不确定性推理国际研讨会，德国波恩，2011年10月23日，Bobillo，F.，Carvalho，R.，Da Costa，P.C.G.，D'Amato，C.，Fanizzi，N.，Laskey，K.B.，Laskie，K.J.，Lukasiewicz，T.，Martin，T.、Nickles，M.和Pool，M.，Eds.CEUR-WS，第778卷。Sun SITE中欧，德国亚琛，75-86。 [7] Bock，C.、Fokoue，A.、Hoekstra，R.、Horrocks，I.、Ruttenberg，A.、Sattler，U.和Smith，M.2012。OWL 2 web本体语言：结构规范和功能样式语法。W3C建议。网址：https://www.w3.org/TR/owl2-syntax/。 [8] 布莱恩特，R.E.1986。布尔函数操作的基于图形的算法。IEEE计算机学报35,8（8月），677-691·Zbl 0593.94022号 [9] Carvalho，R.N.、Laskey，K.B.和Da Costa，P.C.G.2013。PR-OWL 2.0-弥合OWL语义的鸿沟。在《语义网络的不确定性推理II》中，2008年至2010年在ISWC举行的URSW国际研讨会和2010年在FLoC举行的UniDL国际研讨会，修订论文集，Bobillo，F.，Da Costa，P.C.G.，D’Amato，C.，Fanizzi，N.，Laskey，K.B.，Laskey，K.J.，Lukasiewicz，T.，Nickles，M.和Pool，M.，Eds.LNCS，第7123卷。施普林格，1-18。 [10] 伊利诺伊州塞兰。İ., Mendez，J.和Peñaloza，R.2015。贝叶斯本体推理机诞生了！非正式程序。第四届OWL推理机评估国际研讨会（ORE-2015）与第二十八届描述逻辑国际研讨会（DL 2015）合办，Dumoniter，M.、Glimm，B.、Gonçalves，R.S.、Horrige，M.，Jiménez-Ruiz，E.、Matentzoglu，N.、Parsia，B.、Stamou，G.和Stoilos，G.，Eds.CEUR-WS，第1387卷。CEUR-WS.org，8-14。 [11] 伊利诺伊州塞兰。İ. 和Peñaloza，R.2015。贝叶斯描述逻辑BEl中的概率查询应答。在SUM 2015中，Beierle，C.和Dekhtyar，A.编辑，《计算机科学讲义》（LNCS），第9310卷。施普林格，21-35。 [12] 丁，Z.和彭，Y.2004。本体语言OWL的概率扩展。第37届夏威夷国际系统科学会议（HICSS-37 2004），CD-ROM/Abstracts Proceedings，5-8 Janumber 2004，Sprague，R.H.Jr.，Ed.IEEE Computer Society，Big Island，HI，USA，1-10。 [13] Gavanelli，M.、Lamma，E.、Riguzzi，F.、Bellodi，E.，Zese，R.和Cota，G.，2015年。数据日志本体论的溯源框架。在第31届国际逻辑程序设计会议（ICLP 2015）的技术通信中，Vos，M.D.、Eiter，T.、Lierler，Y.和Toni，F.，Eds.CEUR-WS，第1433卷。CEUR-WS.org网站·Zbl 1407.68479号 [14] Heinsohn，J.1994年。概率描述逻辑。第十届人工智能不确定性会议（UAI 1994），华盛顿州西雅图，1994年7月29日至31日，De Mántaras，R.L.和Poole，D.，Eds.Morgan Kaufmann，311-318。 [15] Horrocks，I.、Kutz，O.和Sattler，U.2006。更令人无法抗拒的SROIQ。程序中。2006年6月2日至5日在英国湖区举行的第十届知识表示和推理原则国际会议，Doherty，P.、Mylopoulos，J.和Welty，C.A.编辑，AAAI出版社，57-67。 [16] Horrocks，I.和Sattler，U.2007年。（{校准S}{校准H}{校准O}{调I}{调整Q}）的表决策过程。《自动推理杂志》39，3，249-276·Zbl 1132.68734号 [17] Hustadt，U.，Motik，B.和Sattler，U.2008。在解析框架中确定表达性描述逻辑。信息与计算206，5，579-601·兹比尔1146.68456 [18] Jaeger，M.1994年。术语逻辑中的概率推理。在第四届知识表示和推理原则国际会议上，Doyle，J.、Sandewall，E.和Torasso，P.，Eds.Morgan Kaufmann，305-316。 [19] Jung，J.C.和Lutz，C.2012。OWL QL基于本体的概率数据访问。在语义网络-ISWC 2012-第十一届国际语义网络会议上，Cudré-Mauroux，P.、Heflin，J.、Sirin，E.、Tudorache，T.、Euzenat，J.，Hauswirth，M.、Parreira，J.X.、Hender，J..、Schreiber，G.、Bernstein，A.和Blomqvist，E.，Eds.LNCS，第7649卷。施普林格，柏林，海德堡，182-197年。 [20] Kifer，M.和Subrahmanian，V.S.1992。广义注释逻辑程序设计理论及其应用。逻辑程序设计杂志12，3&4，335-367。 [21] Kimmig，A.、Demoen，B.、De Raedt，L.、Costa，V.S.和Rocha，R.2011。概率逻辑程序设计语言ProbLog的实现。逻辑程序设计的理论与实践11，2-3，235-262·Zbl 1220.68037号 [22] Klinov，P.2008年。Pronto：一个非单调概率描述逻辑推理器。程序中。《语义网络：研究与应用》，第五届欧洲语义网络会议，ESWC 2008，西班牙加那利群岛特内里费，2008年6月1日至5日，Bechhofer，S.，Hauswirth，M.，Hoffmann，J.和Koubarakis，M.编辑，LNCS，第5021卷。施普林格，822-826。 [23] Klinov，P.和Parsia，B.2008。概率描述逻辑中推理的优化和评估：走向系统方法。程序中。2008年10月26日至30日在德国卡尔斯鲁厄举行的第七届国际语义网络会议上发表的《语义网络-ISWC 2008》，Sheth，A.P.，Staab，S.，Dean，M.，Paolucci，M.、Maynard，D.、Finin，T.W.和Thirunarayan，K.编辑，《计算机科学讲稿》，第5318卷。施普林格，213-228。 [24] Klinov，P.和Parsia，B.2011年。概率可满足性的一种混合方法。在CADE，Björner，N.和Sofronie-Stokkermans，V.中，LNCS编辑，第6803卷。354-368. ·Zbl 1341.68191号 [25] Koller，D.、Levy，A.Y.和Pfeffer，A.1997。P-CLASSIC：一种易于处理的概率描述逻辑。在第十四届全国人工智能会议和第九届人工智能创新应用会议上，AAAI 97、IAAI 97，罗德岛普罗维登斯，1997年7月27日至31日，Kuipers，B.和Webber，B.L.，编辑AAAI出版社/麻省理工学院出版社，390-397。 [26] Lakshmanan，L.V.S.和Sadri，F.2001。概率演绎数据库理论。逻辑程序设计理论与实践1，1，5-42。 [27] Lukácsy，G.和Szeredi，P.2009。序言中高效的描述逻辑推理：数据日志系统。逻辑程序设计的理论与实践9，3，343-414·Zbl 1179.68024号 [28] Lukasiewicz，T.2008。表达概率描述逻辑。人工智能172，6-7，852-883·Zbl 1182.68283号 [29] Lutz，C.和Schröder，L.2010。主观不确定性的概率描述逻辑。在第十二届知识表示和推理原理国际会议（KR 2010）上，Lin，F.，Sattler，U.和Truszczynski，M.，Eds.AAAI Press，Menlo Park，CA，USA，393-403。 [30] Nilsson，N.J.1986年。概率逻辑。人工智能28，1，71-87·Zbl 0589.03007号 [31] Panda，S.和Somenzi，F.1995。谁是你周围的变数。1995年IEEE/ACM计算机辅助设计国际会议论文集，ICCAD 1995，美国加利福尼亚州圣何塞，1995年11月5-9日，Rudell，R.L.，Ed.IEEE Computer Society/ACM，74-77。 [32] Patel-Schneider，P.F.，Horrocks，I.和Bechhofer，S.2003。OWL教程。在语义网-ISWC 2003，第二届国际语义网会议，美国佛罗里达州萨尼贝尔岛，2023年，2013年10月。网址：网址：http://www.cs.man.ac.uk/horrocks/ISWC2003/Tutorial/。 [33] Reiter，R.1987年。从第一原理诊断的理论。人工智能32，1，57-95·Zbl 0643.68122号 [34] Ricca，F.、Gallucci，L.、Schindlauer，R.、Dell'Armi，T.、Grasso，G.和Leone，N.2009。OntoDLV：一个基于ASP的企业本体系统。《逻辑与计算杂志》19，4643-670·Zbl 1192.68132号 [35] Riguzzi，F.、Bellodi，E.、Lamma，E.和Zese，R.2013。概率本体的参数学习。在RR 2013中，Faber，W.和Lembo，D.，Eds.LNCS，第7994卷。柏林施普林格，海德堡，265-270·Zbl 1347.68320号 [36] Riguzzi，F.、Bellodi，E.、Lamma，E.和Zese，R.2015。分布语义下的概率描述逻辑。语义网6，5，447-501·Zbl 1400.68226号 [37] Riguzzi，F.和Swift，T.2010。带注释析取的逻辑程序推理的表格和答案包含。2010年7月16日至19日在英国苏格兰爱丁堡举行的第26届国际逻辑程序设计会议的技术交流，Hermenegildo，M.V.和Schaub，T.，Eds.LIPIcs，第7卷。德国达格斯图尔（Dagstuhl）-莱布尼茨（Leibniz）-Zentrum fuer Informatik宫（162-171）·Zbl 1237.68049号 [38] Riguzzi，F.和Swift，T.2011。PITA系统：不确定性推理的表格和答案包容。逻辑程序设计的理论与实践11，4-5，433-449·兹比尔1218.68169 [39] 佐藤，T.1995。具有分布语义的逻辑程序的统计学习方法。在逻辑编程，程序。1995年6月13日至16日在日本东京举行的第十二届逻辑程序设计国际会议，Sterling，L.，Ed.MIT Press，715-729。 [40] Shearer，R.、Motik，B.和Horrocks，I.2008。HermiT：一个高效的OWL推理器。程序中。第五届OWLED OWL研讨会：经验与方向，与第七届国际语义网络会议（ISWC-2008）合办，德国卡尔斯鲁厄，2008年10月26-27日，Dolbear，C.，Ruttenberg，A.，and Sattler，U.，Eds.CEUR-WS，第432卷。CEUR-WS.org。 [41] Sirin，E.，Parsia，B.，Cuenca-Grau，B.，Kalyanpur，A.和Katz，Y.2007。Pellet：一个实用的OWL-DL推理器。网络语义杂志5，2，51-53。 [42] Steigmiller，A.、Liebig，T.和Glimm，B.2014。Konclude：系统描述。《网络语义学杂志》27，78-85·Zbl 1423.68486号 [43] Tsarkov，D.和Horrocks，I.2006年。FaCT++描述逻辑推理器：系统描述。程序中。《自动推理》，第三届国际联合会议，IJCAR 2006，西雅图，华盛顿州，美国，2006年8月17日至20日，Furbach，U.和Shankar，N.编辑，LNCS，第4130卷。施普林格，292-297。 [44] Zese，R.2017年。概率语义网：推理和学习。语义网研究，第28卷。阿姆斯特丹IOS出版社。 [45] Zese，R.、Bellodi，E.、Riguzzi，F.、Cota，G.和Lamma，E.2018。描述逻辑的表推理及其对概率的扩展。数学与人工智能年鉴82，1-3，101-130·Zbl 1398.68506号 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。