论Gdel蕴涵算子不宜用于建立模糊逻辑系统

通过演绎定理和命题的真度理论指出基于Go¨del蕴涵算子的3值逻辑系统反映了直觉主义逻辑的特点。但如果基于Go¨del蕴涵算子建立模糊逻辑系统,则相应的语构理论与积分语义理论是不协调的。     

论G(O)del蕴涵算子不宜用于建立模糊逻辑系统

通过演绎定理和命题的真度理论指出基于G(O)del蕴涵算子的3值逻辑系统反映了直觉主义逻辑的特点.但如果基于G(O)del蕴涵算子建立模糊逻辑系统,则相应的语构理论与积分语义理论是不协调的.     

区间值模糊命题逻辑的最大子代数及其广义重言式

将S-型蕴涵算子改为R0-蕴涵算子，从而找到区间值模糊逻辑I[0，1]的一个最大子代数IQ，进而将王国俊教授在逻辑系统W中的广义重言式理论推广应用到IQ中。     

基于三Ι算法的模糊系统及其响应性能

给出了基于三Ⅰ算法和α-三Ⅰ算法的几种典型模糊系统的插值表达式．指出,基于三Ⅰ算法和α-三Ⅰ算法的模糊系统对于某些蕴涵算子具有函数逼近的泛性,而对于不少蕴涵算子只具有阶跃输出能力,而不具有函数逼近的泛性．此外,证明了基于三Ⅰ算法的模糊系统在一定条件下对于模糊逻辑系统中推理与聚合的次序交换无关．     

Kleene蕴涵算子的导出算子的n值逻辑系统In

考虑了Kleene蕴涵算子的导出算子的三值逻辑系统I3 和n值逻辑系统In(n >3)。首先,给出I3的真值表,证明了I3 是二值逻辑系统C2 的推广。其次,讨论了I3 中的重言式与IPC公理之间以及I3 中的准重言式与C2 中的重言式之间的关系。接着,考虑了In中的子代数。最后,考虑了不同逻辑系统In中的重言式之间的关系     

完备剩余格中的全蕴涵推理方法

三I算法是王国俊教授提出的一种模糊推理方法,较之模糊控制理论中广泛采用的CRI 算法更具有严谨性、合理性．本文在完备剩余格中给出了模糊推理．RL-型全蕴涵α-MIFMP,α- MIFMT规则,并讨论了完备剩余格中的RL-型全蕴涵α-MI算法,得到了完备剩余格中RL-型全蕴涵α-MIFMP,α-MIFMT的计算公式,并将之应用于Godel逻辑系统,Lukasiewicz逻辑系统,Goguen逻辑系统和W-逻辑系统．特别是将结果应用于W-逻辑系统中得到了Ro-型全蕴涵α-三I算法计算公式,简化了原有的R0-型三I算法的证明．     

基于逐点优化模糊推理的模糊控制器及其插值机理

本文从直观优化思想出发,提出一种逐点优化模糊推理方法,称之为POFI方法. 首先分别给出了基于POFI方法的Mamdani蕴涵算子、代数积蕴涵算子和Zadeh蕴涵算子的FMP算法与FMT算法中寻求推理后件(或前件)的计算表达式.然后分别获得了基于POFI方法的Mamdani蕴涵算子模糊控制器、代数积蕴涵算子模糊控制器、Zadeh蕴涵算子模糊控制器及加乘算子模糊控制器的插值表示,由此发现这些模糊控制器具有函数逼近的泛性.其次指出在基于POFI方法的单输入单输出情况下,Mamdani蕴涵算子模糊控制器、代数积蕴涵算子模糊控制器及加乘算子模糊控制器三者相互等效,并且在基于POFI方法的双输入单输出情况下,Mamdani蕴涵算子模糊控制器与代数积蕴涵算子模糊控制器是等效的.     

扰动模糊命题逻辑系统中的广义重言式

通过定义二维R0-蕴涵算子，将王国俊教授在逻辑系统形中的广义重言式理论推广并应用到二维赋值的扰动模糊命题逻辑系统西中，证明了这一系统中（μ，δ）-重言式就是某个（λ，1-λ）-重言式，最终获得与一维线性赋值格上完全相应的广义重言式分类。     

关于左连续蕴涵算子的连续逼近问题

从阿基米德型t-范定义的剩余型蕴涵算子是连续的蕴涵算子出发，研究关于左连续的蕴涵算子Ro和Godel蕴涵算子心'的连续逼近问题，从而进一步为模糊推理寻求理论基础。     

一种新的无规则模糊逻辑系统构造及控制设计应用

模糊逻辑系统是一种具有输入输出功能的系统,本文构造的模糊逻辑系统的知识库并不储存If-then形式的模糊规则,而是储存关于输入和输出变量的模糊语言值,这些语言值被从属于这些语言值论域上的单位分解整合在一起,形成了若干关于输入输出变量的模糊蕴涵关系。当一组数据进入该模糊逻辑系统输入端时,它们首先被单点模糊化处理后激活这些模糊蕴涵关系,然后依据模糊推理机及合适的模糊算子得到模糊输出,最后经解模糊化得到最终输出结果。与通常的模糊逻辑系统相比较,这种模糊逻辑系统的主要优势是其输出不仅呈现为某些基函数的线性组合形式,而且组合系数的个数与输入变量的个数相同,因而这种模糊逻辑系统能够有助于解决模糊控制中的"维数灾难"问题。最后,针对一类非线性不确定系统,本文利用这种新的模糊逻辑系统设计了自适应跟踪控制器,并通过仿真算例验证了该方法的有效性。