×

兹马思-数学第一资源

贝叶斯本体语言\(\mathcal{BEL}\)。(英语) Zbl 1409.68278号
摘要:我们介绍了一种新的概率描述逻辑(DL)(\mathcal{BEL}),它扩展了轻量级的DL(\mathcal{EL}),它可以表示某些知识有效性的不确定性。与其他概率DLs相反,\(\mathcal{BEL}\)被设计用来表示依赖于不确定上下文的经典知识;也就是说,有些知识可能会根据当前情况而保留或不存在。这些上下文的概率分布用贝叶斯网络(BN)表示。我们研究了\(\mathcal{BEL}\)中的不同推理问题,为它们提供了严格的复杂度边界。我们框架的一个特别有趣的特性是,推理可以在逻辑(例如,\(\mathcal{EL}\))和概率(即BN)组件之间解耦。我们随后将所有的概念加以推广,以引入任意本体语言的贝叶斯扩展。利用解耦特性,我们可以为许多其它DLs的贝叶斯扩展提供严格的复杂度界。我们详细分析了我们的形式主义所做的假设,并与现有的方法进行了比较。

理学硕士:
68T27型 人工智能中的逻辑
68T30型 知识表示
68T37型 人工智能背景下的不确定性推理
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] Arif,F.,Mencía,C.,Ignatiev,a.,Manthey,N.,Peñaloza,R.,Marques Silva,J.:BEACON:一种用于调试EL+本体论的基于SAT的有效工具。在:第19届可满足性测试理论与应用国际会议论文集(SAT 2016),《计算机科学课堂讲义》,第9710卷,第521-530页。斯普林格,柏林(2016)·Zbl 06623532
[2] Arif,M.F.,Mencia,C.,Marques Silva,J.:Horn公式的有效MUS计数及其在公理精确定位中的应用。AR045年4月14日。http://arxiv.org/abs/1505.04365(2015年)·Zbl 06512583
[3] Baader,F;Peñaloza,R,《基于自动机的公理精确定位》,J.Autom。原因,45,91-129,(2010年)·Zbl 1213.68589
[4] Baader,F;Peñaloza,R,《一般表格中的公理精确定位》,逻辑计算杂志,20,5-34,(2010)·Zbl 1191.68645
[5] Baader,F.,Brandt,S.,Lutz,C.:推动\(\cal EL\)信封。第19届人工智能国际联席会议论文集(IJCAI-05)。摩根考夫曼(2005)·Zbl 0818.68097
[6] Baader,F.,Lutz,C.,Suntisrivaraporn,B.:\({\sf CEL}\)——生命科学本体论的多项式时间推理机。在:Furbach,U.,Shankar,N.(编辑),《第三届自动推理国际联席会议论文集》(IJCAR 2006),人工智能课堂讲稿,第4130卷,第287-291页。斯普林格,柏林(2006)
[7] Baader,F.,Calvanese,D.,McGuinness,D.L.,Nardi,D.,Patel Schneider,P.F.(编辑):《描述逻辑手册:理论、实现和应用》,第二版。剑桥大学出版社,剑桥(2007)·Zbl 1132.68055
[8] Baader,F.,Peñaloza,R.,Suntisrivaraporn,B.:在描述逻辑中精确定位\(\cal EL^+\)。在:第30届德国人工智能会议论文集(KI 2007),人工智能讲义,第4667卷,第52-67页。斯普林格,奥斯纳布吕克,德国(2007)
[9] Baader,F.,Knechtel,M.,Peñaloza,R.:在存在对本体公理的访问限制的情况下进行大规模本体论推理的通用方法。在:第八届国际语义网络会议(ISWC2009),计算机科学讲义,第5823卷,第49-64页。斯普林格,柏林(2009)
[10] Baader,F;Knechtel,M;Peñaloza,R,《语义网络本体论的公理和后果的上下文相关视图》,网络语义杂志,12-13,22-40,(2012)
[11] Beigel,R;Reingold,N;Spielman,DA,PP在十字路口下封闭,J.Comput。系统。科学,50191-202,(1995)·Zbl 0827.68040
[12] Brandt,S.:具有存在限制的描述逻辑中的多项式时间推理,GCI公理,等等?第16届欧洲人工智能会议论文集(ECAI-2004),第298-302页。IOS出版社(2004)
[13] Ceylan,I.I.:上下文敏感的贝叶斯描述逻辑。德国德累斯顿理工大学硕士论文(2013年)
[14] Ceylan,I.I.,Peñaloza,R.:贝叶斯描述逻辑贝尔。In:第七届自动推理国际联席会议论文集(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 0366.02024
[16] Ceylan,I.I.,Peñaloza,R.:描述逻辑中推理的严格复杂性界限\(\cal BEL\)。在:第14届欧洲人工智能逻辑会议论文集(JELIA 2014),《计算机科学讲义》,第8761卷,第77-91页。斯普林格,柏林(2014)·Zbl 1331.68216号
[17] Ceylan,I.I.,Peñaloza,R.:贝叶斯描述逻辑中的概率查询回答\(\cal BEL\)。In:第九届可伸缩不确定性管理国际会议论文集(SUM 2015),《人工智能课堂讲义》,第9310卷,第1-15页。斯普林格,柏林(2015)
[18] Ceylan,I.I.,Mendez,J.,Peñaloza,R.:贝叶斯本体论推理者诞生了!In:第四届OWL Reasoner评估国际研讨会论文集(ORE-2015),CEUR-WS,《CEUR研讨会论文集》,第1387卷,第8-14页(2015年)
[19] 库克,S.A.:定理证明过程的复杂性。第三届ACM计算理论研讨会论文集(STOC'71),第151-158页。美国纽约州纽约市ACM(1971年)。数字标识码:10.1145/800157.805047
[20] 库珀,GF,《使用贝叶斯信念网络进行概率推理的计算复杂性》(研究报告),人工智能。国际,42393-405,(1990年)·Zbl 0717.68080
[21] da Costa,P.C.G.,Laskey,K.B.,Laskey,K.J.:PR-OWL:用于语义web的贝叶斯本体语言。在:语义网的不确定性推理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] Darwiche,A.:贝叶斯网络建模与推理。剑桥大学出版社,剑桥(2009)·Zbl 1231.68003
[24] De Raedt,L.,Kimmig,A.,Toivonen,H.:概率prolog及其在链路发现中的应用。第20届人工智能国际联席会议论文集(IJCAI-07)。AAAI出版社,第2462-2467页(2007年)·Zbl 1331.68216号
[25] 费洛斯:参数化复杂性。计算机科学专著。斯普林格,柏林(1999)
[26] Friedman,N;Linial,M;Nachman,I;Pe'er,D,使用贝叶斯网络分析表达式数据,J.Comput。生物学,7601-620,(2000年)
[27] Gill,JT,概率图灵机的计算复杂性,暹罗J.计算机,6675-695,(1977)·Zbl 0366.02024
[28] Kazakov,Y;Krötzsch,M;Simančk,F.《不可思议的麋鹿:从多项式过程到有效推理与本体论》,J.Autom。原因,53,1-61,(2014年)·Zbl 1331.68216号
[29] Koller,D.,Levy,A.Y.,Pfeffer,A.:P-经典:一种可处理的概率描述逻辑。第十四届全国人工智能会议论文集(AAAI-97)。AAAI出版社,第390-397页(1997年)
[30] Littman,ML;Majercik,SM;Pitassi,T,《随机布尔可满足性》,J.Autom。原因,27251-296,(2001年)·Zbl 0988.68189
[31] Lukasiewicz,T;Straccia,U,《语义网络描述逻辑中的不确定性和模糊性管理》,网络语义学杂志,6,291-308,(2008)
[32] Manthey,N.,Peñaloza,R.:利用SAT技术进行公理精确定位。德累斯顿理工大学计算机理论研究所第15届理论讲座
[33] 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,JD;Darwiche,A,《地图解释的复杂性结果和近似策略》,J.Artir。因特尔。第21,101-133页,(2004年)·Zbl 1080.68689
[36] Peñaloza,R.,Sertkaya,B.:关于EL描述逻辑族中公理精确定位的复杂性。第十二届国际知识推理会议论文集。AAI出版社(2010)·Zbl 1211.68410
[37] Pearl,J.:智能系统中的概率推理。Morgan Kaufmann,洛杉矶(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,分布语义下的概率描述逻辑,Semant。《网络杂志》,6477-501,(2015年)·Zbl 1400.68226
[40] Scutari,M;Howell,P;Balding,DJ;Mackay,I,《利用贝叶斯网络进行多数量性状分析》,遗传学,198129-137,(2014)
[41] Sebastianin,R.,Vescovi,M.:通过Horn-SAT编码和冲突分析在轻量级描述逻辑中精确定位公理。第22届自动演绎国际会议论文集,计算机科学讲义,第5663卷,第84-99页。斯普林格,柏林(2009)·Zbl 1250.68246
[42] Sebastianin,R.,Vescovi,M.:通过SAT和SMT技术在大型本体中精确定位公理。技术代表DISI-15-010,意大利特伦托大学(2015年)。http://disi.unitn.it/%7Erseba/elsat/elsat_techrep.pdf
[43] Shimony,SE,寻找信念网络的地图是NP难的,人工制品。国际,68399-410,(1994年)·Zbl 0818.68097
[44] 基因本体论联盟:基因本体论:生物学统一的工具。纳特。吉奈特。25(1) ,第25-29页(2000年)。内政部:10.1038/75556
[45] 论PP和+P的计算能力,载:第30届计算机科学基础年会论文集。IEEE,第514-519页(1989年)
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。