针对归纳逻辑程序设计中学习子句所遇到的较大搜索空间问题，提出子句模板的概念。

For the larger search space when learning clause in Inductive Logic Programming, we defined the clause template.

youdao

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

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.

youdao

在分析和比较现有的主题搜索算法的优缺点的基础上，归纳了提高搜索效率的几个关键因素。

Based on the analysis and comparison of the advantages and disadvantages of the existing topic search algorithms, the key factors of improving search efficiency are presented.

youdao