×

基于相似度的分辨率规则。 (英语) Zbl 1021.68031

摘要:我们提出了一种基于相似性的逻辑程序设计语言的核心——解析规则的扩展。从文献2中描述的一个模糊统一算法开始,然后在参考文献10中进行扩展,我们在扩展统一算法提供的一个扩展的最一般统一体的基础上引入了一个模糊分辨规则。在我们的方法中,由于一阶语言中引入的相似性,统一性逐渐减弱为统一度。直观地说,一组一阶项的统一程度是将这些项视为相等所需付出的代价。出于这个原因,我们对决议的扩展比它的经典版本更有条理;也就是说,当达到空子句时,除了计算出的答案外,还确定了一组条件。我们给出了扩展逻辑编程语言的运算语义和不动点语义,并证明了它们的等价性。

理学硕士:

68页15页 数据库理论
68页20页 信息存储与数据检索

软件:

利克洛格
PDF格式 BibTeX公司 XML 引用
全文: 内政部

参考文献:

[1] 逻辑编程。在:编辑器。理论C.S.手册,B卷,第10章。爱思唯尔科学;1990年,第495-574页。
[2] 模糊统一是模糊逻辑规划的基础。在:编辑。逻辑程序设计与软计算?人工智能系列中的不确定性理论。英国:威利研究出版社;1998
[3] LIKELOG:一种灵活的数据检索逻辑编程语言。输入:Proc ACM?1999年。德克萨斯州圣安东尼奥;1999年3月。260-267页。
[4] Aronson,JACM 27第599页–(1980年)
[5] 薯条?人工智能中的模糊和证据推理。研究出版社;1995
[6] 鲍德温,《模糊集系统》第1页–(1987年)
[7] 判别答案和数据库:作为统一表达手段的模糊集。输入:Proc 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] 相似性和相似性序言。输入:Proc Gulp 99。拉奎拉;1999年6月。
[13] Lee,JACM pp 109–(1972年)
[14] 逻辑程序设计与软计算?人工智能系列中的不确定性理论。英国:威利研究出版社;1998
[15] Martelli,ACM Trans Programming Languages System 4第258页–(1982年)
[16] 解析式模糊推理。在:编辑器。模糊集合可能性理论。纽约:佩加蒙出版社;1982年,第224-231页。
[17] 罗宾逊,JACM 12第23页–(1965年)
[18] 模糊prolog机的理论框架。在:编辑。模糊计算机。阿姆斯特丹:北荷兰;1988
[19] 模糊逻辑程序设计研究。1994年第12届欧洲控制论与系统会议。奥地利;1994年4月。第249-256页。
[20] 魏格特,《自动化研究杂志》第10卷第59页–(1993年)
[21] 基于Lukasiewicz蕴涵和有界积的模糊prolog。在:编辑。逻辑程序设计与软计算?人工智能系列中的不确定性理论。英国:威利研究出版社;1998
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。