×
阿尔特·卡奇，哈桑;加布里埃拉·帕西

具有相似构造函数的签名上一阶项的模糊格运算：一种基于约束的方法。 （英语） Zbl 1452.06008号

模糊集系统。 391, 1-46 (2020).
摘要：统一和泛化是对两个项进行的操作，当这些项在变量重命名之前通过包含进行拟序时，分别计算它们的最大下界和最小上界（即，对于某些变量替换（σ），如果（t1=t2σ））。当术语签名使得不同的函子符号可能与模糊等价（称为相似性)，可以对这些操作进行形式化扩展，以容忍函子名称和/或arity或参数顺序上的不匹配。我们用一种声明性方法重新表述和扩展了以前的工作，将统一和泛化定义为公理和规则集，形成一个完整的约束规范化证明系统。这些包括雷诺-普洛金术语泛化过程、玛丽亚·塞萨（Maria Sessa）对部分模糊签名的“弱”统一及其相应的泛化，以及将此类操作扩展到函子相似性较弱（即具有可能不同的算术）的签名。这种方法的一个优点是，它不需要修改术语和替换的传统数据结构。这一点以及这些声明性规范是高效可执行的条件Horn-子句这一事实为模糊信息处理应用程序提供了巨大的实用潜力。

引用于1文件

MSC公司：

72年6月 模糊格（软代数）及相关主题
68N17号 逻辑编程

关键词：

近似推理;模糊推理系统;模糊约束满足;学习;模糊数据库;信息检索;信息格;一阶项;模糊统一;模糊泛化
PDF格式BibTeX公司 XML格式引用
\textit{H.Ait-Kaci}和\textit{G.Pasi}，模糊集系统。391，1--46（2020；Zbl 1452.06008）
全文： 内政部

参考文献：

[1] Herbrand，Jacques，Recherches sur la théorie de la démonstration（1930），巴黎大学科学学院：巴黎大学科学院（法国），英语翻译[10]·JFM 56.0824.02号
[2] 阿尔贝托·马泰利；Montanari，Ugo，一种有效的统一算法，ACM Trans。程序。语言系统。，4、2、258-282（1982年4月），在线：·Zbl 0478.68093号
[3] 马修·塞鲁里埃（Mathieu Serrurier）；托马斯·苏德坎普（Thomas Sudkamp）；迪迪埃·杜布瓦（Didier Dubois）；Prade，Henri，《模糊归纳逻辑编程：学习模糊规则及其含义》，（第14届IEEE模糊系统国际会议论文集（FUZZ'05），内华达州雷诺（2005年5月25日至25日），IEEE），613-618
[4] De Hauare，Yann-Michaöl，声明性编程：归纳逻辑编程。教程幻灯片（2015年），在线：
[5] 约翰·C·雷诺兹（John C.Reynolds），《变换系统和原子公式的代数性质》（Metzer，Bernard；Michie，Donald，《机器智能》5（1970），爱丁堡大学出版社：苏格兰爱丁堡爱丁堡（英国）），135-151，第7章，在线：·Zbl 0219.68044号
[6] 戈登·普洛金（Gordon D.Plotkin），《归纳概括的注释》（伯纳德·梅策尔（Bernard Metzer）；唐纳德·米奇（Donald Michie），《机器智能5》（1970），爱丁堡大学出版社：苏格兰爱丁堡爱丁堡（英国）），第154-163页，第8章，在线：
[7] John Alan Robinson，《基于分辨率原理的机器导向逻辑》，J.ACM，12，23-41（1965年1月），在线：·Zbl 0139.12303号
[8] Dag Prawitz，《改进的证明程序》，Theoria，26，102-139（1960年8月），在线：·Zbl 0099.00801号
[9] 让·范·海耶诺特（Jean van Heijenoort），《从弗雷格到哥德尔——1879-1931年（1967年）数学逻辑源书》，哈佛大学出版社：哈佛大学出版社，马萨诸塞州剑桥市（美国）·Zbl 0183.00601号
[10] 雅克·赫布兰德（Jacques Herbrand），《逻辑写作》（1971），哈佛大学出版社：哈佛大学出版社，马萨诸塞州剑桥，沃伦·戈德法布（Warren D.Goldfarb）编辑·Zbl 0221.02001号
[11] Huet，Gérard，Résolution d‘Équations dans des Langages d‘Ordre（1，2，\ldots，\omega（1976）），巴黎第七大学：巴黎第七大学（法国），在线：
[12] Sessa，Maria I.，基于相似性的SLD解决方案的近似推理，Theor。计算。科学。，275389-426（2002），在线：·Zbl 1051.68045号
[13] 约瑟夫·戈根（Joseph A.Goguen）。；詹姆斯·撒切尔。；埃里克·瓦格纳（Eric G.Wagner）。；Jesse B.Wright，《初始代数语义和连续代数》，J.Assoc.Compute。机器。，24、1、68-95（1977年1月），在线：·Zbl 0359.68018号
[14] 戈根，约瑟夫，什么是统一？，（Hassan，Aït-Kaci；Nivat，Maurice，《代数结构中方程的求解——代数技术》（1989），学术出版社），217-261，第6章，在线：·Zbl 1109.68521号
[15] 伯恩德·马赫；Johann A.Makowsky，《描述承认初始语义的规范语言的特征》，Theor。计算。科学。，31、1-2、49-59（1984），在线：·Zbl 0536.68011号
[16] 马利亚阿尔普特；圣地亚哥埃斯科瓦尔；哈维尔·埃斯佩特；Meseguer，José，模序分类方程推广算法，Inf.Compute。，235，98-136（2014），在线：·Zbl 1314.68169号
[17] 马利亚阿尔普特；圣地亚哥埃斯科瓦尔；何塞·梅塞盖尔；Ojeda，Pedro，有序广义，电子。注释Theor。计算。科学。，24627-38（2009），在线：·Zbl 1347.68193号
[18] Fay，M.J.，方程理论中的一阶统一，（Joyner，W.H.，第四届自动演绎研讨会论文集（德克萨斯州奥斯汀）（1979），学术出版社：英国伦敦学术出版社），161-167
[19] 圣地亚哥埃斯科瓦尔；何塞·梅塞盖尔；Thati，Prasanna，《缩小和重写逻辑：从基础到应用》，Electron。注释Theor。计算。科学。，177，5-33（2007），在线：·Zbl 1279.68205号
[20] 唐纳德·科努特（Donald E.Knuth）。；彼得·本迪克斯（Peter B.Bendix），《泛代数中的简单单词问题》（Leech，J.），《抽象代数中的计算问题》（1970），佩加蒙出版社：英国牛津佩加蒙出版公司）。（《自动推理》，第2卷（1983），Springer-Verlag），342-376，再版
[21] 德肖维茨，纳丘姆；Jouannaud，Jean-Pierre，《重写系统》（van Leeuwen，Jan，《理论计算机科学手册》第B卷：形式方法和语义，第6章（1990年），北荷兰：荷兰阿姆斯特丹北荷兰），243-320，在线：·Zbl 0900.68283号
[22] 弗朗西斯卡·阿塞利；Formato，Ferrante；Gerla，Giangiacomo，通过相似关系扩展统一，BUSEFAL，3-12（1997），在线：
[23] 弗朗西斯卡·阿塞利；Formato，Ferrante，模糊逻辑编程语言，（Console，Luca；Lamma，Evelina；Mello，Paola；Milano，Michela，Programmazione Logica e Prolog（1997），UTET University A），319-332，在线：
[24] 大卫·吉尔伯特；Michael Schroeder，FURY：基于编辑距离的模糊统一和分辨率，收录于：Nikolaos G.Bourbakis（编辑），《IEEE生物信息学和生物医学工程国际研讨会论文集》（BIBE 2000），弗吉尼亚州阿灵顿（美国），2000年11月8日至10日，IEEE计算机学会，第330-336页，在线：
[25] 迈克尔·施罗德；Schweimeier，Ralf，《争论与误解：谈判代理人的模糊统一》，Electron。注释Theor。计算。科学。，70、5、1-19（2002年10月），在线：·Zbl 1270.68336号
[26] Ralf Schweimeier；Schroeder，Michael，《有根据的语义的模糊统一和论证》，载于：Peter Van Emde Boas，JúliusŠtuller Jaroslav Pokorný，Mária Bieliková（编辑），第30届计算机科学理论与实践趋势会议论文集，捷克共和国，2004年1月24日至30日，摘自：《计算机科学讲义》，第2932卷，斯普林格出版社，第102-121页，在线：·Zbl 1202.68430号
[27] 迈克尔·施罗德（Michael Schroeder），回复：你在《愤怒》（FURY）上的工作，私人通信（电子邮件），2017年10月20日，在线：http://hassan-ait-kaci.net/eml/Re-Your-work-on-FURY.eml。
[28] Temur，Kutsia，具有序列变量和灵活arity符号的模式统一，电子。注释Theor。计算。科学。，66、5、52-69（2002），在线：·Zbl 1270.68130号
[29] 德谟库西亚；约尔迪·利维；Villaret，Mateu，《未分类术语和对冲的反统一》，J.Autom。原因。，52，2155-190（2014），在线：·Zbl 1331.68122号
[30] 阿伊特·卡奇·哈桑；Pasi，Gabriella，Lattice on terms on similar signatures，in：Fabio Fioravanti，John Gallagher（Eds.），《第27届基于逻辑的程序合成与转换国际研讨会论文集》（LOPSTR 2017），比利时纳穆尔，2017年10月20日至12日，在线：·Zbl 1508.68051号
[31] 阿伊特·卡奇·哈桑；安德烈亚斯·波德尔斯基（Andreas Podelski），《迈向生命的意义》（Towards a immedian of LIFE），J.Log。程序。，16、3-4、195-234（1993），在线：·Zbl 0782.68022号
[32] 阿伊特·卡奇·哈桑；Sasaki，Yutaka，《特征项泛化的公理方法》，（Flach，Peter；de Raedt，Luc，《第十二届欧洲机器学习会议论文集》（ECML'01），柏林-海德堡。《第十二次欧洲机器学习大会论文集》，柏林-海德堡，LNCS，第2167卷（2001年9月），斯普林格-Verlag，1-12，在线：·Zbl 1007.68146号
[33] Lacoste-Julien，西蒙；康斯坦蒂娜·帕拉；亚历克斯·戴维斯；Gjergji Kasneci；格雷佩尔、托尔；Ghahramani、Zoubin、SiGMa：用于对齐大型知识库的简单贪婪匹配，另请参阅在线：
[34] 阿伊特·卡奇·哈桑；Pasi，Gabriella，《数据和知识结构的模糊格理论操作》（2017），HAK语言技术，正在准备中，在线：·Zbl 1508.68051号
[35] Plotkin，Gordon D.，《沉没的格理论性质》（1970年6月），爱丁堡大学机器智能与感知系：爱丁堡学院机器智能与认知系，苏格兰爱丁堡（英国），技术备忘录MIP-R-77
[36] van Emden，Maarten H。；约翰·劳埃德（John W.Lloyd），《Prolog II的逻辑重建》，J.Log。程序。，2143-149（1984），在线：·Zbl 0594.68033号
[37] Jaffar，Joxan，无限期高效统一，新一代。计算。，207-219年2月3日（1984年9月），在线：
[38] Colmerauer，Alain，Prolog和无限树，（Clark，Keith L.；ÅkeTärnlund，Sten，逻辑编程（1982），学术出版社），231-251
[39] 迪迪埃·杜布瓦（Didier Dubois）；Prade，Henri，《模糊集与系统：理论与应用》，摘自：William F.Ames（编辑），《科学与工程数学》，第144卷，佐治亚理工学院，学术出版社，180页，在线：·Zbl 0444.94049号
[40] 伊兰佐（Iranzo）、帕斯科尔·朱利安（Pascual Julián）；Rubio Manzano，Clemente，基于相似性的逻辑编程语言的健全和完整语义，模糊集系统。，317, 1-26 (2017) ·Zbl 1392.68138号
[41] Apt，Krzysztof R.，逻辑编程，（van Leeuwen，Jan，《理论计算机科学手册》（1990），Elsevier），492-574·Zbl 0900.68136号
[42] Hassan，Aít-Kaci，查找最小递归路径顺序的算法，RAIRO-Inform。Théor。，19、4、359-382（1985），在线：·Zbl 0578.68029号
[43] Wayne，Kevin，Union-find，基于Jon Kleinberg和Eva Tardos的《算法设计》一书的教学幻灯片，Addison-Wesley，2015年，在线：
[44] 阿霍，阿尔弗雷德；约翰·霍普克罗夫特（John Hopcroft）；杰弗里·乌尔曼（Jeffrey Ullmann），《计算机算法的设计与分析》（The Design and Analysis of Computer Algorithms）（1974年），艾迪森·韦斯利：艾迪森·韦斯利阅读，马萨诸塞州·Zbl 0326.68005号
[45] 阿伊特·卡奇、哈桑、，自由现金流：一阶术语的模糊工具，Java Software，2018年8月，在线：·Zbl 1508.68051号
[46] 科内霍，玛丽亚·尤金妮亚；麦地那莫雷诺，杰苏斯；Rubio-Manzano，Clemente，《在bousi-prolog系统中实现完全模糊统一》（Gomide，Fernando，《模糊系统国际会议论文集》（FUZZ-IEEE 2018）（2018年7月），在线：
[47] 穆斯塔法·巴齐兹；莫汉德·布干纳姆；加布里埃拉·帕西；Prade，Henri，《基于概念的信息检索的模糊集方法》（2005年9月），载于：E.Montseny，P.Sobrevilla（Eds.），《欧洲模糊逻辑与技术学会第四届联合会议论文集》和《11èmes Rencontres Francophones sur la Logique Floue et ses Applications》，EUSFLAT/LFA，2005年9月份7-9日，巴塞罗那（西班牙），第1287-1292页，在线：
[48] 阿尔特·卡奇，哈桑；安德烈亚斯·波德尔斯基；Goldstein，Seth C.，有序特征理论统一，J.Log。程序。，30,299-124（1997），在线：·Zbl 0884.68025号
[49] Zadeh，Lotfi A.，模糊集，信息控制，8，338-353（1965），在线：·Zbl 0139.24606号
[50] 伊兰佐（Iranzo）、帕斯科尔·朱利安（Pascual Julián）；莫雷诺、吉纳斯；詹姆·潘纳巴德（Jaime Penabad）；Carlos Vázquez，《管理相似性和真度的模糊逻辑编程环境》（Escobar，Santiago，Proceedings XIV Jornadas sobre Programación y Lenguajes，PROLE 2014）。Proceedings XIV Jornadas sobre Programación y Lenguajes（PROLE 2014），《理论计算机科学电子论文集》，EPTCS，第173卷（2015年1月），71-86，在线：
[51] Yeh，Raymond T.，《走向模糊关系系统的代数理论》（1973年7月），德克萨斯大学奥斯汀分校计算机科学与电子研究中心系：德克萨斯大学奥斯汀分校计算机科学与电子研究中心系，德克萨斯州奥斯汀（美国），在线：
[52] Zadeh，Lotfi A.，相似关系和模糊排序，信息科学。，3，177-200（1971），在线：·Zbl 0218.02058号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。