基于L~*系统的一种非单调推理系统

研究了非单调优先推理系统P和累积单调推理系统CM,以及模糊命题演算的形式演绎系统L ,在L 系统中定义了后承关系｜～:A｜～B当且仅当A2├B,证明了在L 系统中的这种后承关系满足累积单调推理系统CM,非单调优先推理系统P的全部规则,但这种后承关系不满足单调推理系统M的逆否律规则,从而在L 系统中建立了一个介于非单调推理系统和单调推理系统之间的逻辑系统.这为两种系统的理论研究建立一个桥梁以及为模糊控制提供了一种新的思路.     

结合优先有和可信度的非单调真值维护系统

不精确推理和非单调推理是人工智能中两个重要的研究方向。分析了基于概率的不精确推理和基于真值维护系统的非单调推理的各自特点和局限性,将论据的优先级和可信度引入ＡＴＭＳ,提出了结合优先级和可信度的非单调真值维护系统,并给出其算法,它能有效地处理不完全领域知识下的推理,结合不精确推理和非单调推理的优点,克服两者的局限性。     

基于L^＊系统的一种非单调推理系统

研究了非单调优先推理系统P和累积单调推理系统CM，以及模糊命题演算的形式演绎系统L^*，在L^*系统中定义了后承关系|～：A|～B当且仅当A^2┠B，证明了在L^*系统中的这种后承关系满足累积单调推理系统CM，非单调优先推理系统P的全部规则，但这种后承关系不满足单调推理系统M的逆否律规则，从而在L^*系统中建立了一个介于非单调推理系统和单调推理系统之间的逻辑系统，这为两种系统的理论研究建立一个桥梁以及为模糊控制提供了一种新的思路。     

结合优先级和可信度的非单调真值维护系统

不精确推理和非单调推理是人工智能中两个重要的研究方面．分析了基于概率的不精确推理和基于真值维护系统的非单调推理的各自特点和局限性,将论据的优先级和可信度引入ＡＴＭＳ,提出了结合优先级和可信度的非单调真值维护系统,并给出其算法．它能有效地处理不完全领域知识下的推理,结合不精确推理和非单调推理的优点,克服两者的局限性．     

一种在非单调和不完全领域知识下的EBL方法

基于解释的学习（ＥＢＬ）克服了基于相似性的学习中的一些局限性，但是由于领域知识的不完全性和非单调法，在ＥＢＬ过程中会出现等多重解释问题，运用分层ＡＴＭＳ（基于解释的真值维护系统）来实现ＥＢＬ方法，由于分民支ＡＴＭＳ能处理非单调推理和多重假设集，因而它能根据不同原因解决了ＥＢＬ中的多重解释问题。     

解释非单调推理

本书是《逻辑进展丛书》的第4卷。在非单调和常识推理领域中的许多方法实际上是对相同基本概念与结构的不同表示。正如本书作者于2001年出版的前一本书那样，这本研究论文试图系统地回答“什么是非单调推理？”这个问题，它是对作者前一本书的补充，给出了非单调推理原始方法的逻辑形式化。非单调推理包括默认逻辑、自认识和模态、非单调逻辑以及编程。作者把这种方法称为解释非单调逻辑，这是因为解释的概念可以被看作为这些非单调形式方法背后的最终以及统一的基础。     

专家系统中的非单调推理

本文试图对专家系统使用的非单调推理及其形式化问题进行初步探讨。     

模糊缺省推理的理论和方法研究

在一种含有补余律的模糊抽象代数系统（即ＦｕｚｚｙＢｏｏｌｅ代数）上，利用模糊逻辑公式与布尔函数的相互转换性，构造了具有模糊非单调推理能力的推理机制；从可应用性出发对模糊缺省规则进行了深入的讨论。该推理机制不仅增加了在量的描述方面的知识表达能力，而且在一定程度上解决了扩张存在性问题，提高了推理的效率。     

带优先级的基于论据的非单调逻辑

分析了常规非单调逻辑的局限性，通过介绍带优先级的非单调逻辑和累积缺省逻辑，指出非单调逻辑不仅需引入优先级而且须基于论据．提出了带优先级的基于论据的非单调逻辑，从而能更有效地处理非单调推理．     

整合非单调推理及时态推理

在本文中我们提出一种整合的推理模式 ASPx,它同时支持非单调推理及时态约束推理.本文展示了它的语法,语义及复杂性分析.除此以外,我们详细研究了它的一个实例化的框架 ASP(DCR),并举例说明其能够作为实时领域内常识推理的逻辑基础.     

析取演绎数据库否定信息的推理规则

引入否定和析取式头部扩展常规演绎数据库或逻辑程序,这被认为是增强知识表示能力,。支持常识推理和非单调推理的有效的,重要的措施,但是该类问题的处理又是困难的,至今尚无满意的解决办法,其难点之一可表述为“如何从析取演绎数据库或逻辑程序中,推导出否定信息”首先,给出一种关于否定信息推理规则的评价准则。     

非单调推理与论辩系统

由于仅以一阶逻辑无法刻画出人类推理过程中的非单调性,因而逻辑学家尝试建立新的逻辑系统来解决这一问题。这些系统被称为非单调逻辑。它们传统上一般采用的是优先蕴含或者一致性和不可证明性方法;而从20世纪80年代末90年代初开始,越来越多的逻辑学家开始尝试基于一种新的方法实现推理的非单调性,称为论辩理论。为此,探讨论辩系统以及其后基于论辩系统而提出的论辩框架是如何刻画非单调推理的,并分析它们相互之间的联系。     

基于对象和规则的专家系统构造工具FRS

叙述了一个基于对象和规则的混合式专家系统构造工具,该系统使用框架、规则和人工神经网络等多种知识表示形式,采用模糊推理机制,运用正向、反向及正反向混合的推理形式,提供了非单调推理功能,形成了一个表达能力强、适用广泛的工具系统.本文着重时该系统的总体结构、模糊推理与人工神经网络的应用进行了论述.     

模糊缺省推理的理论和方法研究

在一种含有补余律的模糊抽象代数系统上，利用模糊逻辑公式与布尔函数的相互转换性，构造了具有模糊非单调推理能力的推理机制；从可应用性出发对模糊缺省规划进行了深入的讨论，该推理机制不仅增加了在量的描述方面的知识表达能力，而且在一定程度上解决了扩张存在性问题，提高了推理的效率。     

可变谓词限定与良基理论

限定是McCarthy为了形式化人工智能中的常识推理的非单调性而提出的一种非单调推理形式。在本文中,我们首先提出了原来McCarthy的谓词限定和并行限定的一种推广形式——可变谓词限定,并描述了它的极小模型语义。然后,在此基础上建立了关于可变谓词限定的正确性、完备性以及相容性的各种结果,分析了可变谓词限定应用于良基理论时推测出新信息的能力。最后,我们为了进一步推广各种限定形式而提出了基于偏序关系的可变谓词限定。     

模型空间的拓扑结构与单调推理算子不动点的存在性

利用真滤集引入拓扑，建立了具连通性的模型空间与对偶空间。证明了一类模型积拓扑中图同态的连续性与单调推理算子空间上一类单调泛函不动点的存在性。     

异氰酸与甲醛环加成反应机理的从头算研究-催化效应

采用从头算方法研究了异氰酸与甲醛环加成反应的机理,并研究了ＢＨ３对此反应的催化效应。结果表明,非催化反应基本上为同步的协同反应,而ＢＨ３催化的反应则为非同步的协同反应,且ＢＨ３催化反应比非催化反应容易进行得多。     

家蚕核多角体病毒双穿梭载体的构建及GFP和HBeAg融合蛋？…

用ＡｃＮＰＶ穿梭载体Ａｃ－Ｂａｃｍｉｄ与野生型ＢｍＮＰＶＤＮＡ共转染家蚕ＢｍＮ细胞。通过同源重组得到整合了ｌａｃｚ／Ｔｎ７ａｔｔ／ｍｉｎｉＦ表达盒的ＢｍＮＰＶＢａｃｍｉｄ,除能在大肠杆菌／ＢｍＮ细胞中穿梭复制外,还以感染ＢｍＮ－ＰＶ的非允许     

用Vitali复盖定义的非绝对积分

将一维空间Ｒ１上的非绝对积分推广到高维空间中;讨论了Ｂ积分的性质,并给出了Ｂ积分的Ｈａｒｎａｃｋ扩张定理．     

锥形域上非乘积型的 Bernstein 多项式

一元Ｂｅｒｎｓｔｅｉｎ多项式在逼近论中是非常重要的，在多维的情形，已有的作法是构造乘积型的多元Ｂｅｒｎｓｔｅｉｎ多项式。文章构造一种多维锥形域上的非乘积型Ｂｅｒｎｓｔｅｉｎ多项式，若空间的维数为ｓ，乘积型多项式的次数为ｓｎ，而相应非乘积型多项式的次数仅为ｎ。对某些函数，计算表明：非乘积型多项式比相应乘积型的效果更好。