基于广义可能性测度的可达性问题的模型检测

在广义可能性测度下,提出了广义可能性Kripke结构来描述系统的量化行为。在广义可能性Kripke结构下重新定义了线性时序逻辑的语构和语义,研究了线性时间属性的最终可达性、限制可达性、重复可达性等模型检测问题。本文所获得的结果扩大了可能性测度在模型检测中的应用范围。     

直觉模糊模型检测在工程决策上的应用

将直觉模糊Kripke结构扩展到加权直觉模糊Kripke结构,将直觉模糊计算树逻辑诱导到加权直觉模糊计算树逻辑;研究在此之上的直觉模糊期望测度和多属性工程决策问题。用加权直觉模糊Kripke结构的权值自然地刻画了工程问题中的成本和收益,直觉模糊测度量化工程进展的不确定性,用加权直觉模糊计算树逻辑描述不确定性工程属性约束。给出了基于直觉模糊模型检测的多属性工程寻优算法,并讨论了算法的复杂度。     

Kleene逻辑函数—一类广义模糊逻辑函数

引进了一类广义模糊逻辑函数－Ｋｌｅｅｎｅ逻辑函数，讨论了这类函数的基本性质，并在这个函数类与正则三值逻辑函数之间建立起同构关系。     

MTL-代数上的广义赋值

本文研究了MTL-代数上的几类广义赋值,讨论了MTL-代数上广义赋值、态以及滤子之间的关系,获得了MTL-代数上广义赋值成为(正)关联广义赋值的等价刻画,并基于广义赋值构造的同余关系研究了MTL-代数的商结构.所得结果推广了基于三角模的模糊逻辑代数上广义赋值的相关理论,进一步丰富了基于三角模的模糊逻辑代数上概率测度的代数结论.     

BIK+-逻辑与非可换模糊逻辑

引入BIK -逻辑的概念,证明了BIK -逻辑的可靠性定理(基于BCC-代数)。同时,研究了BIK -逻辑与非可换模糊逻辑的关系,说明了各种源于模糊逻辑的代数结构之间的内在联系,并用一个图示表达了这些关系。     

一类自治细胞神经网络的全局有限时间同步控制

通过利用广义线性状态误差反馈控制器,研究了一类自治细胞神经网络模型的全局有限时间同步控制问题.把一种具有简单结构的广义线性状态误差反馈控制器引入到控制策略中,得到了模型有限时间同步的易于验证的数学判据.     

不确定型多值Kripke结构的模型检测

多值模型检测是经典模型检测的一种扩展,主要用于具有不一致信息的系统的验证。为了对具有不一致和不确定性的系统进行形式化分析,本文提出非确定型多值Kripke结构作为此类系统的模型,引入一种多值计算树逻辑作为非确定型多值Kripke结构的规范语言,给出一种多项式时间的模型检测算法。研究结果表明本文提出的模型检测技术适用于具有不确定行为的多值系统的自动验证。     

神经网络与模糊逻辑

本文把神经网络模型理论分为四个部分:①神经元模型及其理论;②单层神经网络;③多层神经网络;④模糊神经网络。并分析了一些重要的神经网络模型的结构、算法及其性能。在此基础上,本文还着重分析了神经网络与模糊逻辑的关系,并指出了它们对新一代计算机的研制有着重要的影响。     

剩余格上的L滤子

剩余格为模糊逻辑和模糊推理提供了一种良好的代数结构,滤子是剩余格中一个十分重要的概念,它在基于剩余格的模糊逻辑代数语义的研究中,扮演着一个关键的角色。本文基于Pavelka所提出的广义MP规则和真值提升规则,研究基于这两种推理规则的演绎系统的代数化问题。引入L滤子的概念,讨论这些滤子之间的关系,并给出它们的一些代数刻画。     

再扩充模糊逻辑中逻辑程序的模型论语义和不动点语义研究

模糊逻辑及其扩充是处理不确定性与模糊性信息的重要数学工具,在近似推理、人工智能等领域有着广泛的应用。而逻辑程序也已经成为人工智能的研究热点之一。本文是在再扩充模糊逻辑中,对逻辑程序进行了语义的研究。给出了其语法和语义描述,并且将逻辑程序的许多主要结论推广到再扩充模糊逻辑中。首先,得到了关于模糊逻辑推论的充分必要条件以及模型交与强模型交性质。然后,通过引入一个H erbrand解释算子Pτ:LBp→LBp,给出了确定性程序P的H erbrand模型的充分条件和强H erbrand模型的充分必要条件。最后,建立了确定性程序的最小强H erbrand模型的不动点刻画定理。     

基于模糊错误逻辑的投资结构优化研究

主要研究模糊错误逻辑的运算,设定了模糊错误逻辑的基本运算规则,对模糊错误逻辑公式、变量、真值、函数、字、子句、字组等概念进行定义,在此基础上,提出2个定理并予以证明,揭示了模糊错误逻辑在错误的传递、转化与消除过程中的运算规律和性质 ,然后建立了优化投资结构模糊错误逻辑模型.     

基于直觉模糊化的广义模糊时间序列预测模型

本文在传统广义模糊时间序列预测模型数据模糊化的基础上,引入直觉模糊集理论对其进行扩展。首先,在隶属度和非隶属度函数中增加犹豫度因子对样本数据进行直觉模糊化,更加细腻的反映数据不确定性本质。然后,用记分函数描述样本数据对模糊集的隶属情况,简化模型的复杂度。随后以传统广义模型为框架,构建基于直觉模糊化的广义模糊时间序列预测模型。最后利用典型的Alabama大学入学人数为实验数据,对比分析本文建立模型与传统广义模型的预测结果,验证直觉模糊化的广义模糊时间序列模型的可行性和优越性。     

模糊BIK~+-逻辑与非可换模糊逻辑(英文)

为了建立各种可换和非可换模糊逻辑的公共基础(蕴涵片段),提出了一个新的蕴涵逻辑,称为模糊BIK+-逻辑。证明了这一新的蕴涵逻辑的可靠性和弱完备性定理,同时讨论了模糊BIK+-逻辑与各种模糊逻辑之间的关系,以及与它们配套的代数结构之间的关系。     

模糊逻辑语言FLL的并行计算模型FPCM

该文在研究模糊逻辑语言ＦＬＬ 语义的基础上,提出了并行计算模型ＦＰＣＭ（ＦｕｚｚｙＰａｒａｌｌｅｌ ＣｏｍｐｕｔｅＭｏｄｅｌ）．该模型描述了模糊逻辑程序设计语言ＦＬＬ 的并行计算结构,以此实现了“ＡＮＤ 并行”和“ＯＲ 并行”计算,并利用所提出的警卫条件、计算负影响等机制进一步提高了ＦＬＬ 语言的并行执行效率,从而有效地解决了模糊逻辑语言执行效率低的问题．     

一阶模糊谓词逻辑公式的解释模型真度理论及其应用

基于一阶模糊谓词逻辑公式的有限和可数解释真度的理论,引入了一阶模糊谓词逻辑公式的解释模型及解释模型真度的概念,并讨论了它们的一系列性质及其在近似推理中的应用.     

离散模糊需求报童问题的可信性模型研究

基于可信性理论,建立了确定离散模糊需求报童问题订货量的期望成本与利润模型,并与基于可能性理论的质心特征值分析模型进行了比较.数值研究结果表明:1)对应每一模型的最小模糊成本和最大利润的订货量不一致,且模糊期望模型与质心特征值模型确定的订货量不同;2)对应不同订货量,模糊可能性成本、利润之和及期望成本、利润之和均不为固定常数.由于在模糊环境下,与概率测度对应的模糊量描述是可信性测度,所以,相比而言,离散模糊需求报童问题的模糊期望值模型较模糊可能性模型好.     

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

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

化简Fuzzy逻辑函数直接方法的注记

本文改进了［１］给出的化简Ｆｕｚｚｙ逻辑函数的方法,首先给出广义互补项的概念,并应用它证明可删去顶的充要条件,然后给出了不满足定理条件的问题解决办法,从而得到一种既方便又能将Ｆｕｚｚｙ逻辑函数化到最简的办法．     

支撑模糊集合转换的模糊逻辑是伪逻辑

模糊逻辑系统用模糊集合描述模糊信息、用模糊集合转换处理模糊信息.阐述支撑模糊集合转换的模糊逻辑为什么是伪逻辑的原因.指出定义在论域一个空间上的模糊集合,因为破坏了集合中元素的"不可分割性",所以模糊集合描述的模糊信息不能用数学计算通过模糊集合转换处理.实际应用中的模糊信息定义在论域与状态空间两个空间上,其正确表达方式是满足"归一化"条件的隶属度向量;处理的正确途径是,研究基于状态转移矩阵的隶属度转换;支撑隶属度转换的是近似推理逻辑,目的是使构建的隶属度转换模型是当前条件下人们可能构建的"最优"近似模型.     

广义Fuzzy逻辑回归模型的最大Fuzzy积分估计

以两个Fuzzy集的平均相容度为基础,给出广义Fuzzy逻辑回归模型的未知参数的最大Fuzzy积分估计,这种估计能给了近似地构造广义Fuzzy函数及求广义Fuzzy关系方程的近似解的一种简便方法。