In this knowledge base system model, we adopt both first order predicate logic (FOPL) and case knowledge representation modes to represent the knowledge.
在本知识库系统模型中，知识表示采用一阶谓词(SDSS)逻辑和案例两者相结合的方式。
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.
文章用一阶谓词对该模型的访问控制约束规则进行了形式化描述，并讨论了该模型在业务流程管理系统中的实现方法。
Informally, XQuery is designed to be able to construct any XML document that can be computed from input XML documents using the power of the first-order predicate calculus.
XQuery被非正式地设计为可以构造XML文档，而这些XML文档是通过对输入的XML文档进行一阶谓词演算得出的。
This kind of assertion seems to require special language extensions and has led people to suggest introducing first-order predicate calculus.
这种情况下的断言似乎就需要实现特定的语言扩展，于是一些人建议引入一阶谓词演算。
Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed.
讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。
Two graphical methods used in first-order predicate logical reasoning, that is goal-guiding graphical reasoning method and transition frame graphical reasoning method, are presented.
提出了两种用于一阶谓词逻辑推理的图形方法：目标制导的图形推理法和变迁框图形推理法。
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.
本文提出了一种从正负例和背景知识学习含有约束原子的一阶谓词公式的归纳逻辑程序设计方法。
Predicate logic of first order is the most classical calculation system in modern logic.
一阶谓词逻辑是现代逻辑中最为经典的演算系统。
In order to use this technique, the SQL must provide a predicate on the first key column of the partitioning index.
为了使用这种技术，SQL必须提供分区索引的第一个键列上的一个谓词。
In order to use this technique, the SQL must provide a predicate on the first key column of the partitioning index.
为了使用这种技术，SQL必须提供分区索引的第一个键列上的一个谓词。
应用推荐