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

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

基于对称三值逻辑的集合

本文的目的是建立与对称三值逻辑相应的集合概念,定义它们的一些运算,并讨论其若干性质.     

对称三值逻辑的实现

本文从对称三值逻辑最小项的性质出发,讨论了对称三值逻辑与二值逻辑的内在联系,从而使对称三值逻辑函数可用PLA技术实现。文中给出了三值优先编码器和三一十编码译码电路作为示例。文中还给出了对称三值CMOS存贮器ROM和RAM的逻辑系统图。     

遗传算法的一种非单调适应值标度变换方法

讨论了遗传算法(GA)中选择算子对于改善群体整体品质、实现群体进化和导致群体早熟与模式欺骗的双重作用.以One-Max函数为例分析了选择压力对群体进化能力的影响.针对复杂优化问题,提出了一种非单调适应值标度变换方法,给出了均值规范变换和可调规范变换两种形式,并结合典型函数进行了实验计算.     

三值逻辑的Craig中插定理与Herbrand定理

作者获得并证明三值命题逻辑MP与MP^*、三值谓词逻辑MF与MF^*以及带等词的三值谓词逻辑ME与ME^*的Craig中插定理与Herbrand定理。     

信值修正系统及其实现

在许多基于知识的问题求解系统中，随着知识的不断积累可能会检测到某些新的结论和原有的知识产生矛盾，而维持该类系统中知识库的一致性是衡量该类系统是否有效的十分重要的标志，信值修正系统是解决类问题有效工具。     

具有非单调间断集值映象的广义似变不等式

在拓扑向量空间的非紧设置下对广义似变分不等式ＧＶＬＩ证明了解的某些存在性定理，其中Ｔ：Ｘ→２＾Ｆ可以是非单调间断集值映象，η和ｈ可以是间断单值映象。作为特殊情形，可得到若干最近结果的改进和推广。     

LP_m逻辑语义的一种改进

本文指出LPm逻辑存在的一些问题,给出一种LPm的改进形式──LPmin逻辑,它能解决LPm逻辑存在的问题,并对LPmin以及它与LPm逻辑的关系作了初步分析.     

模 糊 择 优 逻 辑 的 数 值 扩 充

提出一种新的模糊逻辑数值模糊择优逻辑, 给出了数值模糊择优逻辑的语法和语义, 并研究了其性质. 该逻辑结合多值逻辑和择优推理的语义特点, 得到的推理关系具有模糊性、 次协调性和非单调性, 且知识的模糊性能以数值的形式显式地表现, 适用于对智能系统中的不精确、 不一致和不完备知识进行表示和推理.     

带等词的“中介”谓词逻辑演算ME^＊的三值特征定理

通过在三值结构中引入“三值相等关系”,获得并证明了带等词的“中介”谓词逻辑演算ME~*的三值特征定理:可靠性与完全性定理。     

论奎因对模态逻辑的批判

模态逻辑一经产生，就遭到奎因的质疑。奎因认为，模态概念无论在逻辑上还是在哲学上其正确性都值得怀疑。他甚至认为模态逻辑是多余的，应予以抛弃。通过对奎因批判模态逻辑的背景和理论进行分析，章认为奎因对模态逻辑的批评在观念上和论证上都存在缺陷，因此奎因的批判是不能成立的。     

关于Cialdea一阶模态归结系统

指出了Ｃｉａｌｄｅａ一阶模态逻辑归结系统是不完备的．为了确保推理系统的完备性，给出了Ｃｉａｌｄｅａ系统的两种修正方法．     

基于子结构逻辑的不确定性语义时态查询技术研究

为解决不确定性语义时态查询及其计算资源配置的优化问题,使用子结构逻辑对时态演算机制进行了完善并构建了查询中间件原型. 基于构造性逻辑语义,构建了中间件演算流程,将时态属性映射为类型语义,使针对时间属性的运算从句法演算中剥离,在保证表达能力的前提下,仅进行语义计算,加速并优化了查询演算流程.实验结果表明:该方法与中间件原型可行、高效,具有共性,为时态信息处理提供理论与技术支撑.     

基于Dirchlet分布的扩展主观逻辑

针对基于二值逻辑的主观逻辑中存在的一些问题,提出了基于Dirichlet分布的扩展主观逻辑．在利用三值逻辑代替原来二值逻辑的基础上,扩展主观逻辑重新定义了事实空间与观念空间之间的映射关系和映射函数,并给出了新的扩展合意规则．扩展主观逻辑保留了主观逻辑基于统计推断和概率理论的优点,并考虑了事件结果不确定时的情况,从而可更好地建模和处理信任中的主观性和不确定性．实例分析表明,扩展主观逻辑具有合理的事实根据和理论基础．     

分析和设计安全协议的新逻辑的语义

文献[1]中提出了一种分析和设计安全协议的新逻辑.协议分析者可以用该逻辑来对安全协议进行分析,而协议设计者可以使用该逻辑用一种系统的方法来构造安全协议.文献[1]没有给出该逻辑的形式化语义,因为串空间模型具有良好的语义,现将新逻辑和串空间模型结合起来,给出新逻辑的串空间语义,并运用该语义证明了新逻辑的推理规则是正确的.     

基于逻辑上的等价关系

该文定义了基于完全剩余格值逻辑上的二元关系，并且在此逻辑框架下，讨论了二元关系的合成，Ｌ－映射，Ｌ－等价关系以及Ｌ－映射与Ｌ－等价关系，Ｌ－划分与Ｌ－等价关系之间的联系。