全部

1·With the inductive program synthesis system NDIPS, this paper presents its synthesis algorithm, the organization of its hypothesis space and the search strategies it adopted.

本文以归纳程序综合系统NDIPS为背景，介绍自顶向下的归纳程序综合算法，以及程序假设空间的组织、搜索所采用的技术和策略。

2·Actually: every kind of science is based on inductive logic, in order to calculate, science puts forward hypothesis, forms specific theory to deduct, and then verify it.

事实上：世界上任何一种科学，都是从归纳逻辑出发，提出假设，形成一定的“理论”，进行演绎逻辑，从而产生预测，之后再进行验证。