Gdel系统中一种降级算法及性质

与G del系统中广义重言式之间的一种升级算法相对应,作者给出了G del系统中广义矛盾式之间的一种降级算法,对其基本性质进行了讨论,并讨论了G del系统中关于广义矛盾式理论的广义语义MP规则与广义语义HS规则,为进一步对G del系统的研究提供了帮助.     

G(o)del系统中一种降级算法及性质

与G(o)del系统中广义重言式之间的一种升级算法相对应,作者给出了G(o)del系统中广义矛盾式之间的一种降级算法,对其基本性质进行了讨论,并讨论了G(o)del系统中关于广义矛盾式理论的广义语义MP规则与广义语义HS规则,为进一步对G(o)del系统的研究提供了帮助.     

Goedel系统中一种降级算法及性质

与Goedel系统中广义重言式之间的一种升级算法相对应，作者给出了Goede1系统中广义矛盾式之间的一种降级算法，对其基本性质进行了讨论，并讨论了Goedel系统中关于广义矛盾式理论的广义语义MP规则与广义语义HS规则，为进一步对Goedel系统的研究提供了帮助。     

基于Gödel配数的程序结构研究

用自然数研究程序结构的特点是文章的写作目的.在提出同构程序概念和程序Gödel数概念后,讨论了静态同构程序与动态同构程序之间的关系,证明了同构程序可数;在文中建立的程序积的概念下,从结构化程序设计角度,继承性地对一般程序结构进行了定义,并对它们的特点进行了较详细的讨论,从而指出循环结构和子程序结构都是分枝结构的特殊形式;利用同一程序的静态结构与动态结构Gödel数、程序积之间的关系找出了程序中存在子程序结构、分枝结构和循环结构的条件.讨论的结果表明用Gödel配数研究程序设计理论是一种行之有效的方法.最后,提出了进一步研究的目标.     

n值Gdel逻辑系统中广义矛盾式的计量化研究

利用势为n的均匀概率空间的无穷乘积,在n值Gdel逻辑系统中引入公式的α-矛盾度概念,从而将矛盾式的概念进行双重程度化,进而给出广义矛盾度的推理规则。     

逻辑系统H_α中的广义语义MP规则

将修正的Kleene逻辑系统中的语义MP规则推广后应用于Ha逻辑系统中,讨论了H1逻辑系统中广义重言式理论的语义（[a]-MP）规则、语义（[a＋]-MP）规则,使得对Ha系统中的广义重言式有了更进一步的认识,另外,逻辑系统刀中的广义语义MP规则也成为其中的一个特例。     

一种基于词语搭配的语义消歧方法

提出一种利用规则与统计相结合的方法用于英汉机译系统中以消解语义级歧义 ,建立了一种根据单词之间的词语搭配关系以消除歧义的模型。该模型利用英汉双语语料选择合理的词组语义 ,对有歧义的单词作出标注。在此基础上给出了语义消歧的学习算法 ,并建立了一套有效的提高召回率的消歧算法。算法在英汉机译系统中的实际应用使正确率提高了约 10 % ,效果显著。     

广义del算子

明确地给出了广义del算子的定义和它与狭义算子之间的关系,指出当狭义del算子与任意张量的运算结果仍为一张量时,狭义del算子完全可用广义del算子替换;否则,狭义del算子不能用广义del算子替换．该文对于统一目前有关场论著作中的符号以及电磁场理论的教学具有重要的作用．     

谓词逻辑中公理化真度的若干评注

根据一阶谓词逻辑中公理化真度的定义对给定公式的真度进行了计算，讨论了该真度下伪距离的性质，并应用赋值法论证了真度为1的公式与广义定理及定理的关系，分析了真度为0的公式与广义矛盾式及矛盾式之间的异同.     

广义MP规则

提出了广义MP规则与集体广义MP规则 ,并在二值逻辑系统中通过引入根的概念给出与上述规则在语构意义下的解 .以三I方法为基础 ,在连续值逻辑系统L 中讨论了广义MP规则与集体MP规则的语构意义下的解 .又分别在二值与Lukasiewicz三值系统中给出了上述问题在语义意义下的解 .以上理论可视为模糊推理在经典逻辑学中的非模糊形式