×
法沙德·巴迪

描述逻辑中的偶然世界描述。 （英语） Zbl 1478.68340号

日志。日志。菲洛斯。 第115-141号第29页（2020年）.
概述：描述逻辑（DL）和模态逻辑（ML）之间的哲学、逻辑和术语连接非常重要，因为它们可以通过DL的视角支持对模态概念“可能性”和“必然性”的形式分析。本文引入了功能偶然性，以便（i）从结构和术语上分析DL世界描述中的“功能可能性”和“功能必要性”，（ii）基于功能偶然性对DL世界的描述进行逻辑和术语注释。本研究最重要的贡献是对DL世界描述中的功能偶然性进行了逻辑表征和术语分析。最终目标是研究如何在DL世界描述中从逻辑和术语上表达模态运算符。

MSC公司：

68T27型 人工智能中的逻辑
68立方英尺 知识表示

关键词：

条件信息;或有解释;偶然世界描述;描述逻辑;职能特遣队;知识表示;模式;三值语义

软件：

旋转（swrl）
PDF格式BibTeX公司 XML格式引用
\textit{F.Badie}，日志。日志。菲洛斯。29，第1号，115--141（2020；Zbl 1478.68340）
全文： 内政部

参考文献：

[1] Mohamed Nazih Omri Amen Ajroud、Salem Benferhat和Habib Youssef，“关于在可能网络中使用保证可能性措施”，载于H.C.Lane和H.W.Guesgen（编辑），《第二十二届国际FLAIRS会议论文集》，佛罗里达州，美国原子能机构协会出版社
[2] Franz Baader等人，《描述逻辑手册：理论、实现和应用》，剑桥大学出版社，纽约，第2版，2010年·Zbl 1191.68652号
[3] Carsten Lutz Franz Baader、Ian Horrocks和Ulrike Sattler，《描述逻辑导论》，剑桥大学出版社，2017年。内政部：·Zbl 1373.68002号
[4] Carsten Lutz Franz Baader、Ian Horrocks和Ulrike Sattler，“简介”，[3]第1-9页。内政部：
[5] Carsten Lutz Franz Baader、Ian Horrocks和Ulrike Sattler，“基本描述逻辑”，[3]DOI第10-49页：·Zbl 1373.68002号
[6] Carsten Lutz Franz Baader、Ian Horrocks和Ulrike Sattler，“描述逻辑术语”，[3]中第228-233页。内政部：·Zbl 1098.68705号
[7] Safia Bal-Bourai和Aícha Mokhtari，“Poss-owl 2:owl 2对不确定地理本体论的可能扩展”，第407-416页，P.Jedrzejowicz等人（编辑），第18届基于知识和智能信息与工程系统国际会议-KES 2014，Procedia Computer Science，Elsevier，2014。内政部：
[8] Safia Bal-Bourai和Aícha Mokhtari，“π-sroiq（d）：不确定地理信息的可能描述逻辑”，H.Fujita等人（编辑）第818-829页，IEA/AIE 2016：基于应用知识的系统和数据科学趋势，计算机科学讲义第9799卷，Springer，2016。内政部：
[9] Laurent Mouchard Pierre Vera Benoit Lelandais、Isabelle Gardin和Su Ruan，“使用信念函数理论处理图像处理中的不确定性和不精确性”，T.Denoeux和M.-H.Masson（编辑）第197-204页，信念函数：理论和应用，智能和软计算进展，Springer，Berlin，Heidelberg，2012内政部：
[10] Patrick Blackburn等人（编辑），模态逻辑手册，逻辑和实践推理研究第3卷，爱思唯尔科学，2006年
[11] Miguel Delgado Fernando Bobillo和Juan Gómez Romero，“模糊本体的清晰表示和推理”，《国际不确定性、模糊性和基于知识的系统杂志》17，4（2009）：501-530。内政部：·Zbl 1193.68240号
[12] Fernando Bobillo和Umberto Straccia，“用有限多值Łukasiewicz模糊描述逻辑进行推理”，《信息科学》181 4（2011）：758-778。内政部：·Zbl 1209.68519号
[13] Alex Borgida，“描述逻辑和谓词逻辑查询之间的关系”，第219-225页，《第三届信息和知识管理国际会议论文集》，CIKM’94，纽约，1994年。内政部：
[14] 罗纳德·布拉赫曼（Ronald J.Brachman）和赫克托·J·莱维斯克（Hector J.Levsque），《知识表示读物》，摩根·考夫曼出版社，1985年·Zbl 0609.68007号
[15] Romano Scozzafava Giulianella Coletti和Barbara Vantaggi，“概率推理中的可能性度量”，第51-58页，《处理可变性和不确定性的软方法》，《软计算进展》，施普林格，柏林，海德堡，2008年。内政部：·Zbl 1341.68242号
[16] Abdelkarim Ben Ayed Fatma Dammak、Leila Baccour和Adel M.Alimi，“使用区间值直觉模糊集的Electre方法和多准则决策问题解决的可能性理论”，2017 IEEE模糊系统国际会议（FUZZ）第1-6页-
[17] IEEE），2017年。内政部：
[18] Jean Dezert和Jean-Marc Tacnet，“基于信念函数的电子三元方法的Sigmoidal模型”，T.Denoeux和M.-H.Masson（编辑）第401-408页，信念函数：理论与应用，智能与软计算进展，Springer，Berlin，Heidelberg，2012年。内政部：
[19] Francesco M.Donini、Martin Buchheit和Andrea Schaerf，“术语知识表示系统中的可判定推理”，载于计算机研究库（CoRR），1993年。内政部：·Zbl 0900.68396号
[20] Isabela Neves Drummond，“基于模糊逻辑和可能性理论的不精确数据分类”，国家空间研究所博士论文，巴西圣何塞多斯坎波斯，2007年
[21] Henri Prade Didier Dubois和Agnes Rico，“将定性能力表示为一系列可能性测度”，《国际近似推理杂志》58，C（2015）：3-24。内政部：·Zbl 1328.68226号
[22] Jéróme Mengin Didier Dubois和Henri Prade，“描述逻辑中的可能性不确定性和模糊特征：初步讨论”，2006年。内政部：
[23] Didier Dubois，《有限尺度上的模糊测度作为可能性测度族》，S.Galichet等人（编辑），第822-829页，《欧洲模糊逻辑与技术学会第七届会议论文集》（EUSFLAT-11），智能系统研究进展，Aix-les-Bains，亚特兰蒂斯出版社，2011年·兹比尔1254.28017
[24] Didier Dubois和Henri Prade，“用信念函数、序数条件函数和可能性测度进行更新”，计算研究数据库（CoRR）·Zbl 1018.28009号
[25] J.Gallagher和P.M.Hill，“逻辑编程中的元编程”，第421-497页，牛津科学出版物，牛津大学出版社，1994年·Zbl 0900.68137号
[26] 詹姆斯·加森（James Garson），“模态逻辑”，《斯坦福大学哲学百科全书》，2014年
[27] Sergio Alejandro Gómez，“用不一致的可能性描述逻辑本体与析取断言进行推理”，载于ISTEC RedUNCI（编辑），第二十一届阿根廷计算机科学会议（CACIC 2015），布宜诺斯艾利斯，2015年
[28] Sergio Alejandro Gómez，“通过应用参数累算对不一致的可能性本体进行推理”，《计算机科学与技术杂志》17，2（2017）：117-126。内政部：
[29] Bernhard Hollander，“可能性逻辑的另一种证明方法及其在术语逻辑中的应用”，《国际近似推理杂志》12（1994）：85-109。内政部：·Zbl 0814.68120号
[30] Kosuke Kato、Takeshi Uno和Hideki Katagiri，“基于可能性和必要性度量的模糊随机需求的stackelberg位置”，《国际知识工程与软数据范式杂志》（2014）：249-260。内政部：
[31] Pavel Klinov和Bijan Parsia，“通过连接到概率的一阶逻辑来理解概率描述逻辑”，Fernando Bobillo等人（编辑），《语义网络的不确定性推理》，计算机科学讲稿，施普林格，柏林，海德堡，2013年，第41-58页。内政部：·Zbl 1351.68268号
[32] Oliver Kutz、Ian Horrocks和Ulrike Sattler，“更不可抗拒的sroiq”，第57-67页，《2006年第十届知识表示与推理原则国际会议论文集》，湖区，AAAI出版社，2006年
[33] Ioan A.Letia和Adrian Groza，“在描述逻辑中建模不精确的论点”，《电气与计算机工程进展》，2009年，第94-99页。内政部：
[34] H.J.Levesque和R.J.Brachman，《知识表示和推理的基本权衡》，知识表示阅读，摩根考夫曼，1985年·Zbl 0609.68007号
[35] 李军，陈涛，拉德科·梅西亚尔和安德烈亚·斯图普纳诺娃，“可能性和必要性测度及积分等价性”，《国际近似推理杂志》（2017）：62-72。内政部：·兹比尔1426.28003
[36] 李永明，“基于广义可能性测度的线性时间属性定量模型检验”，模糊集与系统（2017）：17-39。内政部：·Zbl 1382.68143号
[37] Sebastian Link和Henri Prade，“可能性函数依赖及其与可能性理论的关系”，IEEE模糊系统汇刊24，3（2016）：757-763。内政部：
[38] Thomas Lukasiewicz，“表达概率描述逻辑”，人工智能172。6-7 (2008): 852-883. 内政部：·Zbl 1182.68283号
[39] Andrzej Matuszewski和Mieczyslaw A.Klopotek，“信念函数相信什么？”，计算研究库（CoRR）（2017）
[40] 约翰·朱尔斯（John-Jules）·切·迈耶（Ch.Meyer），“模态认知和多角主义逻辑”，《哲学逻辑手册》，第10卷，2003年。内政部：·兹比尔1035.03002
[41] 马文·明斯基（Marvin Minsky），“知识表示框架”，技术报告306，MIT-AI实验室，1974年
[42] 阿伊查·莫赫塔里、萨菲亚·巴勒·博莱和法伊萨·凯拉夫，“可能-演算（d）：向不确定地理本体论的可能描述逻辑扩展”，B.Catania等人（编辑）第277-286页，数据库和信息系统新趋势，《智能系统和计算进展》第241卷，施普林格，2013年。内政部：
[43] Daniele Nardi和Ronald J.Brachman，描述逻辑导论，第1-42页。剑桥大学出版社，纽约，2010
[44] D.Nardi、W.Nutt、F.M.Donini、M.Lenzerini和A.Schaerf，“描述逻辑的认知算子”，《人工智能》100，1（1998）：225-274。内政部：·Zbl 0906.68144号
[45] Jeff Z.Pan，桂林Qi和邱基，“描述逻辑的可能扩展”，载于D.Calvanee等人（编辑），载于《2007年DL’07会议录》，《CEUR研讨会录》第250卷，CEUR-WS.org，2007年·Zbl 1148.68535号
[46] Jeff Z.Pan、桂林Qi和邱基，“在可能性逻辑中用不确定性推理扩展描述逻辑”，K.Mellouli（编辑）第828-839页，ECSQARU 2007：用不确定性进行推理的符号和定量方法，《计算机科学讲义》第4724卷，施普林格，柏林，海德堡，2007年。内政部：·Zbl 1148.68535号
[47] Jeff Z.Pan，桂林齐，邱基，杜建峰，国际智能系统杂志26，4（2011）：353-381。内政部：·Zbl 1210.68110号
[48] 罗斯·奎利安（Ross Quillian），“语义记忆”，《语义信息处理》（Semantic Information Processing）第216-270页，麻省理工学院出版社，1968年
[49] Sebastian Rudolph，“描述逻辑的基础”，《推理网络》，LNCS第6848卷，2011年。内政部：
[50] Jose L.Ruiz和Inmaculada Sirvent，模糊优化和决策，2017年·Zbl 1428.90085号
[51] Enrique H.Ruspini，“作为相似性的可能性：模糊逻辑的语义”，计算研究库（CoRR），abs/1304.1115（2013）
[52] Klaus Schild，“术语逻辑的对应理论：初步报告”，第101-104页，《第十二届国际人工智能联合会议论文集》，第1卷，加利福尼亚州旧金山，1991年·Zbl 0742.68059号
[53] Manfred Schmidt-Schaulss和Gert Smolka，“带补语的属性概念描述”，载于人工智能Elsevier，1991年·Zbl 0712.68095号
[54] 克里斯特·塞格伯格（Krister Segerberg），“默认逻辑作为动态多弹性逻辑”，《Erkentnis》50，2-3（1999）：333-352。内政部：·Zbl 0956.03019号
[55] Glenn Shafer，“信念函数和可能性测度”，《模糊信息分析1》（1987）：51-84·Zbl 0655.94025号
[56] Glenn Shafer，“信念函数和参数模型”，R.R.Yager和L.Liu（编辑）第265-290页，Dempster-Shafer信念函数理论经典著作，模糊性和软计算研究，Springer，Berlin，Heidelberg，2008。内政部：·Zbl 1135.68051号
[57] Leslie F.Sikos，《多媒体推理中的描述逻辑》，施普林格国际出版社，2017年。内政部：·Zbl 1373.68013号
[58] Umberto Straccia，“管理描述逻辑、逻辑程序和描述逻辑程序中的不确定性和模糊性”，摘自《推理网络》，《计算机科学讲义》。施普林格，柏林，海德堡，2008年。内政部：·Zbl 1171.68754号
[59] Umberto Straccia，《模糊逻辑和语义Web语言基础》，查普曼和霍尔/CRC，2013年·Zbl 1283.68010号
[60] Matthias C.M.Troffaes、Enrique Miranda和Sebastien Destercke，“概率盒和可能性测度之间的联系”，《信息科学》（2013）：88-108。内政部：·Zbl 1293.60005号
[61] 尼古拉斯·特罗夸德（Nicolas Troquard）和菲利普·巴尔比亚尼（Philippe Balbiani），《命题动态逻辑》（Propositional dynamic logic），斯坦福大学哲学百科全书，2015年·Zbl 1366.03208号
[62] 尼古拉斯·特罗夸德（Nicolas Troquard）和菲利普·巴尔比亚尼（Philippe Balbiani），“命题动态逻辑”，《斯坦福大学哲学百科全书》，2015年
[63] Vassilis Tzouvaras、Giorgos Stoilos、Giorgos B.Stamou和Jeff Z.Pan，“不确定性和规则库：初步报告”，载于Asaf Adi等人，编辑，ruleml 2005：语义网的规则和规则标记语言，计算机科学讲义第3791卷，施普林格，柏林，海德堡，2005年。内政部：·Zbl 1186.68454号
[64] Frank van Harmelen等人（编辑），《知识表示手册》，人工智能基础，爱思唯尔科学，圣地亚哥，2007年
[65] 万维网联盟（W3C）。Swrl：一种结合owl和ruleml的语义web规则语言，2004年
[66] Ronald R.Yager和Naif Alajlan，“最大信念结构和不精确可能性分布”，IEEE模糊系统汇刊25，4（2017）：768-774。内政部：
[67] 洛特菲·A·扎德，
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。