×
安妮特·米歇尔·福阿德·比萨拉;米哈伊尔·鲁卡亚

未分级模糊逻辑和推理。 （英语） Zbl 1511.68263号

Zgurovsky，Michael（编辑）等人，《系统分析与智能计算》。理论和应用。查姆：斯普林格。螺柱计算。智力。1022, 339-353 (2022).
摘要：知识表示的主要工具之一是本体，它是基于逻辑的形式语言句子的集合。自动推理程序使用这些句子来提取新知识并回答给定的问题。尽管W3C对本体语言进行了标准化，但仍然存在许多问题。最重要的问题之一是与本体相关的，其中的信息是模糊和不完整的。这种本体在许多不同的领域都有应用，例如医学、生物学、电子商务等。它们需要来自模糊和无等级理论的概念。这是作者的一篇后续论文，其中介绍了一种未分类的模糊逻辑。在这里，我们开发了一种表方法来推理这种逻辑。无秩模糊逻辑是具有序列变量、柔性整体函数和谓词符号的多值逻辑的扩展。未排序的模糊表演算对应于Hájek的见证模糊逻辑，因此是完整的。
关于整个系列，请参见[Zbl 1485.68014号].

MSC公司：

68T27型 人工智能中的逻辑
03B52号 模糊逻辑；模糊逻辑
68立方英尺 知识表示

关键词：

无等级逻辑;模糊逻辑;表格法;推理

软件：

食火鸡
PDF格式BibTeX公司 XML格式引用
\textit{A.M.F.Bishara}和\textit{M.Rukhaia}，Stud.Comput。智力。1022339-353（2022年；兹比尔1511.68263）
全文： 内政部

参考文献：

[1] Russell，S.J.，Norvig，P.：《人工智能：现代方法》。培生教育有限公司（2016）·Zbl 0835.68093号
[2] 布鲁斯特，C。；O'Hara，K.，《本体论的知识表示：当前挑战-未来可能性》，《国际计算机杂志》。螺柱，65、7、563-568（2007）·doi:10.1016/j.ijhcs.2007.04.003
[3] Stephan，G.，Pascal，H.，Andreas，A.：知识表示和本体论。摘自：《语义Web服务：概念、技术和应用》，第51-105页（2007年）
[4] 伯纳斯·李，T。；亨德勒，J。；Lassila，O.，语义网，科学。美国，284，5，34-43（2001）·doi:10.1038/科学美国人0501-34
[5] Shadbolt，N。；Berners-Lee，T。；Hall，W.，《语义网重访》，IEEE Intell。系统。，21, 3, 96-101 (2006) ·doi:10.1109/MIS.2006.62
[6] Antoniou，G.，Van Harmelen，F.：网络本体语言：猫头鹰。参见：《本体论手册》，第67-92页。斯普林格（2004）
[7] Janjua，N.K.，Hussain，F.K.：语义网络中逻辑层的开发：研究问题。2010年第六届语义、知识和网格国际会议，第367-370页。IEEE（2010）
[8] Maedche，A.：语义网络的本体学习，第665卷。施普林格科学公司；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；商业媒体（2012）·Zbl 1005.68126号
[9] Sowa，J.F.：《知识表示：逻辑、哲学和计算基础》。布鲁克斯/科尔出版公司（1999）
[10] Benson，T.，《健康互操作性原则HL7和SNOMED》（2010），伦敦：施普林格出版社，伦敦·doi:10.1007/978-1-84882-803-2
[11] Calegari，S.，Ciucci，D.：模糊本体论、模糊描述逻辑和模糊猫头鹰。摘自：《模糊逻辑与应用国际研讨会》，第118-126页。施普林格（2007）·Zbl 1182.68285号
[12] 波比略，F。；斯特拉契亚，美国，使用owl 2的模糊本体表示，国际期刊近似推理，52，7，1073-1094（2011）·doi:10.1016/j.ijar.2011.05.003
[13] Gao，M.，Liu，C.：通过模糊描述逻辑扩展猫头鹰。摘自：第17届IEEE人工智能工具国际会议（ICTAI’05），第562-567页。IEEE（2005）
[14] Calegari，S.，Ciucci，D.：在本体论中集成模糊逻辑。ICEIS 2，66-73（2006）
[15] Baziz，M.、Boughanem，M.，Loiseau，Y.、Prade，H.：模糊逻辑和基于本体的信息检索。摘自：《模糊逻辑》，第193-218页。施普林格（2007）
[16] Parry，D.：医学文献检索的模糊本体论。摘自：《澳大利亚信息安全、数据挖掘和网络智能以及软件国际化第二次研讨会论文集》，第32卷，第121-126页。澳大利亚计算机学会。
[17] Lee，C.S.，Jian，Z.W.，Huang，L.K.：模糊本体及其在新闻摘要中的应用。IEEE传输。系统。人类网络。B部分（控制论）35（5），859-880（2005）
[18] 李，CS；Wang，MH；Hagras，H.，《2型模糊本体论及其在个人糖尿病饮食建议中的应用》，IEEE Trans。模糊系统。，18, 2, 374-395 (2010)
[19] Zadeh，LA，模糊集，信息控制，8，3，338-353（1965）·Zbl 0139.24606号 ·doi:10.1016/S0019-9958（65）90241-X
[20] 桑切斯，E.：模糊逻辑和语义网络。爱思唯尔（2006）·Zbl 1107.68336号
[21] Hájek，P.：《模糊逻辑的元数学》，第4卷。施普林格科学公司；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；商业媒体（2013）·Zbl 0937.03030号
[22] 美国斯特拉契亚：语义网络语言中模糊逻辑的探索。收录于：《模糊逻辑和语义网络语言基础》（Open Access），第1-8页。Chapman和Hall/CRC（2016）
[23] Coelho，J.、Dundua，B.、Florido，M.、Kutsia，T.：基于规则的xml处理和web推理方法。摘自：网络推理和规则系统国际会议，第164-172页。施普林格（2010）
[24] ISO/IEC 24707：信息技术-通用逻辑（CL）：基于逻辑的语言家族的框架。国际标准化组织（ISO）瑞士日内瓦（2007）
[25] Mossakowski，T.、Lange，C.、Kutz，O.：分布式本体语言核心的三种语义。摘自：《第二十届国际人工智能联合会议记录》，第3027-3031页。AAAI出版社（2013）·兹比尔1394.68379
[26] 伊姆兰，M。；Young，B.，《基于通用逻辑的形式本体在装配知识共享中的应用》，J.Intell。制造，26，1，139-158（2015）·文件编号：10.1007/s10845-013-0768-4
[27] Bishara，A.，Rukhaia，M.：走向无等级模糊理论。参加：IEEE第二届国际系统分析与计算会议；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；智能计算（SAIC），第1-4页。IEEE Xplore数字图书馆（2020）
[28] Kutsia，T.，Buchberger，B.：带有序列变量和序列函数符号的谓词逻辑。摘自：数学知识管理国际会议，第205-219页。斯普林格（2004）·兹伯利1109.68111
[29] Dundua，B.，Kurtanidze，L.，Rukhaia，M.：网络相关应用的未排名表演算。2017年IEEE首次乌克兰电气与计算机工程会议（UKRCON），第1181-1184页。IEEE（2017）
[30] Cintula，P.：命题逻辑和谓词逻辑。模糊集系统。124(3), 289-302 (2001) ·Zbl 0994.03015号
[31] 埃斯特娃，F。；Godo，L.，将Lukasiewicz和产品逻辑放在一起，数学软件计算。，6, 2-3, 219-234 (1999) ·Zbl 0953.03030号
[32] 哈耶克，P。；辛图拉，P.，《模糊谓词逻辑的理论和模型》，《符号逻辑》，第71、3、863-880页（2006）·Zbl 1111.03030号 ·doi:10.2178/jsl/1154698581
[33] Schaffert，F.S.:Xcerpt:一种基于规则的Web查询和转换语言。路德维希·马克西米利安-慕尼黑大学博士论文（2004年）
[34] Hähnle，R.，《多值逻辑中的自动演绎》（1993），牛津：克拉伦登出版社，牛津·Zbl 0798.03010号
[35] Olivetti，N.，lukasiewicz无穷值逻辑表，Stud.Logica。，73，1，81-111（2003）·Zbl 1015.03032号 ·doi:10.1023/A:1022989323091
[36] Kutsia，T.，Marin，M.：通用逻辑中的求解、推理和编程。2012年第14届科学计算符号和数字算法国际研讨会，第119-126页。IEEE（2012）
[37] 巴德罗斯，GJ；博宁，A。；Stuckey，PJ，食饵线性算术约束求解算法，ACM Trans。计算-人类互动。（TOCHI），8，4，267-306（2001）·数字对象标识代码：10.1145/504704.504705
[38] Dutertre，B.，De Moura，L.：DPLL（T）的快速线性算法求解器。摘自：计算机辅助验证国际会议，第81-94页。斯普林格（2006）
[39] Hristakiev，I.，Plump，D.：GP 2的统一算法。电子。Commun公司。EASST 71（2015）·Zbl 1496.68081号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。