... 工厂信息协议FIP (factory information protocol) 一阶谓词逻辑first order predicate logic 固定顺序机械手fixed sequence manipulator ...
基于23个网页-相关网页
2010/8/30 56 第一层叙述逻辑(First Order Predicate Logic) 利用叙述函式来表达整个叙述运算式，确实利用参 数的概念，来表示叙述逻辑 所谓第一层是因为在整个第一层叙述逻辑的叙述函...
基于8个网页-相关网页
first-order predicate logic 一阶谓词逻辑
distributed first-order predicate logic 分布一阶谓词逻辑
First-order Fuzzy Predicate Logic 一阶模糊谓词逻辑
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.
文章用一阶谓词对该模型的访问控制约束规则进行了形式化描述，并讨论了该模型在业务流程管理系统中的实现方法。
Predicate logic of first order is the most classical calculation system in modern logic.
一阶谓词逻辑是现代逻辑中最为经典的演算系统。
应用推荐