×
塞兰、伊斯梅尔·伊尔坎;拉斐尔·佩尼亚洛萨

贝叶斯本体语言（mathcal{BEL}）。 （英语） Zbl 1409.68278号

J.汽车。推理 58，第1号，67-95（2017）.
摘要：我们引入了新的概率描述逻辑（DL）（mathcal{BEL}），它扩展了轻量级DL（mathca{EL}）的可能性，可以表示某些知识有效性的不确定性。与其他概率DL相反，（mathcal{BEL}）旨在表示依赖于不确定上下文的经典知识；也就是说，根据当前情况，某些知识可能适用或不适用。这些上下文的概率分布用贝叶斯网络（BN）表示。我们研究了\（mathcal{BEL}\）中的不同推理问题，为所有这些问题提供了严格的复杂性边界。我们框架的一个特别有趣的特性是，推理可以在逻辑（即（mathcal{EL}））和概率（即BN）组件之间解耦。随后，我们概括了所有提出的概念，以引入任意本体语言的贝叶斯扩展。使用解耦属性，我们能够为许多其他DL的贝叶斯扩展中的推理。我们根据所做的假设对我们的形式主义进行了详细分析，并将其与现有方法进行了比较。

引用于三文件

MSC公司：

68T27型 人工智能中的逻辑
68立方英尺 知识表示
68层37 人工智能背景下的不确定性推理

关键词：

描述逻辑;贝叶斯网络;概率推理;知识表示

软件：

ProbLog（问题日志）;信标;HgMUS公司;CEL公司;ELK公司
PDF格式BibTeX公司 XML格式引用
\textit{I.I.Ceylan}和\textit{R.Peñaloza}，J.Autom。推理58，No.1，67-95（2017；Zbl 1409.68278）
全文： 内政部

参考文献：

[1] Arif，F.，Mencía，C.，Ignatiev，a.，Manthey，N.，Peñaloza，R.，Marques-Silva，J.：BEACON：一种高效的基于SAT的工具，用于调试EL+本体。在：《第19届可满足性测试理论与应用国际会议论文集》（SAT 2016），《计算机科学讲义》，第9710卷，第521-530页。柏林施普林格出版社（2016）·Zbl 1475.68368号
[2] Arif，M.F.，Mencía，C.，Marques-Silva，J.：Horn公式的有效MUS枚举及其公理精确定位应用。CoRR arXiv:1505.04365。http://arxiv.org/abs/1505.04365 (2015) ·Zbl 1471.68173号
[3] Baader，F.，Peñaloza，R.：基于自动化的公理精确定位。J.汽车。原因。45(2), 91-129 (2010) ·Zbl 1213.68589号 ·doi:10.1007/s10817-010-9181-2
[4] Baader，F.，Peñaloza，R.：公理在一般画面中的精确定位。J.逻辑计算。20(1), 5-34 (2010) ·Zbl 1191.68645号 ·doi:10.1093/log.com/exn058
[5] Baader，F.、Brandt，S.、Lutz，C.：推动EL信封。摘自：第19届国际人工智能联合会议记录（IJCAI-05）。Morgan Kaufmann（2005）·Zbl 0818.68097号
[6] Baader，F.，Lutz，C.，Suntisrivaraporn，\[B.：{\sf CEL}\]CEL——生命科学本体论的多项式时间推理器。收录于：Furbach，U.，Shankar，N.（编辑）《第三届国际自动推理联合会议论文集》（IJCAR 2006），《人工智能讲义》，第4130卷，第287-291页。柏林施普林格出版社（2006）
[7] Baader，F.、Calvanee，D.、McGuinness，D.L.、Nardi，D.、Patel-Schneider，P.F.（编辑）：《描述逻辑手册：理论、实现和应用》，第二版。剑桥大学出版社，剑桥（2007）·Zbl 1132.68055号
[8] Baader，F.，Peñaloza，R.，Suntisrivaraporn，B.：在描述逻辑中精确定位\[\cal EL^+\]EL+。参见：《第30届德国人工智能会议论文集》（KI 2007），《人工智能讲义》，第4667卷，第52-67页。施普林格，奥斯纳布吕克，德国（2007年）
[9] Baader，F.，Knechtel，M.，Peñaloza，R.：在存在对本体公理的访问限制的情况下进行大规模本体推理的通用方法。摘自：《第八届国际语义网络会议论文集》（ISWC 2009），《计算机科学讲义》，第5823卷，第49-64页。柏林施普林格出版社（2009）
[10] Baader，F.，Knechtel，M.，Peñaloza，R.：语义网络本体论公理和结果的上下文相关视图。J.Web Semant公司。12-13, 22-40 (2012) ·doi:10.1016/j.websem.2011.11.006
[11] Beigel，R.，Reingold，N.，Spielman，D.A.：交叉口下方的PP关闭。J.计算。系统。科学。50(2), 191-202 (1995) ·Zbl 0827.68040号 ·文件编号：10.1006/jcss.1995.1017
[12] Brandt，S.：具有存在限制的描述逻辑中的多项式时间推理，GCI公理，还有什么？摘自：《第16届欧洲人工智能会议记录》（ECAI-2004），第298-302页。内部监督办公室出版社（2004年）
[13] Ceylan，I.I.：上下文敏感贝叶斯描述逻辑。德国德累斯顿理工大学硕士论文（2013）
[14] Ceylan，I.I.，Peñaloza，R.：贝叶斯描述逻辑BEL。参见：《第七届国际自动推理联合会议论文集》（IJCAR 2014），《计算机科学讲义》，第8562卷，第480-494页。柏林施普林格出版社（2014）·Zbl 1409.68277号
[15] Ceylan，I.I.，Peñaloza，R.：贝叶斯描述逻辑。参见：第27届描述逻辑国际研讨会论文集（DL'14），第1193卷，第447-458页。CEUR-WS，CEUR研讨会记录（2014年）·Zbl 1409.68277号
[16] Ceylan，I.I.，Peñaloza，R.：描述逻辑中推理的严格复杂性边界。参见：《第十四届欧洲人工智能逻辑会议论文集》（JELIA 2014），《计算机科学讲义》，第8761卷，第77-91页。柏林施普林格出版社（2014）·Zbl 1432.68434号
[17] Ceylan，I.I.，Peñaloza，R.：贝叶斯描述逻辑中的概率查询应答。参见：《第九届可扩展不确定性管理国际会议论文集》（SUM 2015），《人工智能课堂讲稿》，第9310卷，第1-15页。施普林格，柏林（2015）
[18] Ceylan，I.I.，Mendez，J.，Peñaloza，R.：贝叶斯本体推理机诞生了！摘自：第四届OWL推理评估国际研讨会论文集（ORE-2015），CEUR-WS，CEUR研讨会论文集，第1387卷，第8-14页（2015）
[19] 库克，S.A.：理论证明程序的复杂性。收录于：第三届ACM计算机理论研讨会论文集（STOC'71），第151-158页。ACM，美国纽约州纽约市（1971年）。doi:10.1145/800157.805047·Zbl 0253.68020号
[20] Cooper，G.F.：使用贝叶斯信念网络进行概率推理的计算复杂性（研究笔记）。Artif公司。智力。42(2-3), 393-405 (1990) ·Zbl 0717.68080号 ·doi:10.1016/0004-3702（90）90060-D
[21] da Costa，P.C.G.，Laskey，K.B.，Laskey，K.J.：PR-OWL：语义网的贝叶斯本体语言。收录于：语义网络的不确定性推理I，URSW 2005-2007，计算机科学课堂讲稿，第5327卷，第88-107页。柏林施普林格出版社（2008）
[22] d'Amato，C.，Fanizzi，N.，Lukasiewicz，T.：贝叶斯描述逻辑的可追踪推理。参见：《第二届可扩展不确定性管理国际会议记录》（SUM 2008），《计算机科学讲义》，第5291卷，第146-159页。柏林施普林格出版社（2008）·Zbl 0717.68080号
[23] Darwishe，A.：贝叶斯网络建模与推理。剑桥大学出版社，剑桥（2009）·Zbl 1231.68003号 ·doi:10.1017/CBO9780511811357
[24] De Raedt，L.，Kimmig，A.，Toivonen，H.：ProbLog：概率序言及其在链路发现中的应用。收录于：第20届国际人工智能联合会议论文集（IJCAI-07）。AAAI出版社，第2462-2467页（2007年）·Zbl 1331.68216号
[25] Downey，R.G.，Fellows，M.：参数化复杂性。计算机科学专著。柏林施普林格（1999）·doi:10.1007/978-1-4612-0515-9
[26] Friedman，N.、Linial，M.、Nachman，I.、Peer，D.：使用贝叶斯网络分析表达数据。J.计算。生物学7，601-620（2000）·doi:10.1089/106652700750050961
[27] Gill，J.T.：概率图灵机的计算复杂性。SIAM J.计算。6(4), 675-695 (1977) ·Zbl 0366.02024号 ·doi:10.1137/0206049
[28] Kazakov，Y.，Krötzsch，M.，Simaník，F.：不可思议的ELK：从多项式过程到使用EL本体进行有效推理。J.汽车。原因。53, 1-61 (2014) ·Zbl 1331.68216号 ·doi:10.1007/s10817-013-9296-3
[29] Koller，D.，Levy，A.Y.，Pfeffer，A.：P-classic：一种易于驾驭的概率描述逻辑。摘自：《第十四届全国人工智能会议论文集》（AAAI-97）。AAAI出版社，第390-397页（1997年）
[30] Littman，M.L.，Majercik，S.M.，Pitassi，T.：随机布尔可满足性。J.汽车。原因。27(3), 251-296 (2001) ·Zbl 0988.68189号 ·doi:10.1023/A:1017584715408
[31] Lukasiewicz，T.，Straccia，U.：管理语义网络描述逻辑中的不确定性和模糊性。J.Web Semant公司。6(4), 291-308 (2008). doi:10.1016/j.websem.2008.04.001·doi:10.1016/j.websem.2008.04.001
[32] Manthey，N.，Peñaloza，R.：利用SAT技术精确定位公理。技术代表15-05，德累斯顿理工大学理论计算机科学研究所自动化理论主席（2015年）
[33] Mendez，J.：jcel：基于规则的模块化推理机。收录于：第一届OWL推理评估国际研讨会论文集（ORE-2012），CEUR-WS，CEUR研讨会论文集，第858卷（2012）
[34] Niepert，M.，Noessner，J.，Stuckenschmidt，H.：对数线性描述逻辑。参见：《第22届国际人工智能联合会议记录》（IJCAI-11），IJCAI/AAAI，第2153-2158页。http://ijcai.org/papers11/Papers/IJCAI11-359.pdf (2011)
[35] Park，J.D.，Darwishe，A.：MAP解释的复杂性结果和近似策略。J.阿蒂夫。智力。第21号决议、第101-133号决议（2004年）·Zbl 1080.68689号
[36] Peñaloza，R.，Sertkaya，B.：关于描述逻辑EL族中公理定位的复杂性。Lin，F.，Sattler，U.，Truszczynski，M.（编辑）《第十二届知识表示与推理原则国际会议论文集》（KR 2010）。AAAI出版社（2010）·兹比尔1211.68410
[37] Pearl，J.：智能系统中的概率推理。Morgan Kaufmann，Los Altos（1988）
[38] Riguzzi，F.、Bellodi，E.、Lamma，E.和Zese，R.：认识论和统计概率本体论。参见：第八届语义网不确定性推理国际研讨会论文集（URSW-12），CEUR-WS，第900卷，第3-14页（2012）·Zbl 1347.68320号
[39] Riguzzi，F.、Bellodi，E.、Lamma，E.和Zese，R.：分布语义下的概率描述逻辑。塞芒。Web J.6（5），477-501（2015）。doi:10.3233/SW-140154·Zbl 1400.68226号 ·doi:10.3233/SW-140154
[40] Scutari，M.，Howell，P.，Balding，D.J.，Mackay，I.：使用贝叶斯网络进行多重数量性状分析。遗传学198129-137（2014）·doi:10.1534/genetics.114.165704
[41] Sebastiani，R.，Vescovi，M.：通过Horn-SAT编码和冲突分析在轻量级描述逻辑中精确定位公理。摘自：《第22届自动扣除国际会议记录》，《计算机科学讲义》，第5663卷，第84-99页。柏林施普林格出版社（2009）·Zbl 1250.68246号
[42] Sebastiani，R.，Vescovi，M.：通过SAT和SMT技术在大型EL+本体中进行公理精确定位。意大利特伦托大学技术代表DISI-15-010（2015）。http://disi.unitn.it/
[43] Shimony，S.E.：为信仰网络寻找地图是NP-hard。Artif公司。智力。68(2), 399-410 (1994) ·Zbl 0818.68097号 ·doi:10.1016/0004-3702（94）90072-8
[44] 基因本体联盟：基因本体：生物学统一的工具。自然遗传学。25(1), 25-29 (2000). doi:10.1038/75556
[45] Toda，S.：关于PP和+P.的计算能力。In：第30届计算机科学基础年度研讨会论文集。IEEE，第514-519页（1989）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。