本文提出了一种从正负例和背景知识学习含有约束原子的一阶谓词公式的归纳逻辑程序设计方法。
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.
您传递一个用作谓词的公式，检查它是否是一个有效的元素规则。
You pass a formula used as a predicate to see if it is a valid rule for the element.
换句话说，就是通过引入相应的谓词，将二元关系的性质用逻辑公式来表示。
In other words properties of binary relation are expressed by logic formulae through introduce corresponding predicate.
一个谓词名，后跟以括在圆括号中的一个变元表，称为原子公式。
A predicate name, followed by an argument list in parentheses, is called an atomic formula.
一个合法的谓词演算表达式，即谓词演算语法所允许的公式。
A legitimate expression of the predicate calculus. That is, it is acceptable under the predicate calculus' syntax.
一个合法的谓词演算表达式，即谓词演算语法所允许的公式。
A legitimate expression of the predicate calculus. That is, it is acceptable under the predicate calculus' syntax.
应用推荐