摘要:最近几年，在软件工程界内部有一种趋势，这就是开发以面向具体领域的ＣＡＳＥ环境．作为这样的一种ＣＡＳＥ工具，ＸＹＺ系统是由一时序逻辑语言ＸＹＺ／Ｅ和一组基于该语言的工具集构成．在ＸＹＺ系统中有很多的工具，它们被用来满足不同的需要．众所周知，ＳＤＬ（ｓｐｅｃｉｆｉｃａｔｉｏｎａｎｄｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅ）是电信领域中的一个国际标准语言，而且有关基于该语言的环境已在开发，但是有关该语言的验证工作，特别是利用有关时序逻辑语言进行验证的工作还不多．作为一种尝试，本文将利用ＸＹＺ系统中的一个子系统ＸＹＺ／ＶＥＲＩ，对ＳＤＬ所描述的有关电信领域中的例子进行验证．

摘要:计算机在电子印刷、广告、包装等领域应用的迅速发展迫切需要众多的不同风格的汉字字形．本文介绍一种使用Ｆｏｕｒｉｅｒ级数描述汉字轮廓、对不同字形的风格进行复合以生成多种风格的字形的新方法，所提出的方法还可用于模仿手写体汉字．

摘要:在现实世界里，ＡＩ系统难免受到噪声的影响．系统有效工作与否取决于它对噪声的敏感性如何．解释学习ＥＢＬ（ｅｘｐｌａｎａｔｉｏｎ－ｂａｓｅｄｌｅａｒｎｉｎｇ）也不例外．本文探讨了在例子受到噪声影响的情况下，解释学习的处理问题，提出了一个算法ＮＲ－ＥＢＬ（ｎｏｉｓｅ－ｒｅｓｉｓｔａｎｔＥＢＬ）．与现有的解释学习方法不同，ＮＲ－ＥＢＬ在训练例子含有噪声时仍然可以学习，以掌握实际的问题分布；和类似的工作不同，ＮＲ－ＥＢＬ指出了正确识别概念对于噪声规律的依赖性，试图从训练例子集合发现和掌握噪声的规律．可以相信，在识别概念时，借助于对噪声规律的认识，ＮＲ－ＥＢＬ可比ＥＢＬ和类似工作有更高的识别率．ＮＲ－ＥＢＬ是解释学习和统计模式识别思想的结合．它把现有的解释学习模型推广到例子含有噪声的情形，原来的ＥＢＬ算法只是它的特例．

摘要:悖论逻辑ＬＰ是一个超协调逻辑，发展超协调逻辑（ＬＰ）的目的是使得不会从矛盾推出任一命题，但它有一个主要缺点：就是一些在经典逻辑中有效的推理在ＬＰ中不再有效；极小悖论逻辑ＬＰｍ能克服这个缺点，使得在没有矛盾的直接影响下超协调逻辑等价于经典逻辑．ＬＰ和ＬＰｍ原来都只给出语义定义，虽然已有ＬＰ的证明论，但如何得到一个ＬＰｍ的证明论仍是一个未解问题．本文提出了一种可靠与完全的表演算作为ＬＰ与ＬＰｍ的证明论．

摘要:基于代数和递归函数理论，本文定义了代数递归谓词．代数递归谓词是一类广泛的谓词．基于数学归纳法，作者给出了证明代数递归谓词永真性的反向归约方法及相应的算法Ｒｅｄｕｃｔｉｏｎ．由于采用反向归约方式来完成定理证明，从根本上消除了正向组合式定理证明所产生的组合爆炸，因而极大地提高了定理证明的效率．

摘要:本文在一些相当直观的条件下建立了Ｉｎｓｔｉｔｕｔｉｏｎ中合并理论与各因子理论的初始（终结）语义之间的对应关系．

摘要:为了支持在事实不完全或不充分环境中的有效推理，作者提出了一种归纳机器学习方法，并设计了一个规则向量投影算法，使用木文介绍的算法可对原始知识实行归纳，生成含一系列全新分类概念和推理路经的网络知识库，基于该知识库的机器推理系统，在作出诊断决策时所需事实量可大为减少，因此在信息量不足的情况下仍能具有很高的推理性能．

摘要:本文讨论了一种面向对象模型中同时支持按类查询和按复杂对象查询的新的对象物理聚集方法──综合法．该方法较常规聚集方法具有较佳的平均性能和最坏性能．

摘要:为避免ＢＰ算法本身易陷入局部极小值的缺陷，本文将具有新组合激活函数的ＢＰ法与传统的ＢＰ方法（标准和带动量项）分别与统计最优化方法相结合组成混合算法，将他们分别应用于天气预报和贷款之中，并进行了仿真比较，在预报准确率和学习速度方面获得了比较满意的结果．本模拟程序在Ｔｕｒｂｏ－Ｐａｓｃａ／６．０环境下编制，在ＩＢＭＰＣ３８６和４８６机器上调试通过并运行．