You pass a formula used as a predicate to see if it is a valid rule for the element.
您传递一个用作谓词的公式，检查它是否是一个有效的元素规则。
Additionally, DB2 requires that you follow a basic syntax rule in order to detect the potential application of a spatial predicate.
此外，DB 2要求遵从基本的语法规则，以检测潜在的对空间谓词的使用。
At last predicate logic is combined with production KR, as which a method to describe the reasoning rule in the knowledge base.
最后采用谓词逻辑和产生式表示法相结合的方法作为知识库中的推理规则描述方法。
At last predicate logic is combined with production KR, as which a method to describe the warning rule in the knowledge base.
最后用谓词逻辑和产生式表示法相结合作为知识库中预警规则的描述方法。
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.
文章用一阶谓词对该模型的访问控制约束规则进行了形式化描述，并讨论了该模型在业务流程管理系统中的实现方法。
Whether the classical predicate logic systems with the primitive rule of universal generalization have the strong semantic soundness depends on the restriction of the rule.
将全称概括规则作为初始规则的系统是否限制对该规则的使用可导致系统相对于通常的语义解释是否具有强可靠性。
Whether the classical predicate logic systems with the primitive rule of universal generalization have the strong semantic soundness depends on the restriction of the rule.
将全称概括规则作为初始规则的系统是否限制对该规则的使用可导致系统相对于通常的语义解释是否具有强可靠性。
应用推荐