... 先进先出First in,first out(FIFO) 一阶谓词逻辑First-order predicate logic 固定格式语言Fixed-format language Flash ...
基于16个网页-相关网页
first order predicate logic [数] 一阶谓词逻辑 ; 叙述逻辑
distributed first-order predicate logic 分布一阶谓词逻辑
First-order Fuzzy Predicate Logic 一阶模糊谓词逻辑
Description Logic(DL) is a two-variable fragment of first-order predicate logic, defining a family of logic languages, offering a classification task based on the subconcept-superconcept relationship.
描述逻辑作为一阶谓词逻辑的子集,定义了一系列逻辑语言,并提供了基于子概念-超概念关系的分类任务。
参考来源 - 基于描述逻辑的数据仓库系统元数据一致性问题的研究·2,447,543篇论文数据,部分数据来源于NoteExpress
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.
文章用一阶谓词对该模型的访问控制约束规则进行了形式化描述,并讨论了该模型在业务流程管理系统中的实现方法。
应用推荐