First-order rule mining technique based on first-order logic is often called as Inductive Logic Programming (ILP).
基于一阶逻辑的一阶规则挖掘技术常被称作归纳逻辑程序设计(ILP)。
参考来源 - 遗传归纳逻辑程序设计技术研究·2,447,543篇论文数据，部分数据来源于NoteExpress
按照挖掘段概念，开发持续挖掘过程模型，用于归纳局部一阶规则与推导高阶规则。
According to the notion of session mining, a continuous data mining process model is developed for inducing the local first-order rules and inferring higher order rules.
使用高斯函数的一阶导数作为基本小波，对曲线的方向角函数进行多尺度小波分析得到候选点集，提出了四个筛选规则对候选点集进行逐步筛选得到正确角点集。
Firstly, using the first order derivative of Gaussian function as the base wavelet, the direction Angle function of a planar curve was analyzed on multiple scales to obtain the candidates of corners.
文章用一阶谓词对该模型的访问控制约束规则进行了形式化描述，并讨论了该模型在业务流程管理系统中的实现方法。
The access control rule of the ACBAC model is formalized by the first order predicate logic. The realization method of the model in business process management systems is also discussed.
应用推荐