×

具有上下文相关模糊统一的扩展可能性逻辑规划的两种形式:比较描述。 (英语) Zbl 1270.68058号

Patrick Eklund等人,《联合国海洋法公约》,2002年。非经典逻辑中的统一。2002年7月12日,西班牙马拉加ICALP卫星研讨会上的论文。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》66,第5期,1-21页(2002年)。
摘要:可能性逻辑是一种不确定性逻辑,其中0和1之间的确定度,被解释为必要性测度的下界,被附加到每个经典公式上。本文对扩展一阶可能性逻辑以实现模糊统一的两个模型进行了比较描述。第一种形式主义称为PLFC,是一种通用的扩展,它允许带有模糊常量和模糊限定量词的子句。第二种形式主义是一种基于含意的扩展,定义在哥德尔无限值逻辑之上,能够处理模糊常量。本文比较了这些方法,主要是它们的Horn-子句片段,讨论了它们的基本区别,特别是在统一和自动演绎机制方面。
关于整个系列,请参见[Zbl 1266.68015号].

MSC公司:

68N17号 逻辑编程
03B35型 证明和逻辑运算的机械化
03B50号 多值逻辑
03B52号 模糊逻辑;模糊逻辑
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] T.Alsinet和L.Godo。带有模糊命题变量的可能性逻辑规划的完整演算。程序。2000年UAI大会; T.Alsinet和L.Godo。带有模糊命题变量的可能性逻辑规划的完整演算。程序。2000年UAI大会
[2] T.Alsinet和L.Godo。模糊常数语义统一的可能性逻辑规划的一种完全证明方法。程序。2000年ESTYLF大会; T.Alsinet和L.Godo。模糊常数语义统一的可能性逻辑规划的一种完全证明方法。程序。2000年ESTYLF大会
[3] T.Alsinet和L.Godo。具有模糊常数的可能性逻辑规划的证明过程。程序。2001年ECSQARU; T.Alsinet和L.Godo。具有模糊常数的可能性逻辑规划的证明过程。程序。ECSQARU’2001年·Zbl 1001.68530号
[4] T.Alsinet和L.Godo。将基于相似性的推理功能添加到具有模糊常量的可能性逻辑的Horn片段中。提交。;T.Alsinet和L.Godo。将基于相似性的推理功能添加到具有模糊常量的可能性逻辑的Horn片段中。已提交·Zbl 1076.68079号
[5] T.Alsinet,L.Godo和S.Sandri。关于PLFC的语义和自动推导,PLFC是一种可能性不确定性和模糊性的逻辑。程序。UAI'99会议; T.Alsinet、L.Godo和S.Sandri。关于PLFC的语义和自动演绎,一种可能的不确定性和模糊性逻辑。程序。UAI'99会议
[6] Arcelli,F。;Formato,F。;Gerla,G.,《作为模糊逻辑编程基础的模糊统一》,(Arcelli,F.;Martin,T.P.,《逻辑编程和软计算》,第3章(1998年),研究出版社),51-68
[7] 鲍德温,J.F。;马丁·T·P。;《人工智能中的模糊和证据推理》(1995年),研究出版社
[8] 贝尔·G。;法雷尼,D。;Prade,H.,《在制造系统监控中使用基于模糊规则的系统》,(Mc Waters,J.F.;Crestin,J.P.,《离散制造软件》(1986),北荷兰),525-535
[9] Calmet,J。;Jekutsch,S。;库尔曼,P。;Schü,S.,KOMET-异构信息源集成系统,(Ra-shi,Z.W.;Skowron,A.,智能系统基础,人工智能讲义,1325(1997),Springer Verlag),318-327
[10] Cayrol,M。;Farreny,H。;Prade,H.,模糊模式匹配,Kybernetes,11,103-116(1982)
[11] 杜波依斯,D。;朗·J。;Prade,H.,《可能性逻辑》(Gabbay,D.M.;Hogger,C.J.;Robinson,J.A.,《人工智能和逻辑编程逻辑手册》(1994),牛津大学出版社),439-513
[12] 杜波依斯,D。;普拉德,H。;Sandri,S.,《具有模糊常数和模糊限制量词的可能性逻辑》(Arcelli,F.;Martin,T.P.,《逻辑编程和软计算》(1998),研究出版社),69-90
[13] L.Rios-Filho,S.Sandri。上下文模糊统一。程序。IFSA’95; L.Rios-Filho,S.Sandri,《上下文模糊统一》。程序。IFSA’95
[14] Gerla,G。;Sessa,M.I.,《逻辑编程中的相似性》(Chen,G.;Ying,M.;Cai,K.,《模糊逻辑和软计算》,第2章(1999),Kluwer),19-31
[15] L.戈多和L.维拉。基于模糊时间约束的可能性时间推理。1995年IJCAI会议记录第2卷; L.Godo和L.Vila。基于模糊时间约束的可能性时间推理。1995年IJCAI会议记录第2卷
[16] Formato,F。;Gerla,G。;Sessa,M.,《基于相似性的统一》,《信息学基础》,40,1-22(2000)
[17] Kifer,M。;Subrahmanian,V.S.,《广义注释逻辑程序设计理论》,《逻辑程序设计杂志》,第12卷,第1期,第335-367页(1999年)
[18] P.Kullmann和S.Sandri,作为注释逻辑的可能性逻辑。程序。引信IEEE’99; P.Kullmann和S.Sandri,作为注释逻辑的可能性逻辑。程序。99年Fuzz-IEEE·Zbl 1076.68087号
[19] P.Kullmann和S.Sandri.在注释逻辑定理证明器中实现扩展的可能性逻辑。程序。2001年IFSA-NAFIPS; P.Kullmann和S.Sandri.在注释逻辑定理证明器中实现扩展的可能性逻辑。程序。2001年IFSA-NAFIPS·Zbl 1076.68087号
[20] J.Medina、M.Ojeda-Aciego和P.Vojtás。基于相似性的统一:一种多伴随方法。程序。EUSFLAT模糊逻辑与技术会议; J.Medina、M.Ojeda-Aciego和P.Vojtás。基于相似性的统一:一种多伴随方法。程序。EUSFLAT模糊逻辑与技术会议
[21] S.Sandri和L.Godo。用模糊常数处理可能性逻辑中的时间信息。程序。IFSA’99; S.Sandri和L.Godo。用模糊常数处理可能性逻辑中的时间信息。程序。如果是99年
[22] Sessa,M.I.,基于相似性的SLD分辨率近似推理,理论计算机科学,275,1-2,389-426(2002)·Zbl 1051.68045号
[23] V.S.Subrahmanian公司。定量逻辑程序的语义。程序。第四届IEEE逻辑编程研讨会; V.S.Subrahmanian公司。定量逻辑程序的语义。程序。第四届IEEE逻辑编程研讨会
[24] Umano先生。模糊集合序言。第二届IFSA大会会议记录; M.Umano先生。模糊集合序言。第二届IFSA大会会议记录
[25] Virtanen,H.E.,《语言逻辑编程》(Arcelli,F.;Martin,T.P.,《逻辑编程与软计算》(1998),研究出版社),91-128
[26] 维纳,J。;Vojtáš,P.,具有相似性的模糊知识系统的形式化模型,《神经网络世界》,10,5,891-905(2000)
[27] Vojáš,P.,模糊逻辑编程,模糊集与系统,124,3361-370(2001)
[28] P.Vojtás、T.Alsinet和L.Godo。具有模糊统一性的模糊逻辑编程的不同模型(朝向模糊数据库的修订)。程序。IFSANAFIPS’2001; P.Vojtás、T.Alsinet和L.Godo。具有模糊统一性的模糊逻辑编程的不同模型(朝向模糊数据库的修订)。程序。IFSANAFIPS’2001
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。