扩充析取逻辑程序的诱导语义

基于诱导推理，提出了析取逻辑程序的一种说明语义框架，称为典型诱导语义，证明了ＴＡＳ不仅具有完全性而且是析取稳定语义的自然扩展，利用相干原理，ＴＡＳ很容易推广到扩充析取程序类，由此可以定义ＴＡＳ的一种合理扩充，并能解决常识推理中一些典型问题。     

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

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

知识推理的一个模

引入了能描述操不同语言的多ａｇｅｎｔ系统中知识推理的模态逻辑语言及其Ｋｒｉｐｋｅ语义与Ａｕｍａｎｎ语义，为其建立了完备的形式化演绎系统；并构造了多ａｇｅｎｔ系统的逻辑的Ｉｎｓｔｉｔｕｔｉｏｎ。     

逻辑系统L*n中命题的真度理论

利用势为n的均匀概率空间的无穷乘积, 在n值广义Lukasiewicz命题逻辑系统Ln^＊中引入命题的真度概念, 证明了全体公式的真度值之集在上是稠密的, 并给出了公式真度的表达通式及真度推理规则; 利用真度定义了公式间的相似度, 进而导出了全体公式集上的一种伪距离, 为n值命题逻辑的近似推理理论提供了一种可能的框架.     

逻辑系统Ln中命题的真度理论

利用势为n的均匀概率空间的无穷乘积, 在n值广义Lukasiewicz命题逻辑系统中引入命题的真度概念, 证明了全体公式的真度值之集在上是稠密的, 并给出了公式真度的表达通式及真度推理规则; 利用真度定义了公式间的相似度, 进而导出了全体公式集上的一种伪距离, 为n值命题逻辑的近似推理理论提供了一种可能的框架.     

适用于多种蕴涵算子的赋值空间上的测度与积分理论

对多种蕴涵算子导出的赋值空间进行统一处理,引入公用的Lebesgue测度,证明了相对于若干常见蕴涵算子而言,全体逻辑公式都是可测函数.建立了t(α重言式)理论,提出了一般的语义MP规则和一般的语义HS规则. 基于积分理论引入了逻辑公式的真度概念,提出了积分MP规则和积分HS规则.最后,通过通用逻辑度量空间概念在全体公式集上引入了伪距离,为近似推理提供了一种可能的框架.     

语义Web的逻辑基础

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

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

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

知识推理的一个模型

引入了能描述操不同语言的多agent系统中知识推理的模态逻辑语言及其Kripke语义与Aumann语义 ,为其建立了完备的形式化演绎系统 ;并构造了多agent系统的逻辑的Institution .     

以DDS／TEOS复合醇盐通过sol—gel法制备无载体膜

通过溶胶－凝胶法，以一种有机－无机复合醇盐ＤＤＳ／ＴＥＯＳ作为先驱体，制备了大尺寸的，厚度可达３０－５００μｍ的高质量无载体膜。这种膜同时显示了极好的生与柔韦性。。详细探讨了无载体膜制备过程中多种因素对成膜质量的影响，并采用ＩＲ和ＡＦＭ等技术对膜的结构以及表面微观形进行了分析。     

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

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

基于隶属度比较的描述逻辑SHOIQ模糊扩展

语义Web模糊知识的表示和应用经常需要涉及多个模糊隶属度值及其比较的复杂模糊知识描述,但现有的描述逻辑模糊扩展缺乏描述和使用这类复杂模糊知识的能力.文中提出新的描述逻辑SHOIQ模糊扩展SHOIQFC语言.SHOIQFC不仅具有模糊描述逻辑FSHOIQ的全部表达能力,还支持涉及多隶属度值及其比较的复杂模糊知识的表示与推理,拓展了描述逻辑模糊扩展的应用范围.证明了SHOIQFC知识库一致性问题的可判定性并给出Tableau推理算法,为实现语义Web复杂模糊知识的表示与推理提供理论基础.     

分情形推理的缺省逻辑框架

拓广Ｂｒｅｗｋａ关于缺省逻辑的框架,使之具有更强的表示分情形的推理的能力,同时,给出在拓广的框上缺省理论扩张的特征和主要推理任务的算法。     

面向Agent的常识知识库

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

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

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

基于Schweizer-Sklar T-范数的模糊逻辑系统

基于Schweizer-SklarL范数，提出了一个新的模糊逻辑形式系统UL^＊证明了系统UL^＊的可靠性和完备性，并指出著名的SBL-系统是UL^＊的语义扩张，而IMTL△统是UL^＊当两个“非”运算重合时的特例．最后分析了UL^＊系统与其他模糊逻辑形式系统的关系，并从Yager的“与度”、Whalen的“模糊规则交互作用的强度”概念出发，说明了系统UL^＊中参数p的含义及其在近似推理中的应用。     

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

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

命题演算系统L~*与谓词演算系统κ~*中统一的近似推理理论

引入了度量R0-代数和R0型Hilbert方体的概念. 从语义和语构两个方面建立了同时适用于命题逻辑系统L*与一阶逻辑系统κ*的近似推理理论,并得到了统一的完备性定理.     

RAPD技术在生物学研究中的应用

ＲＡＰＤ标记具有简易,快速,灵敏,经济的优点,本文介绍了该技术在生物物种鉴别,遗传多样性,基因定位,分子连锁图谱构建和外源导入基因的分子检测等生物学领域广泛应用的概况。由ＲＡＰＤ转化而来的ＲＡＰＤ－ＰＣＲ－ＳＣＡＲ标记稳定,灵敏,准确性高,在种质资源鉴别,分子标记辅助育种中有着潜在的应用前景。     

JAPS:一个基于JAVA的程序自动并行化系统

ＪＡＰＳ是运行于ＮＯＷ环境下的基于ＪＡＶＡ的程序自动并行化系统，实现了从依赖关系分析到程序并行执行的全自动过程，它能够进行复杂的任务并行性的开发，数据并行性的挖掘了即将被集成进去，本文描述ＪＡＰ析系统框架及其采用的关键技术，其中，任务的划分，概要信息的获取，依赖关系分析，预调度和动态调度等将被详细说明。