不等权泛平均运算模型研究

泛平均运算模型是为了满足连续值逻辑中逻辑折衷的需求而提出的。鉴于现有的泛平均运算模型描述的是 一种理想的等权情况,给出了两种加权算子泛平均运算模型,提出了一种不等权泛平均运算模型及其对偶模型,并指 出加权算术平均算子、加权几何平均算子、加权调和平均算子、广义加权平均算子等都是其对偶模型的特例。最后比 较了广义加权平均运算模型和不等权泛平均运算模型的异同。     

不等权泛平均运算模型研究

泛平均运算模型是为了满足连续值逻辑中逻辑折衷的需求而提出的.鉴于现有的泛平均运算模型描述的是一种理想的等权情况,给出了两种加权算子泛平均运算模型,提出了一种不等权泛平均运算模型及其对偶模型,并指出加权算术平均算子、加权几何平均算子、加权调和平均算子、广义加权平均算子等都是其对偶模型的特例.最后比较了广义加权平均运算模型和不等权泛平均运算模型的异同.     

任意区间上的泛组合运算模型研究

泛组合运算为处理复杂系统中因素间相互冲突或协调的关系提供了有效解决途径。针对传统泛组合运算模型是基于单位区间[0,1]的理想情况,重点对在任意区间上取值的泛组合运算模型进行研究,给出并严格证明了其具有的一系列重要性质,为泛组合运算模型在控制中的应用提供了有力的依据。     

泛组合运算模型研究

泛逻辑学是在模糊逻辑的基础上,分析命题之间关系的连续可变性。提出了“广义相关性”和“广义自相关性”两个重要的概念,将命题连接词运算模型定义为由相关性所控制的算子簇,实现了命题连接词运算模型的柔性化。其中泛组合运算模型是为了满足连续值逻辑中综合决策的需求而提出的。目前仅有二元模型,在实际应用中迫切需要多元模型。但由于泛组合问题的复杂度随着“元”的个数增加而急剧增大,其设计有一定的难度。提出了多元泛组合运算模型和生成元加权零级泛组合运算模型,从而不仅满足了应用中多元综合决策的要求,还进一步完善了泛逻辑学中的命题连接词理论。     

基于泛组合运算的分类器融合

本文介绍了一类可用于分类器融合的泛组合逻辑算子,同时作为方法论基础研究了基于案例学习的泛逻辑运算符（算子）构造和选择方法,并以此构造分类器的融合器,实验数据集选择了UCI的spam数据集,并同其他融合方法进行了对比。结果表明本文所述方法具有较低的错误率和相应较高的查全率。     

泛逻辑泛运算模型之间的关系

研究泛逻辑的泛与运算模型、泛或运算模型与模糊非之间的关系。证明了零级泛与运算模型T(x,y,h)、零级泛或运算模型S(x, y, h)与强非N(x)=1-x形成De Morgan三元组,当h∈(0, 0.75), 零级泛或运算S(x, y, h)=(min(xm+ym, 1))1/m, N(x)=(1-xm)1/m时, T, S, N形成一个强De Morgan三元组。进一步证明了一级泛与运算模型T(x, y, h, k)、一级泛或运算模型S(x, y, h, k)与N(x)=(1-xn)1/n满足De Morgan定律;特别当h∈(0, 075), 一级泛或运算模型S(x, y, h, k)=(min(xnm+ynm, 1))1/nm, N(x)=(1-xnm)1/nm时, T, S, N形成一个强De Morgan三元组。     

一级泛非运算研究

何华灿等1996年提出关于不确定性推理的泛逻辑,对泛非运算给出了它的零级形式N(x)=1-x.本文讨论它的一级形式,内容包括不确定性的级,一级泛非现象,一级泛非公理,一级泛非运算N(x,h)的定义、主要性质和生成方法.这对深入认识不确定性及其逻辑规律,完善泛逻辑理论具有重要意义.     

泛逻辑控制模型研究

提出了一种基于泛逻辑学中零级泛组合模型的泛逻辑控制器,并根据输入变量数目的不同,设计了一维到四维泛逻辑控制模型结构。由于考虑到输入量之间的广义相关性,泛逻辑控制模型具有较强的通用性和适应能力,针对不同被控对象无须单独设计,是一种具有柔性潜质的智能控制模型。对典型线性和非线性系统的控制实验,证明了模型的有效性和优越性。     

二级倒立摆的泛逻辑稳定控制研究

针对二级倒立摆的稳定控制问题,提出了一种以泛逻辑学为逻辑基础的控制器,控制器以任意区间[a,b]上的零级泛组合运算模型为核心决策部件,决策过程中考虑到输入变量之间的关系、输入量的测量误差,并允许决策门限连续可变。对二级倒立摆实物系统的泛逻辑稳定控制实验和抗干扰实验,以及同模糊控制方法和线性二次型最优状态调节器控制效果的比较证明了该方法的有效性和优越性。     

多分类器系统的泛组合规则研究与应用

现有的多分类器系统采用固定的组合算子,适用性较差。将泛逻辑的柔性化思想引入多分类器系统中,应用泛组合运算模型建立了泛组合规则。泛组合规则采用遗传算法进行参数估计,对并行结构的多分类器系统具有良好的适用性。在时间序列数据集上的分类实验结果表明,泛组合规则的分类性能优于乘积规则、均值规则、中值规则、最大规则、最小规则、投票规则等固定组合规则。     

一种基于柔性逻辑的控制方法研究

模糊控制是基于领域专家所给出的模糊控制规则来实现对系统的控制,这些模糊控制规则粗略地描述了控制器输入和输出之间的关系.模糊控制采用的是一种分段逼近的思想,因此在对高阶和多输入等实际复杂系统控制过程中,模糊控制存在控制规则组合爆炸和控制精度不高两大问题.从常规二维模糊控制器的输入变量误差E和误差变化率EC的基本物理意义出发,深入分析它们之间所蕴含的逻辑关系,指出这种关系的本质就是泛逻辑学中的泛组合关系,可用简单的泛组合运算代替复杂的模糊规则推理过程.据此提出了一种柔性逻辑控制方法,可实现对复杂系统的精确控制.最后,一级倒立摆的实物实验结果证明了该方法的可行性和有效性.     

泛逻辑的一级泛运算模型的代数性质

论文讨论泛逻辑的一级泛运算模型的基本代数性质。证明了T(x,y,h,k)(h∈(0,0.75),k∈(0,1))是幂零的阿基米德型三角范数,T(x,y,h,k)(h∈(0.75,1),k∈(0,1))是严格的阿基米德型三角范数;泛与运算模型与泛蕴涵运算模型形成一个伴随对。当h∈(0,0.75),k∈(0,1)时,有界格(眼0,1演,∨,∧,觹,→,0,1)做成一个MV-代数;当h∈(0.75,1),k∈(0,1)时,有界格(眼0,1演,∨,∧,觹,→,0,1)做成一个乘积代数。进一步,给出了一级泛与运算模型与泛或运算模型的加性生成元与乘性生成元。     

基于零级泛与运算的谓词形式系统及其完备性

泛逻辑是在研究柔性世界逻辑规律时发现的一个新的连续值的逻辑体系,它通过引入广义相关性和广义自相关性刻画命题之间的相互关系.本文主要解决基于零级泛与运算的一阶谓词演算形式系统(V)ULh∈(0,1]的完备性.通过引入全称量词和存在量词,建立与命题形式系统ULh∈(0,1]相对应的一阶谓词形式系统(V)ULh∈(0.1],并证明其完备性定理.从而得到系统(V)ULh∈(0,1]的语义和语构是和谐的.     

命题对象的空间逻辑运算模型

在现有逻辑系统中,各连接词的运算模型都可以归结为某些“代数算子”,其共同特征是仅考虑了命题所描述集合的代数测度大小,而没有考虑它们在几何空间中的位置关系。文章以“空间位置相关性”为中心,提出了“摸天花板问题”,分析了逻辑运算中存在的几何位置相关性。在“命题对象”、“真位向量”、“空间图像”等概念的基础上,提出了命题对象的空间逻辑运算模型,并结合格分维理论给出了在几何图像中的具体应用形式。本文工作拓展了泛逻辑学中广义相关性的含义,为连接词的运算形式提供了一种新的模型。