×

基于相似性的统一:多重伴随方法。 (英语) Zbl 1073.68026

摘要:本文旨在建立多伴随逻辑程序中基于相似性的模糊统一的形式化模型。具体地,介绍了一个逻辑程序设计的一般框架,该框架允许同时使用规则中的不同含义和实体中的一般连接词,然后给出了该框架的过程语义,并证明了一个近似完备性定理。在这个计算模型上,通过简单地添加模糊相似性公理和使用经典的crisp统一,构造了一种基于相似性的统一方法,为具有不同相似性概念的逻辑程序设计提供了语义框架。

理学硕士:

68N17 逻辑程序设计
03B52型 模糊逻辑;模糊逻辑

关键词:

相似性;模糊统一
PDF格式 BibTeX公司 XML 引用
全文: 内政部

参考文献:

[1] T、 高多著,《模糊命题变量的可能性逻辑规划的完全演算》,in:Proc。《UAI2000会议》,加利福尼亚州斯坦法德,2000年,第1-10页。
[2] T、 高多,逻辑可能性规划的一种完全证明方法,模糊常数的语义表达,in:Proc。2000年,西班牙塞维利亚,第279-284页。
[3] F、 Arcelli,F.Formato,Likelog:灵活数据检索的逻辑编程语言,in:ACM Symp。《应用计算》,德克萨斯州圣安东尼奥,1999年,第260-267页。
[4] 鲍德温,J.F。;马丁,T.P。;皮尔斯沃思,B.W.,人工智能中的模糊和证据推理(1995),研究出版社,威利纽约
[5] C、 V.Damásio,L.Moniz Pereira,单调和剩余逻辑程序,in:S.Benferhat,P.Besnard(编辑),《不确定性推理的符号和定量方法》,ECSQARU'01,人工智能课堂讲稿,第2143卷,斯普林格,海德堡,2001,第748-759页·Zbl 1001.68545
[6] 德克尔公司。;梅尔尼克,S。;范哈梅伦,F。;芬塞尔,D。;克莱恩,M。;布罗克斯特拉,J。;埃尔德曼,M。;《语义网络XML和RDF的角色》,IEEE互联网计算。,43,2-13,(2000年)
[7] 迪尔沃思,R.P。;沃德,M.,居住格,反式。阿默尔。数学。soc。,45335-354,(1939年)·Zbl 0021.10801号
[8] D、 杜博伊斯,H.普拉德,S.桑德里,具有模糊常数和模糊限制量子化的可能性逻辑,载:F.Arcelli,T.P.Martin(编辑),《逻辑编程与软计算》,研究出版社,英国赫特福德郡,1998年。
[9] 费金,R。;Wimmers,E.L.,将权重纳入评分规则的公式,Theoret。计算机。科学。,239309-338,(2000年)·Zbl 0945.68044
[10] 格式图,F。;格拉,G。;Sessa,M.I.,基于相似性的统一,基金。通知。,414393-414,(2000年)·Zbl 0954.68032
[11] Jeffery,K.G.,《数据库的下一步是什么》,ERCIM新闻,39,24-26,(1999)
[12] 基弗,M。;《广义注释逻辑程序设计理论及其应用》,逻辑程序设计,12335-367,(1992)
[13] Klawonn,F.,模糊等式和相似性应该满足传递性吗?,模糊集与系统,133,2175-180,(2003)·Zbl 1020.03053
[14] S、 Krajči,R.Lencses,J.Medina,M.Ojeda Aciego,P.Vojtš,灵活查询的基于相似性的统一模型,见:T.Andreasen,A.Motro,H.Christiansen,H.L.Larsen(编辑),《灵活查询和回答系统》,FQAS'02,《人工智能课堂讲稿》,第2522卷,斯普林格,海德堡,2002,第263-273页。
[15] P、 Kriško,P.Marcinšk,P.Mihók,J.Sabol,P.Vojtš,《具有模糊概念、句法和语言统一性的低检索远程查询对话》,载:T.Andreasen,H.Christiansen,H.L.Larsen(编辑),《灵活的查询应答系统》,FQAS'98,计算机科学讲座笔记,第1495卷,斯普林格,柏林,1998,第215-226页。
[16] R、 Lencses,Algoritmy v oblasti zı́skavania informácii,in:Proc。《信息技术应用与理论》,科学院,UPJS,Košice,斯洛伐克,2001年,第53-64页。
[17] J、 麦地那,E.Mérida Casermeiro,M.Ojeda Aciego,《扩展逻辑程序的神经方法》,载:J.Mira,J.R.Alvarez(编辑),第七期实习生。关于人工和自然神经网络的工作会议,IWANN'03,《计算机科学讲座笔记》,第2686卷,斯普林格,柏林,2003年,第654-661页。
[18] J、 Medina,M.Ojeda Aciego,P.Vojtš,《具有连续语义的多伴随逻辑程序设计》,载:T.Eiter,W.Faber,M.Truszcynski(编辑),《逻辑编程与非单调推理》,LPNMR'01,人工智能课堂讲稿,第2173卷,斯普林格,海德堡,2001,第351-364页·Zbl 1007.68023
[19] J、 麦地那,M.Ojeda Aciego,P.Vojtš,《多伴随逻辑编程的程序语义》,载:人工智能进展,EPIA'01,人工智能课堂讲稿,第2258卷,2001年,第290-297页·Zbl 1053.68540
[20] J、 Pavelka,关于模糊逻辑I,II,III,Z。数学。Logik Grundlag数学。25(1979)45-52,119-134,447-464·Zbl 0435.03020
[21] Sessa,M.I.,基于相似性的SLD解析近似推理,理论。计算机。科学。,275,1-2,389-426,(2002年)·Zbl 1051.68045
[22] H、 基于模糊等式的逻辑程序设计,载:智能技术与软计算过程。EUFIT'96,亚琛,德国,1996年,第646-650页。
[23] 《模糊逻辑程序设计,模糊集合与系统》,124,3361-370,(2001)·Zbl 1015.68036
[24] P、 Vojtš,L.Paulı́k,非经典扩展SLD分辨率的稳健性和完备性,in:逻辑编程的扩展,ELP'96,计算机科学课堂讲稿,第1050卷,斯普林格,柏林,1996,第289-301页。
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。