摘要
本文提出了将解释学习方法用于学习算法构架的思想,以提高软件自动化系统从功能规格说明转换到设计规格说明的能力.文中给出了算法构架的表示,操作性的定义及其处理方法.系统从用户给出的一个问题的解中学习算法构架,用于解决一类问题,系统的学习效果表现为通过学习能够解决原来不能解的问题.
This paper proposes the idea that explanation - based learning method be used to learn algorithm schemes, with the aim to enhance the ability to transform from functional specification to design specification of software automation system. It gives representation of algorithm schemes, definition of operational criterion and processing method in detail. System can use algorithm schemes learned to solve other problems, which is impossible without learning.
出处
《软件学报》
EI
CSCD
北大核心
1994年第5期1-7,共7页
Journal of Software
关键词
程序转换
解释学习
软件开发
Program transformation, specification, explanation-based learning.