基于析取逻辑程序设计的诱导推理

利用辨论推理模式，将负文字的析取式作为诱导推理的假设，建立了析取逻辑程序设计的一种诱导语义框架ＤＡＳ。它不仅是实现辩论推理（诱导）的一种简单直观语义而且为析取程序的语义了一个统一的框架。特别地，证明了著名的良基语义和ＥＧＣＷＡ等都可以嵌入ＤＡＳ。     

析取稳定模型和大胆辩论推理

将任意析取逻辑程序自然转化为一个辩论推理框架，大胆辩论推理的实现则由所有极大可接受假说刻画，从而提出了一种实现大胆辩论推理的析取逻辑程序系统，并得到了一些有意思的结果，特别是证明大胆辩论推理可由析了稳定语义实现。     

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

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

面向Agent的常识知识库

常识性知识处理是人工知识研究的核心难题,在分析了对常识的各种研究工作的基础上,论述了一个面向Ａｇｅｎｔ的大规模常识知识库,提出了一种新型的Ａｇｅｎｔ－ＣＢＳＡｇｅｎｔ,描述了面向常识的语义网络描述语言Ｃｓｎｅｔ,对Ｐｒｏｌｏｇ进行了面向常识的扩充,分析了常识知识库的本体论结构,最后给出了常识知识库的运行机制。     

本体概念与词汇的语义相似度计算方法

提出了一种本体概念与词汇语义相似度的计算方法。此方法结合编辑距离与Wordnet距离两者的优点综合衡量词汇与本体概念之间的语义相似度,从而将词汇映射到本体概念,同时不断的扩充本体丰富本体,更进一步提高算法的性能。实验结果说明此方法是可行的。     

一个模态非单调逻辑

基于一种关于典型与例外的经验模态语义提出一个模态非单调逻辑，给出了它的语义和语形，证明其它全性定理以及它与主要非单调逻辑的关系定理。它直接地形式化非单调推理的直观意义，提供了一种缺省逻辑和自知逻辑的一阶扩展形式，同时具有限制逻辑停顿同称句子的能力，而且在逻辑程序与演绎数据库中有重要应用。     

模式的语义描述与识别

讨论了代数语义方法用于模式描述和识别的可行性，采用这种方法，模式结构被作为一种代数结构，其语义约束采用等式规范的形式给出，这样可以将识别问题变为一个等式断言采用等式项重写在规范中进行验证，并举例说明这种方法。     

面向传值进程的一阶模态逻辑的可判定性与模型检测

对于面向传值进程的Hennessy-Milner逻辑的一阶扩充HML(FO), 给出了基于带赋值的符号迁移图的语义解释. 证明了HML(FO)的子逻辑HML(FO²)是满足性可判定的, 并且讨论了判定的复杂性. 最后给出传值进程关于HML(FO²)的模型检测的可判定性结果.     

基于辩论语义的算子模糊逻辑

定义了一种基于辩论语义的算子模糊逻辑，这种逻辑是相关的，次协调的，非单调的，能形象地刻画认知过程的信念修正，适于在知识不一致，不清确，不完全情形下推理。     

基于知识点本体的语义扩展研究

传统的基于关键字的信息检索不能很好地检索到相关的资源.通过分析教学领域知识点本体的语义相关性特点,提出了一种基于知识点本体的语义扩展算法.该算法通过将概念间关系进行分离,利用概念层次结构和关联关系并考虑多种影响因素分别计算语义相似度和相关度,进而综合量化成语义关联度进行语义扩展检索.实验表明,本文所提出的语义扩展算法能够有效地提高查全率、查准率,取得较好的检索效果.     

Si过渡层Co／Cu／Co三明治膜巨磁电阻效应的影响

用高真空电子束蒸发方法制备了以半导体材料Ｓｉ为过渡层的Ｃｏ／Ｃｕ／Ｃｏ三明治膜，研究了不同厚度的Ｓｉ过渡层对三明治膜巨磁电阻效应的影响，发现三明治膜巨磁电阻在过渡层厚度达到０．９ｎｍ时表现出明显的各向异性，而过渡层工小于０．９ｎｍ时基本上呈各向同性，巨磁电阻的各向异性可由三明治膜的平面内磁各向异性解释，在Ｓｉ过渡层和金属Ｃｏ层的界面处相互扩散形成具有（３０１）择优取向的Ｃｏ２Ｓｉ诱导了三明治膜的这     

语义Web的逻辑基础

分析了目前语义Web理论的研究现状和存在的问题, 分析了用传统描述逻辑作为语义Web逻辑基础的不充分性, 根据语义Web的特点和需求, 提出了一种新的动态描述逻辑DDL, 该DDL将静态知识和动态知识表示与推理有机地整合在一起. 特别的是, 给出了具体的动作描述方法, 并按照传统描述逻辑的语义解释方法给出了动作的语义解释, 从而该DDL形成了一种能同时处理静态知识和动态知识的统一的形式化逻辑框架. 该DDL具有清晰的语义特征, 既提供了可判定的推理服务, 又能有效地对静态知识、动态过程和运行机制进行表示和推理(动作的可实现性和动作之间的包含关系), 因此, 提出的动态描述逻辑DDL可以为语义Web提供合理的逻辑基础, 弥补了传统描述逻辑作为语义Web逻辑基础的不足.     

溶液—溶胶—凝胶—自蔓燃法快速合成Bi系超导体原始粉末

提出了一种结合溶液－溶胶－凝胶法和溶液自蔓烯法的Ｂｉ系超导体原始粉末制备方法。主要分两步：９１）利用ＳＳＧ法制取成分均匀的湿凝胶；（２）利用ＳｏｌｕｔｉｏｎＳＨＳ法将湿凝胶在短时间内转变成低碳含量软团聚，超细的Ｂｉ系超导体原始粉末。克服了传统ＳＳＧ法制备的粉末形成硬团聚，颗粒粗大和碳含量高的严重缺点，并使制粉周期大大缩短。     

艾滋病疫苗的研究现状与发展策略

获得性免疫缺陷综合症（ＡＩＤＳ，艾滋病）是一种全球性瘟疫，引起了世界各国的关注。安全有效的疫苗是预防和控制ＡＩＤＳ流行的最有希望的措施。根据近期文献报道，本文对研制ＡＩＤＳ疫苗的障碍，理想疫苗的设计及该疫苗的研究两头作了概要介绍。     

一种以特征线为中心的曲面特征表示方法

由于自由曲面特征形状复杂多样，难以有效地进行参数化表示．本文提出了一种以特征线为中心的曲面特征层次参数化的表示方法．该方法将特征线作为曲面构建的基本单元，将特征线划分为几何层、约束层、语法层和语义层，利用特征线信息对曲面特征进行参数分层，实现曲面特征的整体形状和局部形状的层次控制；在参数化表示上，按不同自由度分为半自由和完全自由曲面特征，并对曲面特征进行了统一的定义表示．实验结果表明，本文方法能够表达多种形状的自由曲面，在高层语义参数层面上方便地编辑曲面特征，是一种有效的曲面特征表示方法．     

程序兼纳集：由力迫描述的中介逻辑程序语义

运用力迫方法在非封闭世界假设下讨论了一种基于中介逻辑含非Ｈｏｒｎ型语句逻辑程序的语义，并就程序兼纳集的不动点性质，迭代性质作了研究，还证明了程序兼纳集在集合包含关系下是１个完全交半格。     

信号传导的研究对生命现象认识的推动作用

细胞内与细胞间的信号传导是生命现象的一种基本事件，它与生物的生长，发育，分化，遗传，学习，记等过程密切相关。疾病，衰老和死亡，作为生命现象的特殊形式或过程，其发生也是与信号传导始终密切相关联的。信号传导的相应的英文词为：ＳＩＧＮＡＬＩＮＧ或ＳＩＧＮＡＬ ＴＲＡＮＳＤＵＣＴＩＯＮ。     

基于动态语义服务描述的服务匹配的研究

本文将动态描述逻辑与语义服务描述语言相结合,提出了一种动态语义描述方法来描述Web服务,并在经典服务匹配基础上进行改进,完善了服务匹配的类型,提高了Web服务的查全率与查准率。     

基于区块位置与加权视觉语义映射的语义图像检索

提出了一种新的图像语义映射方法WVS—RSSVM,采用自适应的NCut分割方法自动发现并图像中的区域,提取出每个区域包含了位置信息的特征,达到消除一定歧义的目的。并将这些区域采用加权的方式映射为视觉语义空间中的一个点,然后通过SVM分类的方法进行语义学习,实现对图像的语义标注。并且以SVM分类时点到边界的距离作为该点属于某个语义的隶属度,实现检索的排序。实验结果表明,该方法对表达图像的主要语义以及发现有歧义的区块代表的语义,有很好的效果。     

概念格的属性约简理论与方法

概念格理论是一种有效的知识表示与知识发现的工具，已被成功应用于许多领域．知识发现的一个重要方面是知识约简．提出了概念格的属性约简理论，进一步扩充了概念格理论．给出了概念格约简的判定定理；引入了形式背景的可辨识属性矩阵，并在此基础上得到了寻找约简的方法；同时，给出了概念格不同类型属性的特征。