×

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

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

MSC公司:

68N17号 逻辑编程
03B52号 模糊逻辑;模糊逻辑

关键词:

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

参考文献:

[1] T.Alsinet,L.Godo,带模糊命题变量的可能性逻辑规划的完整演算,见:Proc。UAI2000 Conf.,Stanfard,CA,2000,第1-10页。;T.Alsinet,L.Godo,带模糊命题变量的可能性逻辑规划的完整演算,见:Proc。UAI2000 Conf.,Stanfard,CA,2000,第1-10页。
[2] T.Alsinet,L.Godo,模糊常量语义通信的可能性逻辑编程的完整证明方法,见:Proc。ESTYLF2000 Conf.,西班牙塞维利亚,2000年,第279-284页。;T.Alsinet,L.Godo,模糊常量语义通信的可能性逻辑编程的完整证明方法,见:Proc。ESTYLF2000 Conf.,西班牙塞维利亚,2000年,第279-284页。
[3] F.Arcelli,F.Formato,Likelog:一种用于灵活数据检索的逻辑编程语言,收录于:ACM Symp。《应用计算》,德克萨斯州圣安东尼奥,1999年,第260-267页。;F.Arcelli,F.Formato,Likelog:一种用于灵活数据检索的逻辑编程语言,收录于:ACM Symp。《应用计算》,德克萨斯州圣安东尼奥,1999年,第260-267页。
[4] 鲍德温,J.F。;马丁·T·P。;Pilsworth,B.W.,《人工智能中的FRIL-模糊和证据推理》(1995),研究出版社,威利:研究出版社,纽约威利
[5] C.V.Damásio,L.Moniz Pereira,单调和剩余逻辑程序,收录于:S.Benferhat,P.Besnard(编辑),《不确定性推理的符号和定量方法》,ECSQARU'01,《人工智能讲义》,第2143卷,斯普林格,海德堡,2001年,第748-759页。;C.V.Damásio,L.Moniz Pereira,单调和剩余逻辑程序,收录于:S.Benferhat,P.Besnard(编辑),《不确定性推理的符号和定量方法》,ECSQARU'01,《人工智能课堂笔记》,第2143卷,斯普林格,海德堡,2001年,第748-759页·兹比尔1001.68545
[6] 德克尔,S。;梅尔尼克,S。;范·哈梅伦(F.van Harmelen)。;芬塞尔,D。;克莱因,M。;布罗克斯特拉,J。;埃尔德曼,M。;Horrocks,I.,《语义网络——XML和RDF的作用》,IEEE互联网计算。,43, 2-13 (2000)
[7] 迪尔沃思,R.P。;Ward,M.,《残余晶格》,Trans。阿默尔。数学。《社会学杂志》,45,335-354(1939)·Zbl 0021.10801号
[8] D.Dubois,H.Prade,S.Sandri,《模糊常数和模糊限制量子化的可能性逻辑》,载于:F.Arcelli,T.P.Martin(编辑),《逻辑编程和软计算》,英国赫特福德研究出版社,1998年。;D.Dubois,H.Prade,S.Sandri,《模糊常数和模糊限制量子化的可能性逻辑》,载于:F.Arcelli,T.P.Martin(编辑),《逻辑编程和软计算》,英国赫特福德研究出版社,1998年。
[9] 费金,R。;Wimmers,E.L.,将权重纳入评分规则的公式,Theoret。计算。科学。,239, 309-338 (2000) ·Zbl 0945.68044号
[10] Formato,F。;Gerla,G。;Sessa,M.I.,基于相似性的统一,基金。通知。,41, 4, 393-414 (2000) ·Zbl 0954.68032号
[11] Jeffery,K.G.,数据库中的下一步是什么,ERCIM News,39,24-26(1999)
[12] Kifer,M。;Subrahmanian,V.S.,《广义注释逻辑编程理论及其应用》,《逻辑编程杂志》,第12期,第335-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页。;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页。;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 olati zöskavania informationácii,摘自:Proc。斯洛伐克科希策UPJS科学学院信息技术应用与理论,2001年,第53-64页。;R.Lencses,Algoritmy v olati zöskavania informationácii,摘自:Proc。斯洛伐克科希策大学科学院信息技术应用与理论,2001年,第53-64页。
[17] J.Medina,E.Mérida-Casemereiro,M.Ojeda-Aciego,《扩展逻辑程序的神经方法》,载于:J.Mira,J.R.Alvarez(编辑),第七国际出版社。人工和自然神经网络工作会议,IWANN'03,计算机科学讲稿,第2686卷,施普林格,柏林,2003年,第654-661页。;J.Medina,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.Truszczynski(编辑),逻辑编程和非单调推理,LPNMR'01,人工智能讲义,第2173卷,施普林格,海德堡,2001年,第351-364页。;J.Medina,M.Ojeda-Aciego,P.Vojtáš,《具有连续语义的多伴随逻辑编程》,收录于:T.Eiter,W.Faber和M.Truszczynski(编辑),《逻辑编程与非单调推理》,LPNMR’01,《人工智能讲义》,第2173卷,斯普林格,海德堡,2001年,第351-364页·Zbl 1007.68023号
[19] J.Medina,M.Ojeda-Aciego,P.Vojtásh,《多伴随逻辑编程的过程语义》,载于:《人工智能进展》,EPIA’01,《人工智能讲义》,第2258卷,2001年,第290-297页。;J.Medina,M.Ojeda-Aciego,P.Vojtásh,《多伴随逻辑编程的过程语义》,载于:《人工智能进展》,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.; J.Pavelka,《论模糊逻辑I,II,III,Z.数学》。Logik Grundlag数学。25 (1979) 45-52, 119-134, 447-464. ·Zbl 0435.03020号
[21] Sessa,M.I.,通过基于相似性的SLD解决方案进行近似推理,Theoret。计算。科学。,275, 1-2, 389-426 (2002) ·Zbl 1051.68045号
[22] H.Virtanen,Łukasiewicz基于模糊等式的逻辑编程,in:智能技术和软计算程序。EUFIT’96,德国亚琛,1996年,第646-650页。;H.Virtanen,Łukasiewicz基于模糊等式的逻辑编程,in:智能技术和软计算程序。EUFIT’96,德国亚琛,1996年,第646-650页。
[23] Vojtáš,P.,模糊逻辑编程,模糊集与系统,124,3,361-370(2001)·Zbl 1015.68036号
[24] P.Vojtáš,L.Paulák,非经典扩展SLD分辨率的稳健性和完整性,收录于:逻辑编程的扩展,ELP'96,计算机科学课堂讲稿,第1050卷,施普林格,柏林,1996年,第289-301页。;P.Vojtáš,L.Paulák,非经典扩展SLD分辨率的稳健性和完整性,收录于:逻辑编程的扩展,ELP'96,计算机科学课堂讲稿,第1050卷,柏林斯普林格出版社,1996年,第289-301页。
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。