×

兹马思-数学第一资源

FASILL编程与实现:模糊逻辑设计。(英语) Zbl 07264273
小结:The法希尔程序设计语言(Fuzzy Aggregators and Similarity Into a Logic language)结合了一种基于相似关系的弱统一算法,以及丰富的模糊连接词和聚合器,它们的真值函数可以在一个完整的格上定义。在这项工作中,我们希望提供一个统一的观点,基本概念和思想,激发了它的建设,以及实现技术,使它成为可能。我们详细介绍了操作语义的实现,并描述了法希尔系统。这个法希尔语言非常适合广泛的应用,特别是,它可以帮助开发基于知识的系统,在那里处理不确定性很重要。经过十年的模糊逻辑系统的设计和实现,这项工作最终凝聚了我们的研究小组在这类现代编程语言的开发方面所取得的经验。
理学硕士:
68T37型 人工智能背景下的不确定性推理
全文: 内政部
参考文献:
[1] 阿尔伯特,L。;卡萨斯,R。;Fages,F.,统一算法的平均案例分析,理论。计算机。科学。,113,1,3-34(1993年)·Zbl 0779.68043
[2] Almendros Jiménez,J.M。;贝塞拉特隆,A。;Moreno,G.,基于模糊集和聚合器的SPARQL的模糊扩展,(2017 IEEE模糊系统国际会议,2017 IEEE模糊系统国际会议,FUZZ-IEEE 2017,意大利那不勒斯,2017年7月9-12日,IEEE),1-6
[3] Almendros Jiménez,J.M。;贝塞拉特隆,A。;Moreno,G.,社会网络模糊查询与FSA-SPARQL,专家系统。申请。,113128-146(2018年)
[4] Almendros Jiménez,J.M。;贝塞拉特隆,A。;Moreno,G.,在模糊逻辑编程环境中调整模糊SPARQL查询,(2019 IEEE模糊系统国际会议,2019 IEEE模糊系统国际会议,FUZZ-IEEE 2019,美国新奥尔良,2019年6月23-26日,IEEE),1-7
[5] Almendros Jiménez,J.M。;博菲尔,M。;露娜,A。;莫雷诺,G。;瓦茨奎兹,C。;Villaret,M.,模糊公式模型自动搜索的模糊xpath, (Beierle,C.;Dekhtyar,A.,第九届国际可伸缩不确定性管理会议论文集,加拿大魁北克市SUM'15第九届可伸缩不确定性管理会议论文集,加拿大魁北克市SUM'15第九届可伸缩不确定性管理国际会议论文集a、 LNCS,第9310卷(2015年),斯普林格,385-398
[6] Almendros Jiménez,J.M。;露娜,A。;Moreno,G.,一种灵活的基于XPath的查询语言,通过模糊逻辑编程实现, (第五届国际规则研讨会论文集:以研究为基础,以行业为中心。第五届规则国际研讨会论文集:以研究为基础,以行业为中心,RuleML'11,西班牙巴塞罗那,7月19日至21日。第五届规则国际研讨会论文集:以研究为基础,以行业为中心,以行业为中心,RuleML'11,巴塞罗那,西班牙,7月19-21日,LNCS,第6826卷(2011年),斯普林格-韦拉格,186-193
[7] Almendros Jiménez,J.M。;露娜,A。;Moreno,G.,一个基于模糊机会度的xpath调试器,(《走向有意义的互联网系统:OTM的12个研讨会论文集》《走向有意义的互联网系统:OTM'12研讨会论文集》,意大利罗马。《迈向有意义的互联网系统:OTM'12研讨会论文集》。《走向有意义的互联网系统:OTM'12研讨会论文集》,意大利罗马,LNCS,第7567卷(2012年),斯普林格·韦拉格(Springer Verlag),第669-672页
[8] Almendros Jiménez,J.M。;露娜,A。;Moreno,G.在调试XPath查询时注释了“模糊机会度”, (计算智能进展-第12届国际人工神经网络工作会议进程。计算智能的进展-第12届国际人工神经网络工作会议的程序,IWANN'13,西班牙特内里费。计算智能的进展-第12届国际人工神经网络工作会议进程ral网络。计算智能研究进展。第12届人工神经网络国际工作会议,IWANN'13,西班牙特内里费,LNCS,第7903卷(2013),Springer),300-311,第二部分
[9] Almendros Jiménez,J.M。;露娜,A。;Moreno,G.,XQuery中的模糊XPath查询, (《迈向有意义的互联网系统:2014年OTM会议-联合会国际会议:CoopIS和ODBASE 2014,意大利阿曼蒂亚,2014年10月27日至31日,会议记录。《迈向有意义的互联网系统:OTM 2014会议-联合国国际会议:CoopIS》和《ODBASE 2014》,意大利阿曼蒂亚,2010年10月27日至31日4,《计算机科学讲座笔记》,第8841卷(2014年),457-472
[10] Almendros Jiménez,J.M。;露娜,A。;Moreno,G.,《通过模糊逻辑编程实现模糊XPath》,New Genere。计算机。,332173-209(2015年)
[11] Almendros Jiménez,J.M。;露娜,A。;Moreno,G.,XPath查询的阈值调试,(2015 IEEE模糊系统国际会议,2015 IEEE模糊系统国际会议,FUZZ-IEEE 2015,土耳其伊斯坦布尔,2015年8月2-5日,IEEE),1-9
[12] Almendros Jiménez,J.M。;露娜,A。;Moreno,G.,在解释模糊XPath查询时进行调试,(2016年IEEE模糊系统国际会议记录,FUZZ-IEEE'16,加拿大不列颠哥伦比亚省温哥华(2016年),IEEE),233-240
[13] Apt,K.R。;范恩登,M.H.,对逻辑程序设计理论的贡献,J.ACM,29,3841-862(1982)·Zbl 0483.68004
[14] 阿切利F。;Formato,F.,Likelog:一种用于灵活数据检索的逻辑编程语言,(1999年ACM应用计算研讨会论文集,1999年ACM应用计算研讨会论文集,德克萨斯州圣安东尼奥市SAC'99号,第260-267页
[15] 阿切利F。;Formato,F.,《基于相似性的解析规则》,国际期刊。系统。,179853-872(2002年)·Zbl 1021.68031
[16] 阿切利F。;格式图,F。;Gerla,G.,《基于相似的统一作为模糊逻辑程序设计的基础》,(国际逻辑程序设计与软计算研讨会论文集,波恩,1996)
[17] 鲍德温,J.F。;马丁,T.P。;皮尔斯沃思,B.W.,弗里-人工智能中的模糊和证据推理(1995),约翰威利父子公司。
[18] 填充,BOM。;莫雷诺,G。;瓦茨奎兹,C。;Villaret,M.,《用模糊逻辑编程和SMT自动证明模糊公式》,(第十三届程序设计和语言会议论文集,第十三届编程与语言会议论文集,PROLE'13(2013)),151-165,ECEASST出版的扩展版,可在
[19] 达马西奥公司。;麦地那,J。;Ojeda Aciego,M.,《剩余逻辑编程的表格证明程序》, (de Mántaras,R.L.;Saitta,L.,《第16届欧洲人工智能会议论文集》,ECAI'2004,包括著名的智能系统申请人。第16届欧洲人工智能会议论文集,ECAI'2004,包括著名的智能系统申请者,PAIS 2004,西班牙瓦伦西亚,August 22-27,2004年(2004年)),808-812(2004年),IOS出版社
[二十] 达马西奥公司。;麦地那,J。;Ojeda Aciego,M.,一阶剩余逻辑程序的表格证明程序:稳健性、完备性和优化,(IEEE模糊系统国际会议,IEEE模糊系统国际会议,FUZZ-IEEE 2006,加拿大不列颠哥伦比亚省温哥华,2006年7月16-21日(2006年),IEEE),2004-2011年
[21] 达马西奥公司。;Moniz,L.,单调和剩余逻辑程序,(不确定性推理的符号和定量方法:第六届欧洲会议论文集。不确定性推理的符号和定量方法:第六届欧洲会议论文集,法国图卢兹ECSQARU'01(2001),Springer),748-759·Zbl 1001.68545
[22] 丰塔纳,佛罗里达州。;Formato,F.,使用模糊语法评估基于SGML的文档,(SAC(1997)),202-203
[23] 格式图,F。;格拉,G。;Sessa,M.I.,《逻辑程序设计的相似性扩展》,(1999年声明性编程联席会议论文集,1999年声明性编程联席会议论文集,意大利拉奎拉,AGP'99,397-410
[24] 格式图,F。;格拉,G。;Sessa,M.I.,基于相似性的统一,Fundam。通知。,41,4,393-414(2000年)·Zbl 0954.68032
[25] 瓜达拉玛南部。;穆尼奥斯。;《模糊Prolog:一种新的软约束传播方法,模糊集系统》。,144,1127-150(2004年)·Zbl 1065.68023
[26] 格雷罗,J.A。;马丁内斯医学硕士。;莫雷诺,G。;Vázquez,C.,设计模糊逻辑编程环境的真度格,(IEEE计算智能研讨会系列,IEEE计算智能研讨会系列,SSCI 2015,南非开普敦,2015年12月7-10日(2015),IEEE),995-1004
[27] 格雷罗,J.A。;门迪塔,F。;莫雷诺,G。;佩纳巴德,J。;Riaza,J.A.,用latticemaker工具测试模糊连接词和真值度的性质,(2017 IEEE计算智能研讨会系列,2017 IEEE计算智能研讨会系列,SSCI 2017,美国夏威夷州檀香山,2017年11月27日至12月1日,IEEE),1-8
[28] 格雷罗,J.A。;莫雷诺,G。;里亚萨,J.A。;Sanchez,J.,《模糊逻辑编程环境中相似关系的智能设计》(IEEE计算智能研讨会系列,IEEE计算智能研讨会系列,SSCI 2018,印度班加罗尔,2018年11月18-21日(2018年),IEEE),220-227
[29] 霍德,K。;Voronkov,A.,一阶定理证明中的统一算法比较,(Mertsching,B.;Hund,M.;Aziz,Z.,KI 2009:人工智能的进展(2009),Springer Berlin-Heidelberg:Springer-Berlin-Heidelberg-Berlin,Heidelberg),435-443
[30] Julián-Iranzo,P.,《构建相似关系的程序》, (Magdalena,L.;Ojeda Aciego,M.;Verdegay,J.,《第十二届知识型系统中信息处理和不确定性管理国际会议论文集》,IPMU 2008年6月22日至27日,MáL.Torremolinos阿加,西班牙(2008),U.Málaga),489-496
[31] Julián-Iranzo,P。;麦地那。;莫雷诺,G。;Ojeda,M.,《模糊逻辑设置中的阈值列表》,电子。理论笔记。计算机。科学。,248115-130(2009年)
[32] Julián-Iranzo,P。;麦地那莫雷诺,J。;莫西洛,P。;莫雷诺,G。;Ojeda Aciego,M.,改进模糊阈值表格的静态预处理程序,(计算智能进展——第11届人工神经网络国际工作会议论文集,IWANN 2011,第二部分:计算智能的进展——第十一届人工神经网络国际工作会议论文集,IWANN 2011,第二部分,LNCS,第6692卷(2011),Springer Verlag),429-436
[33] Julián-Iranzo,P。;麦地那莫雷诺,J。;莫西洛,P。;莫雷诺,G。;Ojeda Aciego,M.,一种基于展开的用于增强模糊表格中阈值的预处理程序,(计算智能进展-第12届人工神经网络国际工作会议进程,IWANN 2013,第一部分:计算智能进展-第十二届人工神经网络国际工作会议进程,IWANN 2013,第一部分,LNCS,第7902卷(2013),Springer Verlag),647-655
[34] Julián-Iranzo,P。;莫雷诺,G。;彭纳巴德,J.,关于模糊展开。多重伴随方法,模糊集系统。,154,16-33(2005年)·Zbl 1099.68017
[35] Julián-Iranzo,P。;莫雷格,不。;彭纳巴德,J.,多伴随逻辑程序的操作/解释展开,J.Univers。计算机。科学。,12、11、1679-1699(2006年)
[36] Julián-Iranzo,P。;莫雷诺,G。;Penabad,J.,《完全集成模糊逻辑语言的阈值语义框架》,J.Log。代数方法程序。,93,42-67(2017年)·Zbl 1372.68053
[37] Julián-Iranzo,P。;莫雷诺,G。;Penabad,J.,FASILL:模糊正确答案与可靠性,(2018 IEEE模糊系统国际会议,2018 IEEE模糊系统国际会议,FUZZ-IEEE 2018,巴西里约热内卢,2018年7月8-13日,IEEE),1-8
[38] Julián-Iranzo,P。;莫雷诺,G。;佩纳巴德,J。;Vázquez,C.,用于管理相似度和真值度的模糊逻辑编程环境,(第十四届Jornadas sobre Programación y Lenguajes.Proc.of XIV Jornadas sobre Programación y Lenguajes.Proc.14,Cádiz,西班牙(2015)),71-86
[39] Julián-Iranzo,P。;卢比奥·曼扎诺,C.,基于邻近的统一理论,模糊集系统。,26221-43(2015年)·Zbl 1360.68310
[40] Julián-Iranzo,P。;卢比奥·曼扎诺,C.,《基于相似性的逻辑编程语言的完整语义》,模糊集系统。,317,1-26(2017年)·Zbl 1392.68138号
[41] Julián-Iranzo,P。;Sáenz-Pérez,F.,一种有效的基于邻近度的统一算法(2018 IEEE模糊系统国际会议,2018 IEEE模糊系统国际会议,FUZZ-IEEE 2018,巴西里约热内卢,2018年7月9-12日),1-8
[42] Julián-Iranzo,P。;Sáenz-Pérez,F.,基于邻近性的统一:一种有效的实现方法,IEEE Trans。模糊系统。,14(2020年)
[43] 坎德尔,A。;《模糊链》,IEEE Trans。系统。曼赛本。系统。,SMC-4、5472-475(1974年)·中银0283.94013
[44] 《谓词逻辑作为程序设计语言》,信息处理,第74卷,569-574(1974),北荷兰
[45] 《模糊逻辑与分辨原理》,J.ACM,19,119129(1972)·Zbl 0245.02020
[46] 李,D。;刘博士,模糊Prolog数据库系统(1990),约翰威利父子公司。
[47] 洛瓦,V。;参议员,S。;Sessa,M.I.,基于相似性的SLD解析及其在扩展Prolog系统中的实现,(第10届IEEE国际模糊系统会议论文集,第10届IEEE国际模糊系统会议论文集,FUZZ-IEEE'01,澳大利亚墨尔本(2001)),650-653
[48] 马泰利,A。;Montanari,U.,一个有效的统一算法,ACM Trans。程序。语言系统。,4258-282年(1982年)·Zbl 0478.68093
[49] 麦地那,J。;Ojeda Aciego,M。;《基于相似性的统一:一种多重伴随方法》,模糊集系统。,2004年第46-62页·Zbl 1073.68026
[50] 莫西洛,P.J。;莫雷诺,G。;佩纳巴德,J。;Vázquez,C.,《使用flopper对模糊真度进行实际管理》,(第四届国际规则交换与应用研讨会论文集,第四届国际规则交换与应用研讨会论文集,RuleML'10.第四届国际规则交换与应用研讨会论文集,RuleML'10,LNCS,第6403卷(2010),Springer Verlag),20-34页
[51] 莫雷诺,G。;佩纳巴德,J。;Riaza,J.,基于相似性的展开(可扩展不确定性管理国际会议,可扩展不确定性管理国际会议,SUM'17。可扩展不确定性管理国际会议,SUM'17,LNCS,第10564卷(2017),Springer),420-426号
[52] 莫雷诺,G。;佩纳巴德,J。;Riaza,J.,《多伴随逻辑程序的符号展开》,《数学与计算智能趋势》,《数学与计算智能趋势》,《计算智能研究》(2019年),斯普林格国际出版社,43-51,ESCIM'17上一篇论文的扩展版·Zbl 1430.68026
[53] 莫雷诺,G。;佩纳巴德,J。;里亚萨,J。;维达尔,G.,《有效调整模糊逻辑程序的符号执行和阈值法》, (基于逻辑的程序综合与转换国际研讨会。基于逻辑的程序综合与转换国际研讨会,LOPSTR'16。基于逻辑的程序综合与转换国际研讨会。基于逻辑的程序综合与转换国际研讨会,LOPSTR'16,LNCS,第101卷84(2016),斯普林格出版社,131-147·Zbl 06791223
[54] 莫雷诺,G。;佩纳巴德,J。;多任务逻辑,计算机辅助编程。数学。,92年9月,1956年至1975年(2014年)·Zbl 1343.68045
[55] 莫雷诺,G。;佩雷斯,J。;Riaza,J.A.,《用于调整神经网络的模糊逻辑程序设计》,(规则与推理——第三届国际联席会议,RuleML+RR 2019,意大利博尔扎诺,2019年9月16日至19日,规则与推理——第三届国际联席会议,RuleML+RR 2019,意大利博尔扎诺,2019年9月16日至19日,会议记录,计算机科学课堂讲稿,第11784卷(2019年),第190-197页
[56] 莫雷诺,G。;Riaza,J.A.,《用于调整模糊逻辑程序的在线工具》,(国际规则与推理联合会议,规则与推理国际联席会议,RuleML+RR'17.规则与推理国际联席会议,RuleML+RR'17,LNCS,第10364卷(2017),Springer),184-198年
[57] 莫雷诺,G。;Vázquez,C.,《模糊逻辑程序设计与FLOPER的作用》,J.Softw。工程应用。,7237-298(2014年)
[58] 穆凯多诺,M。;沈,Z。;丁,L.,《模糊逻辑基础》,国际期刊,近似推理。,1080年至1989年(1989年)
[59] 纳森,H。;迈耶,卫生部。;Baets,B.D.,计算t传递闭包的算法,IEEE Trans。模糊系统。,10541-551(2002年)
[60] 佩托罗斯,A。;Proietti,M.,转换功能和逻辑程序的规则和策略,ACM计算机。调查。,282360-414(1996年)
[61] 《基于解析原理的面向机器逻辑》,J.ACM,12,1,23-41(1965)·Zbl 0139.12303号
[62] 罗梅罗,F.P。;Julián-Iranzo,P。;索托,A。;费雷拉,M。;Gallardo Casero,J.,《使用模糊声明方法对未标记的短文本进行分类》,Lang.Resource。评估。,47,1515-178(2013年)
[63] 鲁比奥·曼扎诺,C。;朱利安-伊兰佐,P.,《模糊语言序言及其应用》,J.Intell。模糊系统。,1503-1516年(2014年)
[64] 鲁比奥·曼扎诺,C。;Julián-Iranzo,P.,通过使用邻近关系将抽象能力纳入基于逻辑的框架中,J.Intell。模糊系统。,1671-1683年(2015年)
〔65〕 Sessa,M.I.,基于相似性的SLD解析近似推理,理论。计算机。科学。,275、1-2、389-426(2002年)·Zbl 1051.68045
[66] 斯特林,L。;《序言的艺术:高级编程技术》(1994),麻省理工学院出版社·Zbl 0850.68137
[67] 斯威夫特。;扩展权力理论。日志。程序。,2012年第12期,第1-2期,第157-187页(2012年)·Zbl 1244.68021
[68] Tamaki,H。;Sato,T.,逻辑程序的展开/折叠转换,(Tärnlund,S.,第二届国际逻辑编程会议论文集(1984)),127-139
〔69〕 汤玛斯,L。;瓦茨奎兹,C。;托德森,J。;Moreno,G.,使用模糊亲和感知调度器减少噪音邻居影响,(2015年云和自主计算国际会议,2015年云和自主计算国际会议,美国马萨诸塞州波士顿,2015年9月21日至25日,IEEE计算机协会),33-44
[70] 范埃姆登,医学硕士。;《谓词逻辑作为程序设计语言的语义》,J.ACM,23,4733-742(1976)·Zbl 0339.68004
[71] 瓦茨奎兹,C。;莫雷诺,G。;汤玛斯,L。;Tordsson,J.,一个由模糊相似性感知引擎辅助的云调度器,(2015年IEEE国际模糊系统会议论文集,FUZZ-IEEE'15,土耳其伊斯坦布尔(2015),IEEE),1-8
[72] 瓦茨奎兹,C。;汤玛斯,L。;莫雷诺,G。;Tordsson,J.,《用于安全超额预订的云准入控制的模糊方法》,(第十届国际模糊逻辑与应用研讨会论文集,第十届国际模糊逻辑与应用研讨会论文集,意大利热那亚WILF'13,第十届国际模糊逻辑与应用研讨会论文集,第十届国际模糊逻辑与应用研讨会论文集,WILF'13,意大利热那亚,LNCS,卷8256(2013),斯普林格),212-225
[73] 语言逻辑程序设计,(逻辑程序设计与软计算(1998)),91-128
[74] 模糊逻辑,模糊系统。,1241361-370(2001年)·Zbl 1015.68036
[75] Zadeh,L.,模糊集,信息控制,8338-353(1965)·Zbl 0139.24606
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。