×
沃尔克·哈尔斯列夫;白雪英;Shiri，线虫

不确定性描述逻辑的形式化框架。 （英语） Zbl 1191.68649号

国际J近似推理 50，第9期，1399-1415（2009）.
摘要：描述逻辑作为本体语言OWL DL的基础，在语义Web中发挥着重要作用。另一方面，不确定性是现实世界信息/数据中常见的一种缺陷或不完美。在本文中，我们提出了一个描述逻辑中表示不确定性的知识库框架{自动高度控制}_U\)它是一种命题完整的表示语言，提供了连接、析取、存在量词和全称量词以及完全否定。所提出的框架配备了基于约束的推理过程，该推理过程导出断言集合以及对不确定性知识库的语义进行编码的一组线性/非线性约束。我们方法的有趣之处在于，通过简单地调整生成约束的组合函数，可以使用单个推理过程对不同的不确定性概念进行建模和推理。我们确定推理过程的合理性、完整性和终止性。其中包括详细的解释和示例，以描述拟议的完成规则。

引用于5文件

MSC公司：

68T27型 人工智能中的逻辑
68立方英尺 知识表示
68吨15 定理证明（演绎、解析等）（MSC2010）

关键词：

描述逻辑;不确定性;知识库;表格程序;约束求解
PDF格式BibTeX公司 XML格式引用
\textit｛V.Haarslev｝et al.，Int.J.《近似推理50》，第9期，第1399--1415页（2009年；Zbl 1191.68649）
全文： 内政部

参考文献：

[1] （Baader，F.；Calvanee，D.；McGuinness，D.；Nardi，D.；Patel-Schneider，P.F.，《描述逻辑手册：理论、实现和应用》（2003），剑桥大学出版社：剑桥大学出版社，英国剑桥）·Zbl 1058.68107号
[2] 巴德，F。；霍洛克斯，I。；Sattler，U.，语义网的描述逻辑，KI-Künstliche Intelligentz，4，57-59（2002）
[3] 巴德，F。；霍洛克斯，I。；美国萨特勒，《描述逻辑》。描述逻辑，《知识表示手册》（2007），爱思唯尔
[4] Berners-Lee，T。；Fischetti，M.，《编织网络：万维网创造者的最初设计和最终命运》（2000年），哈珀柯林斯：纽约哈珀科林斯出版社
[5] Berners-Lee，T。；亨德勒，J。；Lassila，O.，《语义网》，《科学美国人》，284，5，34-43（2001）
[6] P.Berry，K.Myers，T.Uribe，N.Yorke-Smith，《变化和不确定性下的任务管理：CALO项目中的约束解决经验》，载于《2005年CP’05变革和不确定性条件下约束解决研讨会论文集》，西班牙西格斯，2005年。；P.Berry，K.Myers，T.Uribe，N.Yorke-Smith，《变化和不确定性下的任务管理：CALO项目中的约束解决经验》，载于：《CP’05变革和不确定性条件下约束解决研讨会论文集》，西班牙西格斯，2005年。
[7] Bobillo，F。；美国斯特拉契亚，《产品T范数的模糊描述逻辑》，IEEE模糊系统国际会议论文集，652-657（2007）·Zbl 1152.68632号
[8] M.Dürig，T.Studer，概率推理：初步结果，载于：描述逻辑国际研讨会论文集（DL'05），2005年，第104-111页。；M.Dürig，T.Studer，概率推理：初步结果，载于：描述逻辑国际研讨会论文集（DL'05），2005年，第104-111页。
[9] （弗洛伊德·E·C·；麦克沃思·A·K·，《基于约束的推理》（1994），麻省理工学院出版社：麻省理学院出版社，美国马萨诸塞州剑桥）·Zbl 0850.68257号
[10] Giugno，R。；Lukasiewicz，T.，P-SHOQ（D）：语义网中概率本体的SHOQ的概率扩展。P-SHOQ（D）：语义网中概率本体的SHOQ的概率扩展，摘自：《欧洲人工智能逻辑会议论文集》（2002年），斯普林格·弗拉格：斯普林格尔·弗拉格·科森扎，意大利，第86-97页·Zbl 1014.68537号
[11] Gruber，T.R.，便携式本体规范的翻译方法，知识获取，5，2，199-220（1993）
[12] 哈尔斯列夫，V。；Pai，H.I。；Shiri，N.，《描述逻辑中的不确定性推理：通用方法》。描述逻辑中的不确定性推理：一种通用方法，摘自：《第19届国际FLAIRS会议论文集》（2006），AAAI出版社：佛罗里达州墨尔本海滩AAAI出版公司，第818-823页
[13] 哈尔斯列夫，V。；派，H.I。；Shiri，N.，《使用描述逻辑进行不确定性推理的完成规则》（ALC），载于：加拿大语义网络工作研讨会论文集，系列：语义网络及其以外：人类经验计算，第4卷（2006），Springer-Verlag:Springer-Verlag，加拿大魁北克市，第205-225页
[14] V.Haarslev，H.I.Pai，N.Shiri，《优化表格推理》（mathcal{ALC}）；V.Haarslev，H.I.Pai，N.Shiri，优化表格推理
[15] V.Haarslev，H.I.Pai，N.Shiri，语义网络不确定性管理，信息科学与技术百科全书，第二版，信息科学参考，2008年。；V.Haarslev，H.I.Pai，N.Shiri，语义网络不确定性管理，信息科学与技术百科全书，第二版，信息科学参考，2008年。
[16] Hölldobler，S。；Khang，T.D。；Störr，H.P.，以模糊限制语作为概念修饰语的模糊描述逻辑。以模糊限制语作为概念修饰语的模糊描述逻辑，见：《第三届智能技术国际会议论文集》（2002），科学技术出版社：越南河内科学技术出版社，第25-34页
[17] Hollunder，B.，可能性逻辑的一种替代证明方法及其在术语逻辑中的应用。可能性逻辑的另一种证明方法及其在术语逻辑中的应用，见：《第十届人工智能不确定性年会论文集》（1994），摩根·考夫曼：摩根·考夫曼，加利福尼亚州旧金山，第327-335页
[18] I.Horrocks，U.Sattler，S.Tobies，《具有传递和逆向角色、角色层次结构和限定数字限制的描述逻辑》，技术报告LTCS-Report 99-08，LuFg理论计算机科学，德国亚琛工业大学，1999年。；I.Horrocks，U.Sattler，S.Tobies，具有传递和反向角色、角色层次结构和限定数限制的描述逻辑，技术报告LTCS报告99-08，LuFg理论计算机科学，德国亚琛工业大学，1999年。
[19] M.Jaeger，《术语逻辑中的概率推理》，载《第四届知识表示与推理原则国际会议论文集》，1994年，第305-316页。；M.Jaeger，《术语逻辑中的概率推理》，载于《第四届国际知识表示与推理原则会议论文集》，1994年，第305-316页。
[20] 科勒，D。；利维，A.Y。；Pfeffer，A。；科勒，私人医生。；利维，A.Y。；Pfeffer，A.，P-CLASSIC:一种可处理的概率描述逻辑，摘自：《第十四届全国人工智能会议论文集》（1997），美国人工智能学会出版社：美国人工智能协会出版社，罗德岛普罗维登斯，第390-397页
[21] Lakshmanan，L.V.S。；Shiri，N.，《具有不确定性的演绎数据库的参数化方法》，IEEE知识与数据工程汇刊，13，4，554-570（2001）
[22] Lakshmanan，L.V.S。；Shiri，N.，《带有不确定性的逻辑编程和演绎数据库：一项调查》，《计算机科学与技术百科全书》，第45卷（2001年），Marcel Dekker公司：Marcel Dekker公司，纽约，第153-176页
[23] Lukasiewicz，T.，概率描述逻辑程序，国际近似推理杂志，45，2，288-307（2007）·Zbl 1122.68027号
[24] Lukasiewicz，T.，语义网的继承与重写下的概率描述逻辑程序，国际近似推理杂志，49，1，18-34（2008）·Zbl 1184.68517号
[25] G.Qi，J.Z.Pan，Q.Ji，描述逻辑的可能性扩展，载《描述逻辑国际研讨会论文集》（DL'07），2007年，第435-442页。；G.Qi，J.Z.Pan，Q.Ji，描述逻辑的可能性扩展，载《描述逻辑国际研讨会论文集》（DL'07），2007年，第435-442页。
[26] 桑切斯，D。；Tettamanzi，A.G.B.，《模糊描述逻辑中的广义量化》。模糊描述逻辑中的广义量化，收录于：《多特蒙德第八个模糊日的会议录——软计算系列进展》（2004），斯普林格·弗拉格：斯普林格尔·弗拉格·多特蒙特，德国
[27] K.Schild，《术语逻辑的对应理论：初步报告》，载于《IJCAI-91会议记录》，第12届国际人工智能联合会议，澳大利亚悉尼，1991年，第466-471页。；K.Schild，《术语逻辑的对应理论：初步报告》，载于《IJCAI-91会议录》，第12届国际人工智能联合会议，澳大利亚悉尼，1991年，第466-471页·Zbl 0742.68059号
[28] Schmidt-Schaubß，M。；Smolka，G.，带补语的归因概念描述，人工智能，48，1，1-26（1991）·兹比尔0712.68095
[29] Stoilos，G。；Stamou，G。；潘，J.Z。；Tzouvaras，V。；Horrocks，I.，《用极具表现力的模糊描述逻辑进行推理》，《人工智能研究杂志》，30，5，273-320（2007）·Zbl 1182.68292号
[30] G.Stoilos，U.Straccia，G.Stamou，J.Z.Pan，模糊描述逻辑中的一般概念包含，收录于：第17届欧洲人工智能会议论文集，2006年。；G.Stoilos，U.Straccia，G.Stamou，J.Z.Pan，模糊描述逻辑中的一般概念包含，收录于：第17届欧洲人工智能会议论文集，2006年。
[31] 美国斯特拉契亚，模糊描述逻辑。模糊描述逻辑，载于：《第15届全国人工智能大会论文集》（1998年），美国人工智能学会出版社：美国人工智能学会出版社，加利福尼亚州门洛帕克，第594-599页
[32] 美国斯特拉契亚，《模糊描述逻辑中的推理》，《人工智能研究杂志》，第14期，第137-166页（2001年）·Zbl 0973.03034号
[33] Straccia，U.，将模糊描述逻辑转化为经典描述逻辑，载于：《第九届欧洲人工智能逻辑会议论文集》，《计算机科学讲义》，第3229卷（2004年），Springer Verlag，第385-399页·Zbl 1111.68690号
[34] U.Straccia，具体领域的模糊描述逻辑，技术报告2005-TR-03，Istituto di Elaborazione dell'Informazione，2005年1月。；U.Straccia，具体领域的模糊描述逻辑，技术报告2005-TR-03，Istituto di Elaborazione dell'Informazione，2005年1月。
[35] 斯特拉契亚，U.，《格上的描述逻辑》，《国际不确定性、模糊性和基于知识的系统杂志》，14，1，1-16（2006）·Zbl 1093.68107号
[36] U.Straccia，F.Bobillo，混合整数规划，一般概念包含和模糊描述逻辑，收录于：欧洲模糊逻辑与技术学会第五届会议论文集，2007年，第213-220页。；U.Straccia，F.Bobillo，混合整数规划，一般概念包含和模糊描述逻辑，收录于：欧洲模糊逻辑与技术学会第五届会议论文集，2007年，第213-220页·Zbl 1152.68632号
[37] Tresp，C。；Molitor，R.，模糊知识的描述逻辑。模糊知识的描述逻辑，见：《第13届欧洲人工智能会议论文集》（1998年），约翰·威利和儿子：约翰·威利与儿子布莱顿，英国，第361-365页
[38] W3C，OWL Web本体语言概述，2004，URL:<http://www.w3.org/TR/owl-features网站/; W3C，OWL Web本体语言概述，2004，URL:<http://www.w3.org/TR/owl-features网站/
[39] Zadeh，L.A.，模糊集，信息与控制，8，338-353（1965）·Zbl 0139.24606号
[40] Zadeh，L.A.，作为可能性理论基础的模糊集，模糊集与系统，1,1,3-28（1978）·Zbl 0377.04002号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。