动态模糊逻辑(DFL)真值域谱理论及应用研究

摘要

动态模糊性问题是学术界普遍关注的问题，迄今为止国内外对这方面研究成果并不多。李凡长教授在L.A.Zadeh提出的模糊集和模糊逻辑理论基础上，提出了动态模糊集和一阶动态模糊逻辑系统，经过十几年的研究，取得了一系列的基础成果。基于此，本文进一步扩展，取得的成果包括如下几个方面： 1.提出了动态模糊逻辑的谱分析方法。 2.在一阶动态模糊逻辑的基础上，提出了二阶动态模糊逻辑。 3.建立二阶动态模糊逻辑的谓词演算推理系统，并给出了二阶动态模糊逻辑的语义描述。 4.提出了二阶动态模糊逻辑真值域的谱理论分析方法。 5.提出了二阶动态模糊逻辑演算推理模型，为人们进行模糊信息推理提供了一种新的推理模式。 6.通过实例找到了二阶动态模糊逻辑推理系统的应用背景。 通过本文的研究，进一步丰富了动态模糊逻辑的研究内容，为解决现实生活中存在的动态模糊性问题提供了新的推理方法和理论依据。当然，面对纷繁复杂的现实世界，相关的研究工作还只是初步的尝试，还有许多工作需要进一步探索。

目录

文摘

英文文摘

声明

第一章引言

1.1动态模糊逻辑(DFL)研究现状综述

1.2问题提出

1.3主要工作

1.4内容安排

第二章 一阶动态模糊逻辑

2.1 一阶动态模糊逻辑(First-Order Dynamic Fuzzy Logic)简介

2.1.1动态模糊集(DFS)

2.1.2一阶动态模糊逻辑的命题演算

2.1.3一阶动态模糊逻辑(DFL)的谓词演算

2.2谱分析方法

2.2.1 DF命题逻辑谱分析方法

2.2.2 DF谓词逻辑的谱分析方法

2.3本章小结

第三章二阶动态模糊逻辑系统

3.1二阶逻辑简介

3.2二阶动态模糊逻辑(Second-Order Dynamic Fuzzy Logic)语法

3.2.1二阶DFL命题语言

3.2.2二阶DFL谓词逻辑

3.3二阶动态模糊逻辑的语义

3.3.1二阶DFL系统语义中的元理论

3.3.2二阶DFL语义

3.4二阶动态模糊逻辑演算系统

3.4.1命题演算推理

3.4.2谓词逻辑演算推理

3.5二阶动态模糊逻辑谓词演算归结推理

3.5.1子句型

3.5.2置换和合一

3.5.3归结推理过程

3.6真值域的谱分析方法

3.6.1二阶DFL真值域刻画

3.6.2二阶DFL真值域谱分析

3.7本章小结

第四章 二阶动态模糊逻辑演算推理系统模型

4.1一阶动态模糊逻辑演算推理系统

4.1.1一阶DFL的一般推理模型

4.1.2一阶DFL推理规则的描述

4.1.3一阶DFL推理规则的激活

4.2二阶动态模糊逻辑演算推理系统

4.2.1二阶DFL对语言的描述

4.2.2二阶DFL推理规则的激活模型

4.3本章小结

第五章应用

5.1二阶动态模糊逻辑实例系统

5.1.1人才选拔的总体框架

5.1.2具体设计

5.2实例演算

5.3本章小结

第六章结论及展望

参考文献

附录

致谢