本文讨论了程序设计方法学中谓词变换函数WP的性质。
The paper discusses the properties of the predicate transformer WP in the programming methodology.
本文提出了一种从正负例和背景知识学习含有约束原子的一阶谓词公式的归纳逻辑程序设计方法。
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.
应用推荐