×

模糊逻辑的含义。 (英文) Zbl 0643.03018号

为了构建专家系统和其他类似人类行为的系统,需要比经典二值逻辑更丰富的推理方案。本文首先从语言上证明需要中等程度的真实性。在同构之前,单位区间[0,1]及其自然序被视为命题真值的可能域。本文的主要内容是对经典蕴涵算子的推广。蕴涵(A到B)量化了B至少与A一样真实的程度。从Trillas和Valverde引入的一些直观可接受的公理出发,证明了蕴涵必须是满足补充条件的连续阿基米德幂零S-锥。最后一段讨论了合取和析取算子的数学结构,以及关于蕴涵的一些附加定理。
审核人:E.克尔

MSC公司:

03B52号 模糊逻辑;模糊逻辑
03B65号 自然语言逻辑
03B50号 多值逻辑
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Smets,P。;Magrez,P.,真实度和隶属度的度量,模糊集系统。(1987),(出版中)
[2] Chauveau,J.,《现代逻辑》(1980),法国大学出版社:巴黎法国大学出版社·Zbl 0168.24702号
[3] Mamdani,E.H。;Gaines,B.R.,《模糊推理及其应用》(1981),学术:纽约学术出版社·Zbl 0488.03001号
[4] 特纳,R.,《人工智能逻辑》(1984),埃利斯·霍伍德:埃利斯·霍伍德-奇切斯特
[5] Zadeh,L.,《近似推理理论》,UCB/ERL M77/58备忘录(1977),伯克利
[6] Grize,J.B.,Logique(皮亚杰,J.,Logique-et-connaissance scientifique(1967),巴黎:巴黎),135-289
[7] 韦伯,S.,基于T-范数和T-conorms的模糊连接词、否定和蕴涵的一般概念,模糊集系统。,11, 115-134 (1983) ·Zbl 0543.03013号
[8] 特里拉斯,E。;Valverde,L.,《关于模糊逻辑设置中的隐含性和不可区分性》(Kacprzyk,J.;Yager,R.R.,《使用模糊集和可能性理论的管理决策支持系统》(1985),Verlag TUV Rheinland),198-212
[9] Reichenbach,H.,《符号逻辑的要素》(1947),麦克米伦出版社:麦克米伦纽约·Zbl 0486.03003号
[10] Gaines,B.R.,《模糊推理的基础》,《国际人机研究杂志》,第8期,第623-668页(1976年)·Zbl 0342.68056号
[11] Reichenbach,H.,《概率论》(1949),加州大学出版社:加州大学伯克利分校出版社·Zbl 0038.28604号
[12] Lewis,D.,条件概率和条件概率,Phil.Rev.,85,297-315(1976)
[13] 布兰奇,R.,《当代逻辑导论》(1968),科林:科林·巴黎·兹比尔0292.02001
[14] 鲍德温,J.F。;Pilsworth,B.W.,《模糊逻辑近似推理隐含的公理方法》,模糊集系统。,3, 193-219 (1980) ·Zbl 0434.03021号
[15] 班德勒,W。;Kohout,L.J.,蕴涵算子和模糊关系乘积的语义,《国际机器研究杂志》,第12期,第89-116页(1980年)·Zbl 0435.68042号
[16] 多明戈,X。;特里拉斯,E。;Valverde,E.,Pushing Lukasiewicz-Tarski implication a little further,(Proceedings 11th IEEE Conference on Multiple-Valued Logic.Proceedings11th EEE Conferences on Multiple Valued Logic,Oklahoma City(1981)),第232-234页·Zbl 0564.03022号
[17] Dubois,D。;Prade,H.,《模糊集与系统:理论与应用》(1980),学术:纽约学术出版社·Zbl 0444.94049号
[18] Dubois,D。;Prade,H.,《模糊逻辑与广义方法重访》,《控制论系统》。,15,编号3-4,293-331(1984)·Zbl 0595.03016号
[19] Mizumoto,M。;Zimmermann,H.J.,模糊推理方法的比较,模糊集系统。,8,253-283(1982年)·Zbl 0501.03013号
[20] Valverde,L.,《研究多元逻辑数学模型的贡献》(博士论文(1982),巴塞罗那政治大学)
[21] 希克斯,J.,《经济学中的因果关系》(1979),布莱克威尔:布莱克威尔牛津
[22] 安德森,A.R。;北卡罗来纳州贝尔纳普,《牵连:相关性和必要性的逻辑》(1975),普林斯顿大学出版社:普林斯顿大学出版,新泽西州普林斯顿·Zbl 0323.02030号
[23] Magrez,P.,《培养模式》(论文(1985),布鲁塞尔自由大学)
[24] 特里拉斯,E。;Valverde,L.,《关于近似推理中的模式和含义》(Gupta,M.M.等,《专家系统中的近似推理》(1985年),北荷兰:北荷兰阿姆斯特丹),157-166
[25] Trillas,E.,Sobre functiones de negacion en la teoria de concuntos difusos,随机,347-60(1979)
[26] Schweizer,B。;Sklar,A.,关联函数和统计三角形不等式,Publ。数学。德布勒森,8169-186(1961)·Zbl 0107.12203号
[27] Schweizer,B。;Sklar,A.,结合函数和抽象半群,Publ。数学。德布勒森,10,69-81(1963)·兹比尔0119.14001
[28] Schweizer,B。;Sklar,A.,《概率度量空间》(1983年),北荷兰人:北荷兰纽约·Zbl 0546.60010号
[29] Ling,C.H.,关联函数的表示,Pub。数学。德布勒森(Debrecen),第12页,第182-212页(1965年)·Zbl 0137.26401号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。