×
弗朗西斯卡·阿塞利·丰塔纳；费兰特·Formato

基于相似性的解析规则。 （英语） Zbl 1021.68031号

《国际情报杂志》。系统。 17，第9期，853-872（2002）.
摘要：我们提出了一种基于相似性的解析规则扩展，作为逻辑编程语言的核心。从参考文献2中描述的模糊统一算法开始，然后在参考文献10中进行了扩展，我们引入了一个基于扩展统一算法提供的扩展最通用统一器的模糊分辨规则。在我们的方法中，由于一阶语言中引入了相似性，统一逐渐减弱为统一程度。直观地说，一组一阶项的统一程度是人们认为这些项相等而必须付出的代价。因此，我们对决议的扩展比其经典对应内容更具结构性；也就是说，当到达空子句时，除了计算出的答案外，还确定了一组条件。我们给出了扩展逻辑编程语言的操作语义和定点语义，并证明了它们的等价性。

引用于8文件

MSC公司：

第68页，共15页 数据库理论
68第20页 信息存储和数据检索

关键词：

扩展逻辑程序设计语言

软件：

利基洛格
PDF格式BibTeX公司 XML格式引用
\textit{F.Arcelli Fontana}和\textit{F.Formato}，Int.J.Intell。系统。17，第9号，853--872（2002；Zbl 1021.68031）
全文： DOI程序 链接

参考文献：

[1] 逻辑编程。In：编辑器。理论C.S.手册，B卷，第10章。爱思唯尔科学公司；1990年，第495-574页。
[2] 模糊统一是模糊逻辑规划的基础。在：编辑器。逻辑编程与软计算？人工智能系列中的不确定性理论。英国：研究出版社，威利；1998
[3] LIKELOG：一种用于灵活数据检索的逻辑编程语言。In：程序ACM？SAC’99。德克萨斯州圣安东尼奥市；1999年3月。第260-267页。
[4] 阿伦森，JACM 27 pp 599–（1980）
[5] FRIL公司？人工智能中的模糊与证据推理研究出版社；1995
[6] 鲍德温，《模糊集系统》第1页–（1987）
[7] 区分答案和数据库：模糊集是一种统一的表达方式。In:程序FUZZ-IEEE92。圣地亚哥；1992年，第745-752页。
[8] 走向可能性逻辑编程。包含：程序ICLP91。巴黎；1991
[9] Dubois，IEEE Trans Knowledge Data Eng 5第64页–（1994）
[10] 逻辑编程中的相似性。那不勒斯大学博士论文；1999
[11] Gerla，《数学逻辑季刊》第357页–（1984）
[12] 相似性和相似性。In:Proc Gulp 99。拉奎拉；1999年6月。
[13] Lee，JACM第109页–（1972）
[14] 逻辑编程与软计算？人工智能系列中的不确定性理论。英国：研究出版社，威利；1998
[15] Martelli，美国计算机学会跨程序设计语言系统4第258页–（1982）
[16] 解析风格的模糊推理。In：编辑器。模糊集可能性理论。纽约：佩加蒙出版社；1982年，第224-231页。
[17] 罗宾逊，JACM 12 pp 23–（1965）
[18] 模糊prolog机器的一个理论框架。In：编辑。模糊计算机。阿姆斯特丹：北荷兰；1988
[19] 模糊逻辑规划研究。收录：1994年第12届欧洲控制论与系统会议记录。奥地利；1994年4月。第249-256页。
[20] Weigert，J Automat Reas 10第59页–（1993）
[21] 基于Lukasiewicz蕴涵和有界积的模糊序言。In：编辑。逻辑编程与软计算？人工智能系列中的不确定性理论。英国：研究出版社，威利；1998
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。