Gainse-Rescher逻辑系统中的一种降级算法及其性质

在Gainse-Rescher逻辑系统^-C，Gr,Sn中的广义矛盾式之间建立了一种降级算法，并讨论了该降级算法的基本性质。主要结果是：在逻辑系统^-Gr(Gr)中，矛盾式不可能由对非矛盾式进行有限次降级算法得到，在逻辑系统Sn中，对任一公式最多次行n-1次降级算法即可得到矛盾式。     

Goedel逻辑系统中的广义重言式理论

本文将王国俊教授在逻辑系统/W,W,Wk中的广义重言式理论进行推广并应用到了Gooedel逻辑系统/G,G,Gn中。主要结果是：在逻辑系统/G,G中,重言式不可能由对非重言式进行有限次升级算法得到;在逻辑系统Gn中,对任一公式最多进行n次升级算法即可得到重言式;利用可达广义重言式概念和α-矛盾式概念分别在/G,G,Gn中给出了F（S）的一个关于→同余的分划。     

修正的Product逻辑系统中的广义矛盾式

讨论了修正的Product逻辑系统中的广义矛盾式理论,证明了该系统中广义矛盾式的类类互异定理,并给出了修正的Product逻辑系统中的广义矛盾式之间的一种降级算法.     

G(o)del逻辑系统中的广义重言式理论

本文将王国俊教授在逻辑系统,W,Wk中的广义重言式理论进行推广并应用到了Go(o)del逻辑系统(G-),G,Gn中.主要结果是 :在逻辑系统(G-),G中,重言式不可能由对非重言式进行有限次升级算法得到;在逻辑系统Gn中,对任一公式最多进行n次升级算法即可得到重言式;利用可达广义重言式概念和α-矛盾式概念分别在(G-),G,Gn中给出了F(S)的一个关于同余的分划.     

积逻辑系统中的广义重言式

讨论积逻辑系统中的广义重言式理论 ,给出积逻辑系统中子代数和广义重言式的一系列性质。本文的主要结果表明 ,在几个重要的逻辑系统中 ,标准积逻辑系统具有最简单的广义重言式结构 ,而在推理过程中 ,它具有较差的真值传递性。     

Gdel逻辑系统中的广义重言式理论

本文将王国俊教授在逻辑系统 W,W,Wk中的广义重言式理论进行推广并应用到了Goo¨ del逻辑系统 G,G,Gn 中。主要结果是 :在逻辑系统 G,G中 ,重言式不可能由对非重言式进行有限次升级算法得到 ;在逻辑系统 Gn 中 ,对任一公式最多进行 n次升级算法即可得到重言式 ;利用可达广义重言式概念和 α-矛盾式概念分别在 G,G,Gn 中给出了 F( S)的一个关于 同余的分划。     

逻辑系统W,W,Wk中的广义语义HS规则和广义语义MP规则

研究模糊命题演算的形式演绎系统L·及在语义上相关的修正的Kleene逻辑系统,W,Wk,引入语义[α]-MP规则,语义[α+]-MP规则,语义[α]-HS规则,语义[α+]-HS规则等概念,并对这些规则的性质进行讨论,进一步加强该系统中的Σ-(α-重言式)的相应结果,丰富该系统中Σ-(α-重言式)的内容,为进一步研究该系统提供一个有益的工具.     

逻辑系统,W,W_k中的广义语义HS规则和广义语义MP规则

研究模糊命题演算的形式演绎系统 L*及在语义上相关的修正的 Kleene逻辑系统 W,W,Wk,引入语义 [α]- MP规则 ,语义 [α+ ]- MP规则 ,语义 [α]- H S规则 ,语义 [α+ ]- H S规则等概念 ,并对这些规则的性质进行讨论 ,进一步加强该系统中的 Σ- (α-重言式 )的相应结果 ,丰富该系统中 Σ- (α-重言式 )的内容 ,为进一步研究该系统提供一个有益的工具。     

逻辑系统RDP中广义重言式的语义MP、HS规则

将修正的Kleene逻辑系统中的语义MP规则和语义HS规则推广后应用于RDP逻辑系统,讨论了RDP逻辑系统中广义重言式的广义语义MP规则和广义语义HS规则,得出在逻辑系统D1/2中,广义语义(1/2)+-MP,(1/2)+-HS,1-MP,1-HS规则成立,而广义语义1/2-MP,1/2-HS规则不成立。     

格值一阶逻辑系统LF(X)中的广义量词

给出格值一阶逻辑系统LF(X)中广义量词的定义,讨论了带广义量词的不确定性推理的性质,为语言值逻辑推理提供科学的逻辑平台。     

修正的G(o)del逻辑系统中三类无限子代数及其F(S)的分划

将修正的G(o)del逻辑系统中的广义重言式理论进行推广,讨论了逻辑系统G-中三类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在G-的三类子代数中分另q给出F(S)关于→同余的一个分划.     

系统Hα中F(S)的一个分划及一种升级算法

研究王国俊提出的系统Hα中F(S)的分划问题,利用可达广义重言式的概念给出F(S)的一个关于同余的分划,并给出了各类间的一种升级算法,证明在系统Hα中,重言式不可能由对非重言式进行有限次升级算法得到。     

格值一阶逻辑系统LF(X)中带广义量词的不确定性推理

讨论格值一阶逻辑系统LF(X)中带广义量词的不确定性推理规则,和FMP、FMT规则。为研究带广义量词的归结自动推理作准备,也为研究语言值逻辑推理提供一阶逻辑系统的基础平台。     

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

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

一种新型的广义规则推理算法

数据挖掘是指从大型数据库的海量信息中有效进行知识发现的过程,而其效能的高低主要取决于搜索机制所依据的算法.有鉴于此,提出了一种基于个体免疫与群体进化机制于一体的一种高效的全局优化搜索算法,即基于免疫规划的广义规则推理算法.与已有算法所不同的是,广义规则推理算法不仅仅着眼于发现一些有关分类方面的信息,而是利用背景理论和先验知识在知识表示与运行效率之间相均衡的基础上,着重新知识的发现和对高级规则的预测.理论分析和仿真实验表明,广义规则推理算法有利于进化群体的相对稳定和整体性能的提高,并可以在规则提取过程中保持较高的精确度.     

一种算子模糊逻辑系统及其Petri网推理算法

定义一种只带模糊文字以及模糊算子的模糊逻辑，讨论了该逻辑的λ-归结的相容性、完备性及其若干逻辑性质。为了实现算子模糊逻辑的归结推理，给出了算子模糊逻辑的Petri网模型：Horn型，进一步讨论了推理算法：T-不变量算法，得到了算法的完备性定理，最后用实例进行了验证。     

Banach空间中的隐式集值变分包含的一种扰动算法

在Banach空间中研究了一类新的变分包含——隐式集值变分包含问题，得到了隐式变分包含解的等价性与存在性命题及其解的扰动算法，推广、改进了国内外近期获得的一些结果．     

广义箱子约束优化基于线性逼近子问题的显式搜索方向算法

讨论带广义箱子约束的非线性约束优化.基于Topkis-Veinott线性规划逼近法,对搜索方向子问题进行改进,产生两个新的线性逼近子问题,重要的是两个新子问题的解均能以简单的显式表达式直接给出.由此建立问题非精确线搜索算法,算法大大降低了计算量,复杂性及CPU时间.仅在目标函数连续可微的条件下,算法具有全局收敛性.对算法进行较大规模的数值试验.     

一种改进的双层规划内点算法(英文)

本文针对线性双层规划问题提出一个由KMY算法演变而来的原对偶内点算法.与现在很多线性双层规划单纯型算法不同,作者提出的算法从一可行初始点穿过约束多面体内部直接得到近似最优解,当约束条件和变量数目增加时,本算法的迭代次数和计算时间变化很小.所以大大提高实际可操作性能和运算效率.