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

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

youdao

本文提出了一种从正负例和背景知识学习含有约束原子的一阶谓词公式的归纳逻辑程序设计方法。

In the field of Machine Learning, this thesis is presents new method to learn constraint atoms from positive and negative examples in first-order predicate, based on developed ILP system.

youdao

数学是逻辑程序与归纳程序的辩证统一。

Mathematics is a dialectical unity of logic and inductive procedures.

youdao