针对归纳逻辑程序设计中学习子句所遇到的较大搜索空间问题，提出子句模板的概念。
For the larger search space when learning clause in Inductive Logic Programming, we defined the clause template.
本文提出了一种从正负例和背景知识学习含有约束原子的一阶谓词公式的归纳逻辑程序设计方法。
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.
数学是逻辑程序与归纳程序的辩证统一。
Mathematics is a dialectical unity of logic and inductive procedures.
书面呈现的是演绎的逻辑程序，而实际的心理过程却是归纳的探究程序。
Its written forms are logic procedures, and its practical mental processes are inductive procedures of inquiring.
书面呈现的是演绎的逻辑程序，而实际的心理过程却是归纳的探究程序。
Its written forms are logic procedures, and its practical mental processes are inductive procedures of inquiring.
应用推荐