... 先进先出First in,first out(FIFO) 一阶谓词逻辑First-order predicate logic 固定格式语言Fixed-format language Flash ...
基于32个网页-相关网页
1.4 企业生产管理过程建模的关键技术 (1) 一阶谓词逻辑(First Order Predicate Calculus)： 谓词逻辑是一种表达力很强的形式语言，谓词逻辑及其推理方法是人工智能中 的知识表示、机器推理、定理证明的基本方法。
基于16个网页-相关网页
... predicate language 谓词语言 predicate logic of first order 一阶谓词逻辑 predicate logic of higher order 高阶谓词逻辑 ...
基于6个网页-相关网页
用谓词逻辑来表达语义由来已久，目前用于表达自然语言语义的符号逻辑，多 为一阶谓词逻辑（FOPL）12］o由于一阶谓词逻辑是一种形式语言，其根本目的在 于把数学中的逻辑论证符号化。
基于3个网页-相关网页
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.
描述逻辑作为一阶谓词逻辑的子集,定义了一系列逻辑语言,并提供了基于子概念-超概念关系的分类任务。
参考来源 - 基于描述逻辑的数据仓库系统元数据一致性问题的研究Predicate logic of first order is the most classical calculation system in modern logic.
一阶谓词逻辑是现代逻辑中最为经典的演算系统。
参考来源 - 一阶谓词逻辑在人工智能中的应用·2,447,543篇论文数据，部分数据来源于NoteExpress
一阶谓词逻辑是现代逻辑中最为经典的演算系统。
Predicate logic of first order is the most classical calculation system in modern logic.
描述逻辑是一阶谓词逻辑的可判定子集，具备强大的知识表示和推理功能。
Description Logics (DLs) is a decidable subset of first-order predication logic which possesses powerful function of knowledge expressing and reasoning.
提出了两种用于一阶谓词逻辑推理的图形方法：目标制导的图形推理法和变迁框图形推理法。
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.
应用推荐