×

表达模糊粗糙描述逻辑中的推理。 (英语) Zbl 1192.68662号

摘要:人们普遍认为,对不精确性和模糊性的管理将产生更智能、更现实的基于知识的应用程序。描述逻辑(DL)是一种适用于管理结构化知识的著名逻辑,在过去十年中受到了相当大的关注。本文分析了数据仓库中不确定或不精确知识表示和推理的研究现状和存在的问题。通过基于模糊粗糙集理论提供模糊粗糙DL,尝试将模糊DL理论与粗糙DL理论相结合。给出了模糊粗糙DL的语法、语义和性质。证明了模糊粗糙DL中的可满足性、包含性、蕴涵性和ABox一致性推理可以归结为相应模糊DL中的ABox一致性推理。

MSC公司:

68T27型 人工智能中的逻辑
68层37 人工智能背景下的不确定性推理
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

参考文献:

[1] F.Baader,通过角色的传递闭包扩充概念语言:术语循环的替代方法,载于:Proc。第12届国际米兰。人工智能联合会议(IJCAI-91),澳大利亚悉尼,1991年,第446-451页。;F.Baader,《通过角色的传递闭包增强概念语言:术语循环的替代方法》,载于:Proc。第12届国际米兰。人工智能联合会议(IJCAI-91),澳大利亚悉尼,1991年,第446-451页·Zbl 0742.68064号
[2] 巴德,F。;霍洛克斯,I。;美国萨特勒,《描述逻辑》(Staab,S.;Studer,R.,《本体论手册:信息系统国际手册》(2004),施普林格:施普林格柏林),3-28
[3] 巴德,F。;Nutt,W.,《基本描述逻辑》(Baader,F.;Calvanee,D.;McGuinness,D.;Nardi,D.;Patel-Schneider,P.,《描述逻辑手册:理论、实现和应用》(2003),剑桥大学出版社:剑桥大学出版社,马萨诸塞州剑桥),47-100
[4] 巴德,F。;Sattler,U.,描述逻辑中的表达式数限制,《逻辑与计算杂志》,9,319-350(1999)·Zbl 0940.03035号
[5] 班纳吉,M。;Pal,S.K.,模糊集的粗糙度,信息科学,93,235-246(1996)·Zbl 0879.04004号
[6] Berardi,D。;Calvanee,D。;Giacomo,G.D.,UML类图推理,人工智能,168,70-118(2005)·兹比尔1132.68747
[7] F.Bobillo、M.Delgado、J.Gomez-Romero、DeLorean:模糊OWL 1.1的推理机,见《Proc。第四国际。语义网不确定性推理研讨会(URSW 2008),德国卡尔斯鲁厄,2008年10月。;F.Bobillo、M.Delgado、J.Gomez-Romero、DeLorean:模糊OWL 1.1的推理机,见《Proc。第四国际。语义网不确定性推理研讨会(URSW 2008),德国卡尔斯鲁厄,2008年10月。
[8] F.Bobillo,M.Delgado,J.Gomez-Romero,优化模糊描述逻辑SROIQ的清晰表示,摘自:Proc。第三届ISWC语义网络不确定性推理研讨会(URSW 2007),CEUR研讨会论文集,第327卷,2007。;F.Bobillo,M.Delgado,J.Gomez-Romero,优化模糊描述逻辑SROIQ的清晰表示,摘自:Proc。第三届ISWC语义网络不确定性推理研讨会(URSW 2007),CEUR研讨会论文集,第3272007卷。
[9] F.Bobillo,M.Delgado,J.Gomez-Romero,U.Straccia,哥德尔语义学下的模糊描述逻辑,国际近似推理杂志,doi:10.1016/J.ijar.2008.10.003;F.Bobillo,M.Delgado,J.Gomez-Romero,U.Straccia,哥德尔语义下的模糊描述逻辑,国际近似推理杂志,doi:10.1016/J.ijar.2008.10.003·兹比尔1191.68647
[10] F.Bobillo,U.Straccia,FuzzyDL:一个表达性模糊描述逻辑推理器,见:Proc。第17届IEEE国际。模糊系统会议(FUZZ-IEEE 2008),IEEE计算机学会,马里兰州银泉,2008年,第923-930页。;F.Bobillo,U.Straccia,FuzzyDL:一个表达性模糊描述逻辑推理器,见:Proc。第17届IEEE国际。模糊系统会议(FUZZ-IEEE 2008),IEEE计算机学会,马里兰州银泉,2008年,第923-930页。
[11] 博纳蒂,P.A。;Peron,A.,《关于逆向逻辑、名词逻辑、递归逻辑和计数逻辑的不确定性》,人工智能,15875-96(2004)·Zbl 1085.68158号
[12] Borgida,A。;伦泽里尼,M。;Rosati,R.,《数据库的描述逻辑》(Baader,F.;Calvanee,D.;McGuinness,D.;Nardi,D.;Patel-Schneider,P.,《描述逻辑手册:理论、实现和应用》(2003),剑桥大学出版社:剑桥大学出版社,剑桥),472-494
[13] 陈,X。;李琼,模糊集合中粗糙近似的构造,模糊集合与系统,1582641-2653(2007)·Zbl 1127.68105号
[14] 陈,D。;杨伟(Yang,W.)。;Li,F.,概率空间上一般模糊粗糙集的测度,信息科学,1783177-3187(2008)·Zbl 1154.68526号
[15] Cock,医学博士。;科内利斯,C。;Kerre,E.E.,《模糊粗糙集:被遗忘的一步》,《IEEE模糊系统汇刊》,第15期,第121-130页(2007年)
[16] Demri,S。;Orlowska,E。;Vakarelov,D.,《信息系统中的不可区分性和互补关系》(Gerbrandy,J.;Marx,M.;de Rijke,M.);Venema,Y.,FAK:《纪念约翰·范·本特姆50岁生日的文章》(1999),阿姆斯特丹大学出版社:阿姆斯特丹大学出版社阿姆斯特丹)
[17] 多尔蒂,P。;Grabowski,M。;卢卡斯泽维奇,W。;Szalsa,A.,《走向近似本体的框架》,《信息学基础》,第57期,第147-165页(2003年)·Zbl 1061.68154号
[18] 杜波依斯,D。;Prade,H.,粗糙模糊集和模糊粗糙集,国际通用系统杂志,17191-209(1990)·Zbl 0715.04006号
[19] 杜波依斯,D。;Prade,H.,《将粗糙集和模糊集放在一起》(Slowinski,R.,《智能决策支持-粗糙集理论的应用和进展手册》(1992),Kluwer学术出版社:Kluwer-学术出版社Dordrecht),203-232
[20] Goguen,J.A.,《L-fuzzy集》,《数学分析与应用杂志》,第18期,第145-174页(1967年)·Zbl 0145.24404号
[21] 格劳(Grau,B.C.)。;霍洛克斯,I。;莫蒂克,B。;巴西娅,B。;Patel-Schneider,P。;Sattler,U.,《OWL 2:OWL的下一步》,《Web语义杂志》,第6309-322页(2008年)
[22] Hajek,P.,《使模糊描述逻辑更通用》,《模糊集与系统》,154,1-15(2005)·Zbl 1094.03014号
[23] Hajek,P.,《模糊逻辑的元数学》(1998),Kluwer学术出版社:Kluwer学术出版社Dordrecht·Zbl 0937.03030号
[24] Hollander,B.,可能性逻辑的另一种证明方法及其在术语逻辑中的应用,国际近似推理杂志,12,85-109(1995)·Zbl 0814.68120号
[25] 霍洛克斯,I。;库茨,O。;美国塞特勒,《更不可抗拒的SROIQ》(Proc.10th Internat.Conf.of Knowledge Representation and Reasoning,KR 2006),英国湖区(2006),AAAI出版社:AAAI Press New York),57-67
[26] 霍洛克斯,I。;Patel-Schneider,P.F。;Harmelen,F.V.,《从SHIQ和RDF到OWL:Web本体语言的构建》,《Web语义杂志》,1,7-26(2003)
[27] 霍洛克斯,I。;Sattler,U.,《具有传递和反向角色以及角色层次结构的描述逻辑》,《逻辑与计算杂志》,9385-410(1999)·兹比尔0940.03039
[28] 霍洛克斯,I。;Sattler,U.,具有复杂角色包含公理的SHIQ的可判定性,人工智能,160,79-104(2004)·Zbl 1086.68129号
[29] 霍洛克斯,I。;美国萨特勒。;Tobies,S.,表达描述逻辑的实用推理,(in:Proc.6th Internat.Conf.on Logic for Programming and Automated reasoning(LPAR 1999),《人工智能课堂讲稿》,第1705卷(1999),Springer:Springer Berlin),161-180·Zbl 0947.68134号
[30] Huynh,V.N。;Nakamori,Y.,模糊集的粗糙度度量,信息科学,173255-275(2005)·Zbl 1074.03024号
[31] Jaeger,M.,《术语逻辑中的概率推理》(Doyle,J.;Sandewall,E.;Torasso,P.,Proc.4th Internat.Conf.on Principles of Knowledge Representation and reasoning)(KR 1994)(1994),摩根考夫曼出版社:摩根考夫文出版社Los Altos,CA),305-316
[32] Jensen,R。;沈庆,模糊粗糙集辅助属性选择,IEEE模糊系统汇刊,1573-89(2007)
[33] 姜瑜。;施,Z。;Tang,Y。;Wang,J.,语义Web语义表示的模糊描述逻辑,软件杂志,18,1257-1269(2007)·Zbl 1174.68448号
[34] 姜瑜。;Wang,J。;唐,S。;Xiao,B.,《粗糙描述逻辑推理:近似概念方法》,《信息科学》,179600-612(2009)·兹比尔1170.68037
[35] M.C.A.Klein,P.Mika,S.Schlobach,《使用RoughOWL的近似实例统一:开放学术界的相似性查询》,收录于:F.Bobillo,P.C.G.Costa,C.D.Amato等人(编辑),Proc。第三届语义网不确定性推理研讨会,《CEUR研讨会论文集》,CEUR-WS.org,2007年。;M.C.A.Klein,P.Mika,S.Schlobach,《使用RoughOWL的近似实例统一:开放学术界的相似性查询》,收录于:F.Bobillo,P.C.G.Costa,C.D.Amato等人(编辑),Proc。第三届语义网不确定性推理研讨会,《CEUR研讨会论文集》,CEUR-WS.org,2007年。
[36] 克莱门特,E.P。;梅西亚尔,R。;Pap,E.,三角范数,立场论文I:基本分析和代数性质,模糊集与系统,143,5-26(2004)·Zbl 1038.03027号
[37] Klir,G.J。;Yuan,B.,《模糊集与模糊逻辑:理论与应用》(1995),新泽西州普伦蒂斯·霍尔出版社·Zbl 0915.03001号
[38] Li,T.,两个话语空间上的粗糙近似算子及其模糊扩展,模糊集与系统,159,3033-3050(2008)·Zbl 1176.03036号
[39] 李毅。;徐,B。;卢,J。;Kang,D.,关于带数值限制的扩展模糊描述逻辑的计算复杂性,《软件杂志》,17,968-975(2006)·兹比尔1101.68867
[40] Y.Li,B.Xu,J.Lu,D.Kang,FSHI的离散表算法,in:Proc。内部。描述逻辑研讨会(DL 2006),英国湖区,2006年。;Y.Li,B.Xu,J.Lu,D.Kang,FSHI的离散表算法,in:Proc。内部。描述逻辑研讨会(DL 2006),英国湖区,2006年。
[41] 梁浩,中华人民共和国卫生部:严重急性呼吸综合征临床诊断标准,中国临床药理学杂志,19200(2003)
[42] Liau,C.J.,《关于粗糙术语逻辑》(Tsumoto,S.;Kobayashi,S.);Yokomori,T.;Tanaka,H.;Nakamura,A.,Proc.4th Internat.粗糙集、模糊集和机器发现研讨会(1996),东京大学出版社),47-54
[43] 刘刚,格上的广义粗糙集,信息科学,1781651-1662(2008)·Zbl 1136.03328号
[44] Lukasiewicz,T.,表达概率描述逻辑,人工智能,172852-883(2008)·Zbl 1182.68283号
[45] Lukasiewicz,T。;Straccia,U.,管理语义网络描述逻辑中的不确定性和模糊性,网络语义学杂志,6291-308(2008)
[46] Lutz,C.,NEXP TIME——具有具体域的完整描述逻辑,ACM计算逻辑学报,5669-705(2004)·Zbl 1367.68288号
[47] 卢茨,C。;Areces,C。;霍洛克斯,I。;Sattler,U.,Keys,nominals,and concrete domains,《人工智能研究杂志》,23667-726(2005)·Zbl 1080.68683号
[48] Nebel,B.,《术语推理天生难以处理》,《人工智能》,第43期,第235-249页(1990年)·Zbl 0717.68089号
[49] Orlowska,E.,《知识表示逻辑的克里普克语义》,《逻辑研究》,49,255-272(1990)·Zbl 0726.03023号
[50] Pawlak,Z.,《粗糙集》,《国际计算机和信息科学杂志》,11,341-356(1982)·兹比尔0501.68053
[51] Pawlak,Z.,《粗糙集:关于数据推理的理论方面》(Rough Sets:Theory Aspects of Reasoning about Data)(1991年),Kluwer Academic Publishers:Kluwer-Academical Publishers Dordrecht·Zbl 0758.68054号
[52] Pei,D.W.,模糊粗糙集的广义模型,国际通用系统杂志,34603-613(2005)·Zbl 1082.03047号
[53] 齐,G。;潘,J.Z。;Ji,Q.,在可能性逻辑中用不确定性推理扩展描述逻辑,(Mellouli,K.,欧洲不确定性推理的符号和定量方法会议论文集(ECSQARU 2007),计算机科学讲义,第4724卷(2007),施普林格:施普林格柏林),828-839·Zbl 1148.68535号
[54] 施洛巴赫,S。;克莱因,M。;Peelen,L.,《具有近似定义的描述逻辑:模糊概念的精确建模》,(Veloso,M.M.,Proc.20th Internat.Joint Conf.on Artificial Intelligence(IJCAI 2007)(2007),AAAI出版社:AAAI Press New York),557-562
[55] 施密特·沙乌(M.Schmidt-Schau)。;Smolka,G.,《带补语的归因概念描述》,《人工智能》,48,1-26(1991)·Zbl 0712.68095号
[56] 施,Z。;董,M。;姜瑜。;张浩,语义网的逻辑基础,《中国科学》,信息科学F辑,48161-178(2005)
[57] Sirin,E。;巴西娅,B。;格劳(Grau,B.C.)。;Kalyanpur,A。;Katz,Y.,Pellet:一个实用的OWL-DL推理器,《Web语义杂志》,5,51-53(2007)
[58] Stoilos,G。;斯塔穆,G。;潘,J.Z。;Tzouvaras,V。;Horrocks,I.,《用极具表现力的模糊描述逻辑进行推理》,《人工智能研究杂志》,30273-320(2007)·Zbl 1182.68292号
[59] Stoilos,G。;美国斯特拉契亚。;Stamou,G。;Pan,J.Z.,《模糊描述逻辑中的一般概念包含》,(第17届欧洲人工智能大会(ECAI 2006)(2006),IOS出版社),457-461
[60] 美国斯特拉契亚,《模糊描述逻辑中的推理》,《人工智能研究杂志》,第14期,第137-166页(2001年)·Zbl 0973.03034号
[61] Straccia,U.,格上的描述逻辑,国际不确定性、模糊性和基于知识的系统杂志,14,1-16(2006)·Zbl 1093.68107号
[62] 斯特拉契亚,U。,《语义网络的模糊描述逻辑》(桑切斯,E。,《捕获智能:模糊逻辑和语义网络》(2006),爱思唯尔科学出版社:爱思唯尔科学出版社,阿姆斯特丹),73-90
[63] 美国斯特拉契亚,《模糊具体域的描述逻辑》(Proc.21th Conf.in Understance in Artificial Intelligence,UAI 2005)(2005),美国人工智能出版社,559-567
[64] Tho,Q.T。;慧,S.C。;方,A.C.M。;Cao,T.H.,语义Web的自动模糊本体生成,IEEE知识与数据工程汇刊,18842-856(2006)
[65] Tobies,S.,表达描述逻辑中具有基数限制和名词的推理复杂性,《人工智能研究杂志》,12,199-217(2000)·Zbl 0941.03029号
[66] Tsarkov,D。;Horrocks,I.,FaCT++描述逻辑推理器:系统描述(Proc.3rd Internat.Joint Conf.on Automated Reasoning(IJCAR 2006)(2006),Springer:Springer Berlin),292-297
[67] Wu,W。;米·J。;张伟,广义模糊粗糙集,信息科学,151263-282(2003)·Zbl 1019.03037号
[68] 徐伟(Xu,W.)。;张伟,覆盖诱导的广义粗糙集的粗糙度度量,模糊集与系统,1582443-2455(2007)·Zbl 1127.68106号
[69] 姚义勇,概率粗糙集近似,国际近似推理杂志,49255-271(2008)·Zbl 1191.68702号
[70] Yen,J.,将术语包容语言推广到模糊逻辑,(第12届国际人工智能联合会议论文集(IJCAI-91)(1991),Morgan Kaufmann出版社:Morgan Kaufmann出版社Los Altos,CA),472-477·Zbl 0742.68062号
[71] Yeung,D.S。;陈,D。;曾荫权,E.C.C。;Lee,J.W.T。;Wang,X.,关于模糊粗糙集的推广,IEEE模糊系统汇刊,13343-361(2005)
[72] Zadeh,L.A.,模糊集,信息与控制,8,338-353(1965)·Zbl 0139.24606号
[73] Ziarko,W.,粗糙集的概率方法,国际近似推理杂志,4272-284(2008)·Zbl 1191.68705号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。