1996, 7(6):321-330.
摘要:最近几年,在软件工程界内部有一种趋势,这就是开发以面向具体领域的CASE环境.作为这样的一种CASE工具,XYZ系统是由一时序逻辑语言XYZ/E和一组基于该语言的工具集构成.在XYZ系统中有很多的工具,它们被用来满足不同的需要.众所周知,SDL(specificationanddescriptionlanguage)是电信领域中的一个国际标准语言,而且有关基于该语言的环境已在开发,但是有关该语言的验证工作,特别是利用有关时序逻辑语言进行验证的工作还不多.作为一种尝试,本文将利用XYZ系统中的一个子系统XYZ/VERI,对SDL所描述的有关电信领域中的例子进行验证.
1996, 7(6):331-338.
摘要:计算机在电子印刷、广告、包装等领域应用的迅速发展迫切需要众多的不同风格的汉字字形.本文介绍一种使用Fourier级数描述汉字轮廓、对不同字形的风格进行复合以生成多种风格的字形的新方法,所提出的方法还可用于模仿手写体汉字.
1996, 7(6):339-344.
摘要:在现实世界里,AI系统难免受到噪声的影响.系统有效工作与否取决于它对噪声的敏感性如何.解释学习EBL(explanation-basedlearning)也不例外.本文探讨了在例子受到噪声影响的情况下,解释学习的处理问题,提出了一个算法NR-EBL(noise-resistantEBL).与现有的解释学习方法不同,NR-EBL在训练例子含有噪声时仍然可以学习,以掌握实际的问题分布;和类似的工作不同,NR-EBL指出了正确识别概念对于噪声规律的依赖性,试图从训练例子集合发现和掌握噪声的规律.可以相信,在识别概念时,借助于对噪声规律的认识,NR-EBL可比EBL和类似工作有更高的识别率.NR-EBL是解释学习和统计模式识别思想的结合.它把现有的解释学习模型推广到例子含有噪声的情形,原来的EBL算法只是它的特例.
1996, 7(6):354-359.
摘要:基于代数和递归函数理论,本文定义了代数递归谓词.代数递归谓词是一类广泛的谓词.基于数学归纳法,作者给出了证明代数递归谓词永真性的反向归约方法及相应的算法Reduction.由于采用反向归约方式来完成定理证明,从根本上消除了正向组合式定理证明所产生的组合爆炸,因而极大地提高了定理证明的效率.
1996, 7(6):360-363.
摘要:本文在一些相当直观的条件下建立了Institution中合并理论与各因子理论的初始(终结)语义之间的对应关系.
1996, 7(6):364-370.
摘要:为了支持在事实不完全或不充分环境中的有效推理,作者提出了一种归纳机器学习方法,并设计了一个规则向量投影算法,使用木文介绍的算法可对原始知识实行归纳,生成含一系列全新分类概念和推理路经的网络知识库,基于该知识库的机器推理系统,在作出诊断决策时所需事实量可大为减少,因此在信息量不足的情况下仍能具有很高的推理性能.
1996, 7(6):371-378.
摘要:本文讨论了一种面向对象模型中同时支持按类查询和按复杂对象查询的新的对象物理聚集方法──综合法.该方法较常规聚集方法具有较佳的平均性能和最坏性能.
1996, 7(6):379-384.
摘要:为避免BP算法本身易陷入局部极小值的缺陷,本文将具有新组合激活函数的BP法与传统的BP方法(标准和带动量项)分别与统计最优化方法相结合组成混合算法,将他们分别应用于天气预报和贷款之中,并进行了仿真比较,在预报准确率和学习速度方面获得了比较满意的结果.本模拟程序在Turbo-Pasca/6.0环境下编制,在IBMPC386和486机器上调试通过并运行.