| 摘要: |
| 本文提出了将解释学习方法用于学习算法构架的思想，以提高软件自动化系统从功能规格说明转换到设计规格说明的能力．文中给出了算法构架的表示，操作性的定义及其处理方法．系统从用户给出的一个问题的解中学习算法构架，用于解决一类问题，系统的学习效果表现为通过学习能够解决原来不能解的问题． |
| 关键词: 程序转换，规格说明，解释学习 |
| DOI： |
| 分类号: |
| 基金项目: |
|
| EXPLANATION-BASED ALGORITHM SCHEME LEARNING |
|
Fei Zongming;,Zhang Jiazhong,Xu Jiafu
|
| Abstract: |
| 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. |
| Key words: Program transformation, specification, explanation-based learning. |
