软件自动化中类比推理技术的研究

此项研究的主要结果是①我们提出了一个类比程序设计的理论体系，它结合了形式化软件开发方法和比推理的特点，具有形式化程度高、程序正确性易干保证、适用面广等特点。②我们提出了高阶一般化在类比推理中的重要作用，并深入研究了这一问题，给出了适用于一类问题的多项式算法。另外，指出了归纳推理在类比程序设计中的作用。③指出了程序推导的形式代表示的重要性，并设计了一种程序推导表示语言，提供了机器支持。④进行了大量认知实验，得出了进行类比需求获取的一些规律。⑤构造了类比程序推导的实验性系统。