first-order predicate logic的意思|示意
[数] 一阶谓词逻辑
first-order predicate logic的网络常见释义
一阶谓词逻辑 ... 先进先出First in,first out(FIFO) 一阶谓词逻辑First-order predicate logic 固定格式语言Fixed-format language Flash ...
first-order predicate logic相关短语
1、 first order predicate logic 一阶谓词逻辑 ; 叙述逻辑
2、 distributed first-order predicate logic 分布一阶谓词逻辑
3、 First-order Fuzzy Predicate Logic 一阶模糊谓词逻辑
first-order predicate logic相关例句
Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed.
讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。
Predicate logic of first order is the most classical calculation system in modern logic.
一阶谓词逻辑是现代逻辑中最为经典的演算系统。
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.
文章用一阶谓词对该模型的访问控制约束规则进行了形式化描述，并讨论了该模型在业务流程管理系统中的实现方法。
In this knowledge base system model, we adopt both first order predicate logic (FOPL) and case knowledge representation modes to represent the knowledge.
在本知识库系统模型中，知识表示采用一阶谓词(SDSS)逻辑和案例两者相结合的方式。