对推理规则在非经典逻辑中失效的分析

论文认为强化前件规则对虚拟条件句确实足失效的，但传递原则、逆换原则和析取前件消去规则并没有像希尔皮南所说失效了。如果对同一性替换规则加上条件对一个命题的某个部分实施替换，要求所利用的同一性在该命题的模态下也成立，则同一性替换规则可以运用于模态语境。奎因对存在概括规则在模态语境中失效的分析并不完全准确。     

析取逻辑及析取逻辑程序的语义研究

在用不完全知识进行常识推理时，常用缺省方式推导结论，然而当缺省否定算子ｎｏｔ被定义成ｎｏｔ ｐｒｏｖｂｌｅ（不可证）时，析取逻辑程序（ａＶｂ，ｎｏｔ ａ，ｎｏｔ ｂ）应该是一致的，因为ａ不可证且ｂ不可证并不意味ａＶｂ不可证，虽然这是一个很重要的事实，但现有主要的析取逻辑程序语义理论却不能支持它。其主要原因是这些理论都基于传统的一阶谓词逻辑，其中否定ａ且否定ｂ将导致否定ａＶｂ，现提出一种支持上述事实     

P-n-右析取语言的相关性质

主要研究了P-n-右析取语言的一些相关性质，给出了P-n-析取辖的定义，得出了P-n-析取辖是稠密语言等结论。     

模糊析取语言的结构特征

采用代数方法探讨模糊 ( F -)析取语言的结构特征 .首先给出了 F -析取语言的等价刻划定理 .进而讨论了其代数性质与结构性质 .因而为其具体应用奠定了基础.     

新的不确定推理真值传播计算方法

针对现有不确定推理真值传播方法存在的缺陷 ,提出一种新型不确定推理真值传播的计算方法 .该方法简单、直观 ,与已有方法相比更具有应用价值.     

一致左F—析取语言

令X为由有限字母表生成的自由么半群.X的元素称作字,X的子集称作X上的语言.语言称作析取的当且仅当其句法同余为恒等的.语言A称作F—析取的当且仅当其每一个句法同余类仅包含有限个词.Shyr,H.J.在中主要考察了析取语言类.Guo,Y.Q.等在中主要考察了F—析取语言类.在此基础上,本文考察一致左F—析取语言类.     

Fuzzy析取语言的若干结果

[1]中刻划了 F-正则语言的代数特征,并讨论了某些代数性质,本文继续[1]的工作,定义了 F-析取语言,并用 F-代数结构的方法刻划了 F-析取语言的某些特性.     

多媒体的数字嵌入及水印技术

数字水印技术是一种信息隐藏技术，该技术将标识数据添加到载体数据中，在出现所有权纠纷时可以通过提取算法随时检测其中的标识信息来证明所有权，因此，数字水印已经被公认为保护多媒体数据所有权的良策，主要讨论了数字水印的原理及一般算法，给出了数字水印的添加有提取的一般模型。