×
曹，Tru H。；彼得·克雷塞（Peter N.Creasy）。

模糊类型：处理对象类型不确定性的框架。 （英语） Zbl 0968.68026号

国际J近似推理 25，第3期，217-253（2000）.
摘要：与其他类型的信息一样，现实世界中的对象类型往往充满了不确定性和/或部分真实性。这可能是由于类型本身的模糊性，或者是由于确定它的过程中的信息不完整，即使类型是清晰的，即定义明确的。本文提出了一个框架，用于处理具有分类信息，特别是类型层次结构的自动推理系统中的不确定性和/或部分真实性。模糊类型是由一个基本类型和一个模糊真值组合而成的一对，其中基本类型可以是清晰的或模糊的（在直觉上）。针对这种构造，提出了一类模糊真值格的结构。将满足直觉的模糊子类型关系定义为两个模糊类型之间的偏序。由于一个对象可能属于多个（模糊）类型，引入了合取模糊类型并研究了它们的格属性。然后，对于使用模糊类型进行推理，将一个（连接）模糊类型与另一个模糊类型的不匹配度定义为前者相对于后者的相对必要度的补足。证明了定义的模糊类型不匹配度具有与模糊集不匹配度相似的性质，从而可以在推理中统一处理模糊类型和模糊集。该框架为有序模糊逻辑系统的开发提供了形式化基础。

引用于三文件

MSC公司：

68N17号 逻辑编程

关键词：

自动推理系统；分类信息；有序模糊逻辑系统

软件：

FRIL公司
PDF格式BibTeX公司 XML格式引用
\textit{T.H.Cao}和\textit{P.N.Creasy}，国际期刊近似推理25，第3期，217--253（2000；Zbl 0968.68026）
全文： 内政部

参考文献：

[1] A­t-Kaci，H。；Nasr，R.，LOGIN：一种具有内置继承的逻辑编程语言，J.逻辑编程，3185-215（1986）·Zbl 0599.68013号
[2] 阿塔纳索夫，K。；Georgiev，C.，直觉模糊Prolog，Int.J.fuzzy Sets Syst。，53, 121-128 (1993) ·Zbl 0783.68021号
[3] Baldwin，J.F.，支持逻辑编程，Int.J.智能系统。，1, 73-104 (1986) ·Zbl 0641.68142号
[4] J.F.Baldwin，T.P.Martin，面向对象逻辑编程中的模糊类，摘自：第五届IEEE模糊系统国际会议论文集，1996年，第1358-1364页；J.F.Baldwin，T.P.Martin，面向对象逻辑编程中的模糊类，摘自：第五届IEEE模糊系统国际会议论文集，1996年，第1358-1364页
[5] 鲍德温，J.F。；马丁·T·P。；Pilsworth，B.W.，Fril-人工智能中的模糊和证据推理（1995），研究出版社：纽约研究出版社
[6] 鲍德温，J.F。；Pilsworth，B.W.，《模糊逻辑近似推理蕴涵公理方法》，《国际模糊集系统》。，3, 193-219 (1980) ·Zbl 0434.03021号
[7] C.Beierle，多态有序逻辑程序的类型推断，摘自：《第十二届逻辑编程国际会议论文集》，麻省理工学院出版社，马萨诸塞州剑桥，1996年，第765-779页；C.Beierle，多态有序逻辑程序的类型推断，摘自：《第十二届逻辑编程国际会议论文集》，麻省理工学院出版社，马萨诸塞州剑桥，1996年，第765-779页
[8] 拜尔勒，C。；赫兹塔克，美国。；普列塔特，美国。；施密特，P.H。；Siekmann，J.，《知识表示系统的有序逻辑》，J.人工智能。，55, 149-191 (1992) ·Zbl 0768.68196号
[9] R.E.Bellman，L.A.Zadeh，局部和模糊逻辑，收录于：J.M.Dunn，G.Epstein（编辑），《多值逻辑的现代应用》，Reidel，Dordrecht，1977年，第105-165页；R.E.Bellman，L.A.Zadeh，局部和模糊逻辑，收录于：J.M.Dunn，G.Epstein（编辑），《多值逻辑的现代应用》，雷德尔，多德雷赫特出版社，1977年，第105-165页·Zbl 0382.03017号
[10] N.D.Belnap，《有用的四值逻辑》，载于：J.M.Dunn，G.Epstein（编辑），《多值逻辑的现代应用》，Reidel，Dordrecht，1977年，第9-37页；N.D.贝尔纳普，一个有用的四值逻辑，载于：J.M.Dunn，G.Epstein（编辑），《多值逻辑的现代使用》，Reidel，Dordrecht，1977年，第9-37页·Zbl 0417.03009号
[11] Cao，T.H.，用于软计算的注释模糊逻辑程序，（Selvaraj，H.；Verma，B.，《第二届国际计算智能和多媒体应用会议论文集》（1998），《世界科学：世界科学新加坡》，459-464
[12] 曹天华，注释模糊逻辑程序，国际模糊集系统。，113, 2, 277-298 (2000) ·兹比尔0951.68015
[13] T.H.Cao，P.N.Creasy，《模糊概念图程序及其定点语义》，昆士兰大学计算机科学与电气工程系第424号技术报告，1997年；T.H.Cao，P.N.Creasy，《模糊概念图程序及其定点语义》，昆士兰大学计算机科学与电气工程系第424号技术报告，1997年
[14] T.H.Cao，P.N.Creasy，《概念图中的模糊顺序逻辑编程及完善的证明程序》，载于：M.L.Mugnier，M.Chein（编辑），《概念结构：理论、工具和应用》，《人工智能讲义》，第1453卷，斯普林格，柏林，1998年，第270-284页；T.H.Cao，P.N.Creasy，《概念图中的模糊顺序逻辑编程及完善的证明程序》，载于：M.L.Mugnier，M.Chein（编辑），《概念结构：理论、工具和应用》，《人工智能讲义》，第1453卷，斯普林格，柏林，1998年，第270-284页
[15] T.H.Cao，P.N.Creasy，V.Wuwongse，模糊类型及其格，载于：《第六届IEEE模糊系统国际会议论文集》，1997年，第805-812页；T.H.Cao，P.N.Creasy，V.Wuwongse，《模糊类型及其格》，载《第六届IEEE模糊系统国际会议论文集》，1997年，第805-812页
[16] T.H.Cao，P.N.Creasy，V.Wuwongse，模糊概念图程序的模糊统一和分辨率证明程序，见：D.Lukose等人（编辑），概念结构：实现皮尔斯的梦想，人工智能讲义，第1257卷，施普林格，柏林，1997年，第386-400页；T.H.Cao，P.N.Creasy，V.Wuwongse，模糊概念图程序的模糊统一和分辨率证明程序，见：D.Lukose等人（编辑），概念结构：实现皮尔斯的梦想，人工智能讲义，第1257卷，施普林格，柏林，1997年，第386-400页
[17] Carpenter，B.，《类型特征结构的逻辑及其在统一语法、逻辑程序和约束解析中的应用》（1992），剑桥大学出版社：剑桥大学出版社·Zbl 0765.68006号
[18] V.Cross，《迈向模糊对象模型的统一框架》，载于《第六届IEEE模糊系统国际会议论文集》，1996年，第85-92页；V.Cross，《迈向模糊对象模型的统一框架》，载于《第六届IEEE模糊系统国际会议论文集》，1996年，第85-92页
[19] （De Caluwe，R.，《模糊和不确定面向对象数据库：概念和模型》（1997），《世界科学：世界科学新加坡》）·Zbl 0942.68035号
[20] 多尔蒂，P。；Driankov，D.，《非单调性、模糊性和多值性》（Lowen，R.；Roubens，M.，《模糊逻辑-最新进展》（1993），Kluwer学术出版社：Kluwer-学术出版社Dordrecht），1-15
[21] D.Dubois，J.Lang，H.Prade，《走向可能性逻辑编程》，摘自：《第八届逻辑编程国际会议论文集》，麻省理工学院出版社，马萨诸塞州剑桥，1991年，第581-595页；D.Dubois，J.Lang，H.Prade，《走向可能性逻辑编程》，摘自：《第八届逻辑编程国际会议论文集》，麻省理工学院出版社，马萨诸塞州剑桥，1991年，第581-595页
[22] D.Dubois，J.Lang，H.Prade，可能性逻辑，收录于：D.M.Gabbay等人（编辑），《人工智能和逻辑编程中的逻辑手册》，第3卷，牛津大学出版社，纽约，1994年，第439-514页；D.Dubois，J.Lang，H.Prade，可能性逻辑，收录于：D.M.Gabbay等人（编辑），《人工智能和逻辑编程中的逻辑手册》，第3卷，牛津大学出版社，纽约，1994年，第439-514页
[23] D.Dubois，H.Prade，作为证据推理基础的最小特异性原则，见：B.Bouchon，R.R.Yager（编辑），基于知识的系统中的不确定性，计算机科学讲义，第286卷，Springer，柏林，1987年，第75-84页；D.Dubois，H.Prade，《作为证据推理基础的最小特异性原则》，载于：B.Bouchon，R.R.Yager（编辑），《基于知识的系统中的不确定性》，《计算机科学讲义》，第286卷，Springer，柏林，1987年，第75-84页·Zbl 0643.94008号
[24] Dubois，D。；普拉德，H。；罗萨扎，J.P.，《阶级层次结构中的模糊性、典型性和不确定性》，《国际智能系统杂志》。，6, 167-183 (1991)
[25] Edmonds，E.A.，格模糊逻辑，国际人机研究杂志，1455-465（1980）·Zbl 0447.94063号
[26] N.Y.Foo，B.J.Garner，A.Rao，E.Tsui，概念图中的语义距离，收录于：T.E.Nagle等人（编辑），《概念结构-当前研究与实践》，Ellis Horwood，纽约，1992年，第149-154页；N.Y.Foo，B.J.Garner，A.Rao，E.Tsui，概念图中的语义距离，收录于：T.E.Nagle等人（编辑），《概念结构-当前研究与实践》，Ellis Horwood，纽约，1992年，第149-154页
[27] T.Frühwirth，应用于时间推理的注释约束逻辑编程，见：M.Hermenegildo，J.Penjam（编辑），编程语言实现和逻辑编程，人工智能课堂讲稿，第844卷，Springer，柏林，1994年，第230-243页；T.Frühwirth，应用于时间推理的注释约束逻辑编程，见：M.Hermenegildo，J.Penjam（编辑），编程语言实现和逻辑编程，人工智能课堂讲稿，第844卷，Springer，柏林，1994年，第230-243页
[28] L.Godo，L.Vila，基于模糊时间约束的可能性时间推理，载《第十四届国际人工智能联合会议论文集》，1995年，第1916-1922页；L.Godo，L.Vila，基于模糊时间约束的可能性时间推理，载《第十四届国际人工智能联合会议论文集》，1995年，第1916-1922页
[29] Goguen，J.A.，（L）-模糊集，J.Math。分析。申请。，18145-174（1967年）·兹伯利0145.24404
[30] J.A.Goguen，有序代数，第14号技术报告，加州大学洛杉矶分校计算机科学系，1978年；J.A.Goguen，有序代数，第14号技术报告，加州大学洛杉矶分校计算机科学系，1978年
[31] Goguen，J.A。；Meseguer，J.，《逻辑编程的等式类型模块和（为什么不？）泛型》，J.logic programming，1,2179-210（1984）·Zbl 0575.68091号
[32] P.Hájek，从逻辑角度看模糊逻辑，见：M.Bartosek，J.Staudek，J.Wiedermann（编辑），SOFSEM'95：信息学理论与实践，计算机科学讲义，第1012卷，Springer，柏林，1995年，第31-49页；P.Hájek，从逻辑角度看模糊逻辑，见：M.Bartosek，J.Staudek，J.Wiedermann（编辑），SOFSEM'95：信息学理论与实践，计算机科学讲义，第1012卷，Springer，柏林，1995年，第31-49页
[33] Hinde，C.J.，Fuzzy Prolog，《国际机器研究杂志》，24，569-595（1986）
[34] K.H.L.Ho，通过模糊概念图示例学习模糊概念，收录于：第一届澳大利亚概念结构研讨会论文集，1994年；K.H.L.Ho，通过模糊概念图示例学习模糊概念，收录于：第一届澳大利亚概念结构研讨会论文集，1994年
[35] M.Ishizuka，N.Kanai，Prolog ELF结合模糊逻辑，载于：《第九届国际人工智能联合会议论文集》，1985年，第701-703页；M.Ishizuka，N.Kanai，Prolog-ELF合并模糊逻辑，收录于《第九届国际人工智能联合会议论文集》，1985年，第701-703页
[36] 伊兹科维奇，I。；霍克斯，L.W.，继承层次的模糊扩展，国际模糊集系统。，62, 143-153 (1994)
[37] Kifer，M。；Lozinskii，E.L.，《不一致推理的逻辑》，J.自动化推理。，9, 179-215 (1992) ·Zbl 0807.03019号
[38] Kifer，M。；Subrahmanian，V.S.，《广义注释逻辑编程理论及其应用》，《逻辑编程杂志》，第12期，第335-367页（1992年）
[39] 菊池，H。；Mukaidono，M.，模糊逻辑程序的线性分解，Jpn。模糊理论系统。，6, 151-165 (1994) ·Zbl 0830.68026号
[40] Kim，B.M。；Ryu，K.Y。；Maeng，S.R。；Cho，J.W.，《结合多分类逻辑和面向对象编程》，Inform。软件技术。，35, 4, 241-253 (1993)
[41] Klawonn，F.，《多值逻辑的Prolog扩展》（Höhle，U.；Klement，E.P.，《非经典逻辑及其在模糊子集中的应用》（1995），Kluwer学术出版社：Kluwer-学术出版社Dordrecht），271-289·兹伯利0829.03014
[42] Klir，G.J。；Yuan，B.，《模糊集与模糊逻辑理论与应用》（1995），普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德克利夫斯，新泽西州·Zbl 0915.03001号
[43] T.V.Le，Fuzzy temporal Prolog，摘自：第八届内涵式编程语言国际研讨会论文集，1995年，第169-175页；T.V.Le，Fuzzy temporal Prolog，摘自：第八届内涵式编程语言国际研讨会论文集，1995年，第169-175页
[44] Lee，R.C.T.，《模糊逻辑与归结原理》，J.ACM，19，109-119（1972）·Zbl 0245.02020号
[45] 李，D。；Liu，D.，《模糊Prolog数据库系统》（1990），研究出版社：伦敦研究出版社
[46] Lopez de Mantaras，R。；Godo，L.，《从区间到模糊真值：为不确定性下的推理增加灵活性》，《国际不确定性模糊知识系统》，5，3，251-260（1997）·Zbl 1232.68154号
[47] Lu，J.J。；Nerode，A。；Subrahmanian，V.S.，混合知识库，IEEE Trans。知识数据工程，8773-785（1996）
[48] T.Lukasiewicz，概念格中的不确定性推理，收录于：F.Christine，J.Kohlas（编辑），推理和不确定性的符号和定量方法，人工智能课堂讲稿，第946卷，Springer，柏林，1995年，第293-300页；T.Lukasiewicz，概念格中的不确定性推理，收录于：F.Christine，J.Kohlas（编辑），推理和不确定性的符号和定量方法，人工智能课堂讲稿，第946卷，Springer，柏林，1995年，第293-300页
[49] Magrez，P。；Smets，P.，Fuzzy modus ponens:一种适用于知识系统应用的新模型，国际智能系统杂志。，4, 181-200 (1989) ·Zbl 0672.03010号
[50] P.E.Maher，《概念图——不确定性管理框架》，载于：第十届北美模糊信息处理研讨会论文集，1991年；P.E.Maher，《概念图——不确定性管理的框架》，载于：《第十届北美模糊信息处理年度研讨会论文集》，1991年
[51] Maher，P.E.，概念图的相似性度量，Int.J.Intelligent Syst。，8, 819-837 (1993)
[52] （Meinke，K.；Tucker，J.V.，《多排序逻辑及其应用》（1993），威利：威利·奇切斯特）·Zbl 0781.03003号
[53] S.K.Morton，《人工智能中的概念图和模糊性》，布里斯托尔大学博士论文，1987年；S.K.Morton，人工智能中的概念图和模糊性，布里斯托尔大学博士论文，1987年
[54] M.Mukaidono，模糊逻辑中区间真值的代数结构，收录于《第六届IEEE模糊系统国际会议论文集》，1997年，第699-705页；M.Mukaidono，模糊逻辑中区间真值的代数结构，收录于《第六届IEEE模糊系统国际会议论文集》，1997年，第699-705页
[55] Mukaidono，M。；沈，Z。；丁磊，《模糊序言基础》，《国际近似推理》。，3, 179-194 (1989) ·Zbl 0666.68089号
[56] Ng、R。；Subrahmanian，V.S.，概率逻辑编程，Inform。计算。，2, 150-201 (1992) ·Zbl 0781.68038号
[57] Nguyen，H.T。；科舍列娃，O.M。；Kreinovich，V.，模糊逻辑的成功真的很矛盾吗？面向专家系统背后的实际逻辑，Int.J.Intelligent Syst。，11, 295-326 (1996) ·Zbl 0854.68101号
[58] 诺瓦克，V.，一阶模糊逻辑，Studia Logica XLVI，87-109（1987）·Zbl 0632.03021号
[59] （Pfenning，F.，《逻辑编程类型》（1992），麻省理工学院出版社：麻省理工学院出版社，马萨诸塞州剑桥）·Zbl 0760.68014号
[60] L.A.Ralescu，H.Berenji，《在情报系统中整合结构化知识和不确定性管理》，载于《第四届概念结构国际研讨会论文集》，与IJCAI’89合著，1989年；L.A.Ralescu，H.Berenji，《将结构化知识与情报系统中的不确定性管理结合起来》，载于《第四届概念结构国际研讨会论文集》，1989年
[61] Rose，A.，《实值形成格的逻辑系统》，《Mathmatische Annalen》，第123页，第152-165页（1951年）·Zbl 0044.00202号
[62] M.Schmidt-Schauß，《带术语声明的有序逻辑的计算方面》，《人工智能讲义》，第395卷，施普林格出版社，柏林，1989年；M.Schmidt-Schauß，《带术语声明的有序逻辑的计算方面》，《人工智能讲义》，第395卷，施普林格出版社，柏林，1989年·Zbl 0689.68001号
[63] Sowa，J.F.，《概念结构——思维和机器中的信息处理》（1984），艾迪生-韦斯利出版社：马萨诸塞州艾迪生-韦斯利出版社·Zbl 0536.68077号
[64] Sowa，J.F.，《逻辑结构与语言结构的匹配》，（Houser，N.；Roberts，D.D.；Van Evra，J.，《查尔斯·桑德斯·皮尔斯的逻辑研究》（1997），印第安纳大学出版社：印第安纳大学出版公司布鲁明顿），418-444
[65] Turunne，E.，《模糊逻辑中的代数结构》，《国际模糊集系统》。，52, 181-188 (1992) ·Zbl 0791.03010号
[66] M.Umano，Fuzzy set Prolog，摘自：第二届国际模糊系统协会大会预印本，1987年，第750-753页；M.Umano，Fuzzy set Prolog，摘自：第二届国际模糊系统协会大会预印本，1987年，第750-753页
[67] N.Van Gyseghem，R.De Caluwe，R.Vandenberghe，UFO:面向对象模型中的不确定性和模糊性，收录于：第二届IEEE模糊系统国际会议论文集，1993年，第773-778页；N.Van Gyseghem，R.De Caluwe，R.Vandenberghe，UFO:面向对象模型中的不确定性和模糊性，收录于：第二届IEEE模糊系统国际会议论文集，1993年，第773-778页
[68] Virtanen，H.E.，《语言逻辑编程》（Martin，T.P.；Arcelli Fontana，F.，《逻辑编程和软计算》（1998），研究出版社：纽约研究出版社），91-110
[69] V.Wuwongse，M.Manzano，《模糊概念图》，载：G.W.Mineau，B.Moulin，J.F.Sowa（编辑），《知识表示的概念图》，第699卷，施普林格，柏林，1993年，第430-449页；V.Wuwongse，M.Manzano，模糊概念图，收录于：G.W.Mineau，B.Moulin，J.F.Sowa（编辑），知识表示的概念图，第699卷，Springer，柏林，1993年，第430-449页·Zbl 0875.00109号
[70] V.Wuwongse，T.H.Cao，《走向模糊概念图程序》，P.W.Eklund等人（编辑），《概念结构-知识表示为中介语》，《人工智能讲义》，第1115卷，施普林格，柏林，1996年，第263-276页；V.Wuwongse，T.H.Cao，《走向模糊概念图程序》，P.W.Eklund等人（编辑），《概念结构-知识表示为中介语》，《人工智能讲义》，第1115卷，施普林格，柏林，1996年，第263-276页·Zbl 1083.68502号
[71] Yasui，H。；Mukaidono，M.，《基于Lukasiewicz蕴涵的模糊序言》（Martin，T.P.；Arcelli Fontana，F.，《逻辑编程与软计算》（1998），研究出版社：纽约研究出版社），147-162
[72] Zadeh，L.A.，《模糊逻辑和近似推理》（纪念格里戈·莫伊西尔），《综合》，第30期，第407-428页（1975年）·Zbl 0319.02016号
[73] Zadeh，L.A.，《模糊集作为可能性理论的基础》，《国际模糊集系统》。，1, 3-28 (1978) ·Zbl 0377.04002号
[74] 扎德，L.A.，《近似推理理论》，《机器智能》。，9, 149-194 (1979)
[75] Zadeh，L.A.，模糊逻辑=文字计算，IEEE Trans。模糊系统。，4, 103-111 (1996)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。