IMTL逻辑系统的一种新扩张形式

提出了一种新的模糊逻辑系统 IMTL^*,这种逻辑系统的特点是只使用蕴涵这一种逻辑联接词。证明了这种逻辑系统是IMTL逻辑系统的模型扩张,并且 ?ukasiewicz 逻辑系统和逻辑系统ℵ^*都是它的模型扩张,应用这些结论给出了?ukasiewicz 逻辑系统和逻辑系统ℵ^*的蕴涵表示形式。只使用蕴涵这一种逻辑联接词的模糊逻辑系统将为模糊逻辑的应用提供方便。     

基于Mamdani模糊逻辑系统的一类未知混沌系统的同步控制

针对一类既含有未知参数又含有不确定非线性项和外界干扰的混沌系统,基于Mamdani模糊逻辑系统的万能逼近性和参数自适应方法,文章提出了一种带有参数自适应律的驱动-响应同步控制方法,并实现了未知混沌系统的渐近同步。其中,利用先验知识构成的模糊逻辑系统被用于逼近混沌系统中的非线性不确定项,而混沌系统中的未知参数则通过自适应方法进行在线估计。在同步控制器设计中,参数自适应律的个数与模糊规则的数目无关,表明该同步方法不仅减少了在线计算量,而且使基于先验知识产生的模糊规则所构成的模糊逻辑系统具有更广泛的应用。最后通过算例说明了该方法的有效性。     

一类非线性系统的鲁棒输出跟踪模糊控制

针对一类单输入单输出不确定非线性系统，提出一种稳定的自适应模糊控制方法。该方法应用I型模糊逻辑系统逼近过程的不确定部分，利用后推方法及监督策赂设计出一种鲁棒自适应控制器，理论分析证明了系统的稳定性，跟踪误差收敛到零。仿真结果表明了该方法的有效性。     

自适应模糊逻辑系统在飞机航程计算中的应用

针对传统航程计算方法的复杂,提出了基于自适应模糊逻辑系统的航程计算方法,采用该方法建立了某型飞机航程计算的模糊模型,并利用误差反向传播算法和最小二乘算法对模型参数进行了辨识。仿真结果表明:运用该方法计算某型飞机航程较传统的计算方法具有速度快、精度高等特点。     

F(S)在Lukasiewicz逻辑系统中的一种分划

利用McNaughton函数，研究了Lukasiewicz逻辑系统中的可达广义重言式，证明了当α为无理数时，没有可达α-重言式，进而给出了F(S)的一个分划．还证明了在Lukasiewicz逻辑系统中，重言式可由对非重言式进行有限次升级算法得到。     

几类n值逻辑系统中的MP滤子

给出了n值Lukasiewicz逻辑系统Ln，n值Goedel逻辑系统Gn，n值乘积逻辑系统Pn，n值标准序列逻辑系统Sn和n值L^＊逻辑系统职中的MP滤子的分布情况，并讨论了这些MP滤子与格滤子的关系。     

视觉与空间分析——数据挖掘、推理及问题求解中的进展

两千多年前借助于视觉的方法证明了勾股定律，几何学研究在笛卡尔发明坐标系之前已经存在了1500年。爱因斯坦在1953年写道：西方科学的发展是建立在两个伟大成就的基础之上，即欧几里德几何学的形式逻辑系统和文艺复兴时期的系统实验推理。本书介绍了用于数据采掘、推理问题求解及作出判定中的视觉与空间分析的当前趋势，提出可视地显示一个结果或解答，通过可视的方法导出结果或解。     

一种相关型模糊集合及其在模糊逻辑系统中的应用

基于t-范数和t-余范数的模糊推理无法将模糊规则中前件集与后件集的相关性信息引入到模糊推理过程,这在某些情况下会导致模糊推理结果与实际经验不符。针对此问题,首先引入模糊集合之间相关度的概念,使模糊概念之间彼此相关。然后,在模糊集合相互关联的环境下提出相关型模糊集合的概念,包括相关type-1、相关区间型type-2以及相关一般型type-2模糊集合,并在理论上把模糊集合的基本概念和运算性质放在相关型模糊集合的环境下进行讨论,同时定义其自身特有的一些运算。最后,对相关型模糊集合在2种模糊逻辑系统(T1 FLS和IT2 FLS)中的应用进行探索,提出面向后件集的模糊推理方法。仿真实例表明:该方法比传统的模糊推理方法能捕获到规则中更多的不确定性信息。     

命题模糊逻辑系统G(o)d中公式的理论可证度

基于命题模糊逻辑系统中公式的理论可证度的概念,探讨了命题模糊逻辑系统God中公式的理论可证度的计算公式,并研究了它的一系列性质。     

四个命题模糊逻辑系统中公式真度的大小之比较

主要探讨了四个重要命题模糊逻辑系统Luk、Gd、Π及L*中公式真度的分布情况.首先在Luk、Gd、Π及L*中,分别计算了公式(p1p2)→p3,p1(p2→p3),(p1→p2)p3及p1→(p2p3)的真度;然后比较了其大小,其大小顺序为:τGd≤τL*≤τΠ≤τLuk,其中τG¨od,τL*,τΠ及τLuk分别表示系统Gd、L*、Π及Luk中公式的真度.