×

描述逻辑中最具体的结果\(\mathcal{E}\mathcal{L}\)。 (英语) Zbl 1430.68310号

摘要:引入了关于某个术语盒的最特定结果的概念,给出了它在描述逻辑(mathcal{E})中存在的条件及其变体,并给出了它的计算方法。探讨了大多数特定结果的代数性质。此外,还提出了利用这一新概念的几个应用,特别是说明了如何将给定的术语知识纳入现有的观测公理化方法中。例如,开发了从解释序列中增量学习概念包含的程序。

MSC公司:

68T27型 人工智能中的逻辑
68T05型 人工智能中的学习和自适应系统
68立方英尺 知识表示

软件:

DL-学习者
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Albano,A.L.J.H.,概念格、规范基和生成器的多项式增长:形式概念分析中的极值集理论(2017),德累斯顿理工大学:德累斯顿德累斯顿技术大学,德国(博士论文)
[2] Baader,F.,基于逻辑的知识表示,(《今日人工智能》(1999)),13-41·Zbl 0956.68537号
[3] Baader,F.,具有存在限制和术语循环的描述逻辑中最不常见的子消费者和最具体的概念,(Gottlob,G.;Walsh,T.,IJCAI-03,《第十八届国际人工智能联合会议论文集》,墨西哥阿卡普尔科,2003年8月9日至15日,Morgan Kaufmann),319-324
[4] Baader,F.,《具有存在限制的描述逻辑中的术语循环》,(Gottlob,G.;Walsh,T.,IJCAI-03,《第十八届人工智能国际联合会议论文集》,墨西哥阿卡普尔科,2003年8月9日至15日(2003),Morgan Kaufmann),325-330
[5] 巴德,F。;博格沃德,S。;Morawska,B.,一种面向目标的统一算法{ELH}(极低浓度)_{R^+})w.R.t.循环受限本体论,(Thielscher,M.;Zhang,D.,AI 2012:人工智能进展-第25届澳大利亚联合会议,澳大利亚悉尼,2012年12月4-7日。诉讼程序。2012年12月4日至7日,澳大利亚悉尼,第25届澳大利亚联合会议,人工智能进展。计算机科学论文集,第7691卷(2012年),Springer),493-504
[6] 巴德,F。;博格沃德,S。;Morawska,B.,Sat在\(\mathcal中的统一编码{ELH}(极低浓度)_{R^+})w.R.t.循环受限本体论(2012),德累斯顿理工大学理论计算机科学研究所自动化理论主席:德国德累斯顿工业大学理论计算机研究所自动化原理主席·Zbl 1358.68280号
[7] 巴德,F。;Brandt,S。;Lutz,C.,《突破数学极限》,(Kaelbling,L.P.;Saffiotti,A.,IJCAI-05,第十九届国际人工智能联合会议论文集,2005年7月30日至8月5日,英国苏格兰爱丁堡,专业图书中心),364-369
[8] 巴德,F。;Distel,F.,有限模型中蕴涵集的有限基,(Medina,R.;Obiedkov,S。A.,《形式概念分析》,第六届国际会议,2008年ICFCA,加拿大蒙特利尔,2008年2月25日至28日,会议记录。形式概念分析,第六届国际会议,ICFCA 2008,加拿大蒙特利尔,2008年2月25日至28日,《计算机科学讲义》,第4933卷(2008年),施普林格出版社,46-61·Zbl 1132.68056号
[9] 巴德,F。;Distel,F.,探索描述逻辑中的有限模型{标高}_{\mathsf{gfp}}),(Ferré,S.;Rudolph,S.,《形式概念分析》,第七届国际会议,ICFCA 2009,德国达姆施塔特,2009年5月21日至24日,《形式概念分析》,第七届国际会议,ICFCA 2009,德国达姆施塔特,2009年5月21日至24日,《计算机科学讲义》,第5548卷(2009),施普林格), 146-161 ·Zbl 1248.68467号
[10] 巴德,F。;霍洛克斯,I。;卢茨,C。;美国萨特勒,《描述逻辑导论》(2017),剑桥大学出版社·Zbl 1373.68002号
[11] 巴德,F。;霍洛克斯,I。;Sattler,U.,《描述逻辑》(Description logics)(Staab,S.;Studer,R.,《本体论手册》,《本体学手册》,信息系统国际手册(2004),施普林格出版社),3-28
[12] 巴德,F。;霍洛克斯,I。;Sattler,U.,《描述逻辑》(Description logics)(Staab,S.;Studer,R.,《本体论手册》,《本体学手册》,信息系统国际手册(2009),施普林格出版社),21-43
[13] 巴德,F。;Lutz,C.,《描述逻辑》(Blackburn,P.;van Benthem,J.;Wolter,F.,《模态逻辑手册》(2006),Elsevier)
[14] 巴德,F。;卢茨,C。;Brandt,S.,《进一步推进(mathcal{EL})包络线》,(Clark,K.;Patel-Schneider,P.F.,《第四届OWLED OWL研讨会论文集:经验与方向》,美国华盛顿特区,4月1-2日。《第四届OWLED OWL研讨会论文集:经验和方向》,美国华盛顿特区,4月1日至2日,《CEUR研讨会论文录》,第496卷(2008年),CEUR-WS.org)
[15] Birkhoff,G.(格理论。格理论,美国数学学会学术讨论会出版物,第25卷(1940年),美国数学协会)·JFM 66.010.04标准
[16] Borchmann,D.,《从错误数据中高度自信地学习术语知识》(2014年),德累斯顿理工大学:德累斯顿德累斯顿科技大学,德国(博士论文)
[17] Borchmann,D。;Distel,F。;Kriegel,F.,《有限解释中一般概念包含的公理化》(2015),德累斯顿理工大学理论计算机科学研究所自动化理论主席:德国德累斯顿工业大学理论计算机研究所自动化原理主席·Zbl 1400.68206号
[18] Borchmann,D。;Distel,F。;Kriegel,F.,《有限解释中一般概念包含的公理化》,J.Appl。非经典逻辑,26,1,1-46(2016)·Zbl 1400.68206号
[19] Bühmann,L。;莱曼,J。;Westphal,P.,Dl-learner-语义网归纳学习框架,《网络语义学杂志》,39,15-24(2016)
[20] 北卡罗来纳州卡斯帕德。;Monjardet,B.,有限集上的闭包系统、闭包算子和蕴涵系统的格:综述,离散应用。数学。,127, 2, 241-269 (2003) ·Zbl 1026.06008号
[21] Davey,B.A。;Priestley,H.A.,《格与序导论》(2002),剑桥大学出版社·Zbl 1002.06001号
[22] Distel,F.,《使用形式概念分析方法从数据中学习描述逻辑知识库》(2011年),德累斯顿理工大学:德累斯顿技术大学,德国,(博士论文)
[23] Ganter,B.,《概念分析中的两种基本算法》(1984年),德国达姆施塔特技术研究所
[24] 甘特尔,B。;Obiedkov,S.A.,《概念探索》(2016),斯普林格出版社·Zbl 1357.68004号
[25] 甘特尔,B。;Wille,R.,《形式概念分析:数学基础》(1999),Springer·Zbl 0909.06001号
[26] 甘特尔,B。;Wille,R.,形式概念分析:数学基础(1999),施普林格·Zbl 0909.06001号
[27] Grätzer,G.,《一般格理论》(2002),Birkhäuser Basel·Zbl 0385.06015号
[28] Guigues,J.-L。;Duquenne,V.,Famille minimale d'implications informations résultant d'un tableau de données binaires,数学。科学。哼,95,5-18(1986)·Zbl 1504.68217号
[29] Higuchi,A.,闭包算子格,离散数学。,179, 1-3, 267-272 (1998) ·Zbl 0910.06004号
[30] 希茨勒,P。;Krötzsch,M。;Rudolph,S.,《语义网络技术基础》(2010),查普曼和霍尔/CRC出版社
[31] Kriegel,F.,用形式概念分析方法从解释序列中增量学习tbox,(Calvanee,D.;Konev,B.,《第28届描述逻辑国际研讨会论文集》,希腊雅典,6月7日至10日。《第28届描述逻辑国际研讨会论文集》,希腊雅典,6月7日至10日,CEUR研讨会论文集,第1350卷(2015),CEUR-WS.org)
[32] F.Kriegel,NextClosures with constraints,摘自:《第十三届概念格及其应用国际会议论文集》,CLA 2016年,2016年,俄罗斯莫斯科。
[33] Kriegel,F.,从具有可选误差容限的解释流中公理化一般概念包含,(Kuznetsov,S.O.;Napoli,A.;Rudolph,S.,第五届国际研讨会论文集“FCA能为人工智能做什么”?与2016年8月30日在荷兰海牙举行的欧洲人工智能会议FCA4AIECAI合办。第五届国际研讨会论文集“FCA能为人工智能做什么”?与欧洲人工智能会议合办,FCA4AIECAI 2016,荷兰海牙,8月30日,CEUR研讨会记录,第1703卷(2016),CEUR-WS.org),9-16
[34] Kriegel,F.,《从描述逻辑中的社交网络中获取术语知识》,(Missaoui,R.;Kuznetsov,S.O.;Obiedkov,S.A.,《社交网络的形式概念分析》,《社交网络的形式概念解析》,《社会网络讲义》(2017),施普林格出版社),第97-142页·Zbl 1375.68022号
[35] Kriegel,F.,《(mathcal{EL})概念描述的分布分级格及其邻域关系》,(Ignatov,D.I.;Nourine,L.,《第十四届概念格及其应用国际会议论文集》,CLA 2018,捷克共和国奥洛穆克,6月12-14日。《第十四届概念格及其应用国际会议论文集》,CLA 2018,捷克共和国奥洛穆克,6月12-14日,CEUR研讨会论文集,第2123卷(2018),CEUR-WS.org,267-278
[36] Kriegel,F.,“(mathcal{EL})概念描述的分布分级格及其邻域关系(扩展版)”(2018),德累斯顿理工大学理论计算机科学研究所自动化理论主席:理论计算机科学学院自动化理论主席,德国德累斯顿德累斯顿理工大学
[37] Kriegel,F。;Borchmann,D.,《Nextclosures:规范基的并行计算》,(Ben Yahia,S.;Konecny,J.,《第十二届概念格及其应用国际会议论文集》,法国克莱蒙·费拉德,10月13-16日。《第十二届概念格及其应用国际会议论文集》,法国克莱蒙·弗莱德,10月13日至16日,CEUR研讨会论文集,第1466卷(2015年),CEUR-WS.org,181-192
[38] 库兹涅佐夫,S.O。;Obiedkov,S.A.,《影响的双重guigues基础的一些决策和计数问题》,离散应用。数学。,156, 11, 1994-2003 (2008) ·Zbl 1160.68031号
[39] Lehmann,J.,《Dl-learner:学习描述逻辑中的概念》,J.Mach。学习。决议,102639-2642(2009)·Zbl 1235.68227号
[40] 卢茨,C。;皮罗,R。;Wolter,F.,Enriching\(\mathcal{EL}\)-具有最大不动点的概念,(Coelho,H.;Studer,R。;Wooldridge,M.,ECAI 2010-第19届欧洲人工智能会议,葡萄牙里斯本,2010年8月16-20日,会议记录。ECAI 2010-第19届欧洲人工智能会议,葡萄牙里斯本,2010年8月16日至20日,《人工智能与应用前沿》,第215卷(2010年),IOS出版社,41-46·Zbl 1211.68408号
[41] 卢茨,C。;皮罗,R。;Wolter,F.,Enriching\(\mathcal{EL}\)-具有最大不动点的概念(2010)·Zbl 1211.68408号
[42] 卢茨,C。;Wolter,F.,判定描述逻辑中的不可分割性和保守扩展\(\mathcal{EL}\),符号计算。,45, 2, 194-228 (2010) ·Zbl 1187.68572号
[43] Piro,R.,描述逻辑的模型理论表征(2012),利物浦大学:英国利物浦大学,(博士论文)
[44] Rudolph,S.,《通过(mathcal{FLE})探索关系结构》,(Wolff,K.E.;Pfeiffer,H.D.;Delugach,H.S,《工作中的概念结构:第十二届概念结构国际会议》,2004年,美国亚利桑那州亨茨维尔,2004年7月19日至23日。诉讼程序。《工作中的概念结构:第十二届概念结构国际会议》,2004年ICCS,美国亚利桑那州亨茨维尔,2004年7月19-23日。计算机科学论文集,第3127卷(2004),Springer),196-212·Zbl 1104.68742号
[45] Rudolph,S.,《关系探索:将描述逻辑与形式概念分析相结合用于知识规范》(2006),德累斯顿理工大学:德累斯顿技术大学,德国,(博士论文)
[46] Rudolph,S.,《关于闭包算子表示的简洁性》,(Glodeanu,C.V.;Kaytoue,M.;Sacarea,C.,《形式概念分析——第十二届国际会议》,2014年国际金融行为委员会,罗马尼亚克鲁伊纳波卡,2014年6月10日至13日。诉讼程序。正式概念分析——2014年6月10日至13日在罗马尼亚克鲁伊纳波卡举行的第十二届国际会议,ICFCA 2014。计算机科学论文集,第8478卷(2014年),Springer),15-36·Zbl 1444.68212号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。