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

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

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

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

基于三值语义的非单调逻辑

本文给出一种三值非单调逻辑形式，它一方面可推广标准非单调逻辑到三值情形，另一方面它能捕捉各种非单调逻辑作为特殊形式，特别地，我们证明了三值非单调逻辑与模态非单调逻辑具有密切的关系．     

用分层ATMS实现缺省逻辑

Ｒｅｌｉｅｒ的缺省逻辑存在着局限性．它无法表示缺省规则之间的优先级，无法处理缺省规则中析取，并且不满足累积性．虽然Ｂｒｅｗｋａ提出带优先级的缺省逻辑和累积缺省逻辑，但不能完全克服上述局限性．本文介绍了分层ＡＴＭＳ，然后指出用分层ＡＴＭＳ实现的缺省逻辑能克服现有缺省逻辑中的局限性．     

解释非单调推理

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

非单调推理与论辩系统

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

仿射内点最优路径法解线性不等式约束的优化问题

提供了仿射内点回代技术的最优路径法解线性不等式约束的非线性优化问题，通过构造的最优路径得到搜索迭代方向，结合非单调内点回代线搜索技术获得可接受的步长因子，从而产生保证目标函数值非单调下降的严格内点可行迭代序列．基于最优路径的良好性质，证明了在合理的假设条件下，算法不仅具有整体收敛性而且保持超线性收敛速率．引入非单调技术能克服高度非线性的病态问题，加速收敛性进程，数值计算结果表明了算法的有效性．     

相信逻辑的某些性质和定理

本文研究了相信逻辑在相信蕴涵下的某些性质．在相信蕴涵的定义下，相信逻辑是非单调的．本文给出了几个相信逻辑的单调性的充分且必要条件．还证明了一个默认理论的延伸恰好就是对应的相信理论的相信公式的所有相信蕴涵式的全体．从而给默认理论的延伸以一个较为直观、简洁的表述．     

带有固定步长的非单调信赖域方法

该文提出一种新的非单调信赖域方法．当试探步不能被接受时,算法沿着试探步的方向求得下一个迭代点,其中步长利用固定公式计算．这种方法既避免了重复求解信赖域子问题,又减少了线搜索方法计算函数值的次数．该文采用的非单调策略是基于张洪超和Hanger（2004）出的非单调线搜索技术．在适当的条件下,证明了算法的全局收敛性及超线性收敛性．最后给出了初步的数值实验结果．     

用双优先级算法调度控制系统的实时周期性任务

根据控制系统中存在强实时周期任务和软实时周期任务的特点，采用双优先级算法进行任务调度．该算法将优先级带宽分为3部分：高带优先级、中带优先级和低带优先级．强实时任务实例到达后先将其优先级设置在低带，经过一段时间若还没有完成，则将其优先级提升到高带，软实时任务的优先级设置在中带中，从而控制任务的执行．文章研究了强实时任务优先级提升时间的存在性，给出了求取优化的优先级提升时间的算法．在软实时任务满足一定丢失率(0≤βai＜1)的条件下分析任务集的可调度性，模拟结果表明了算法的有效性．     

求解非线性互补问题的非单调共轭梯度法

利用非线性互补问题（NCP）的F－B价值函数,基于PRP＋型共轭梯度算法,结合Gu N．Z．的新的非单调搜索技术提出新的利用F－B价值函数求解非线性互补问题（NCP）的非单调共轭梯度算法,该算法保持了共轭梯度算法和非单调数据的优良性质．在适当的条件下,证明了算法的全局收敛性,数值实验证明是有效的,适合解决大规模非线性互补问题．     

有界变量约束优化的非单调最优路径内点算法

采用最优路径结合非单调内点回代算法解有界变量约束的非线性优化问题．从构建的最优路径解二次模型获得迭代方向，通过线搜索获得步长因子以保证迭代点既落在严格可行域内，又能使目标函数产生足够下降，基于导出的最优路径的良好性质，在合理的假设下，证明了此算法不仅具有整体收敛性，而且保持局部超线性收敛速率．引入非单调技术将克服病态问题，从而加速收敛性进程．数值计算表明了算法的可行性和有效性．     

逻辑学及其在计算机科学中的应用

本文简单介绍了命题逻辑,一阶谓词逻辑,二阶逻辑,模态逻辑,时序逻辑,动态逻辑,模糊逻辑,非单调逻辑,组合逻辑及λ-演算等,讨论了它们之间的相互联系及各自在计算机科学,特别是在人工智能领域中的应用。     

带有约束的缺省逻辑

提出了一种改进缺省逻辑的方法，讨论了这种缺省理论的性质，证明了每个缺省理论都有扩充，具有半单调性和累积性，并讨论了处理多扩充问题的一种方法．     

雷达目标极化增强非线性规划建模与求解

研究了雷达目标的极化增强问题，建立了非线性规划数学模型，利用Ｌａｇｒａｎｇｅ乘子法进行了分析，将其等价地转化为一个单调函数的零点问题以及一组带约 线性最优化问题，并讨论了该单调九的微分性质。     

非单调规划的一种新的单调化方法

对约束函数单调而目标函数非单调的规划问题，给出了目标函数的1种新的单调化变换公式．先引入极大熵函数，将多个约束的非线性规划问题，转化为只含1个约束的规划问题，再将转化后的只有1个约束的规划问题转化为1个等价的单调规划问题．     

关于一类非光滑极大极小问题的非单调线性搜索算法

考虑一类非光滑的离散的极大极小问题：minmax{fi(x)|i=1…m}，其中fi是凸的，但不一定可微．在这里我们给出了非单调线性搜索算法，并证明了在一定条件下算法具有全局收敛性．     

基于混合模型的多重故障诊断

介绍了基于模型的多重故障诊断，它可通过ＡＴＭＳ来实现，能克服基于规则的诊断系统的一些局限性，但当运行模型和故障模型同时被运用或者等级模型被运用时，普通ＡＴＭＳ不能处理这种情况．本文应用分层ＡＴＭＳ来实现基于混合模型的故障诊断方法，同时给出广义最小诊断的定义，从而克服关于最小诊断定义中的不足．由于分层ＡＴＭＳ能表示和处理论据之间的优先级，因而能运用混合模型，能结合基于模型和基于规则的诊断，及提高诊断效率．     

绝对值方程的非单调光滑算法

给出了一个新的非单调线性搜索技术,其包含传统的单调线性搜索和一些非单调线性搜索.基于新的非单调技术,给出了一个求解绝对值方程的光滑算法,证明了算法具有全局和局部二次收敛性质.数值试验表明算法是有效的.     

复合限制

限制是一种基于极小化模型的非单调逻辑,本文首先提出一种相对限制形式——基于极大化模型的限制,继而给出结合极小与极大化模型的复合限制形式,并进一步讨论它们在形式化机器学习中归纳推理的应用.