First Order Predicate Calculus的意思|示意

美 / / 英 / /

一阶谓词演算

First Order Predicate Calculus的网络常见释义

一阶谓词逻辑 1.4 企业生产管理过程建模的关键技术 (1) 一阶谓词逻辑(First Order Predicate Calculus)：谓词逻辑是一种表达力很强的形式语言，谓词逻辑及其推理方法是人工智能中的知识表示、机器推理、定理证明的基本方法。

一阶谓词演算一阶谓词演算(First order predicate calculus, FOPC)是形式化语言的一个例子,广泛用于信息系统的描述。第五章回顾了代数和分类,这些看上去更适合表达.

第一阶述词演算一阶述词 first order predicate 第一阶述词演算 first order predicate calculus，FOPC 一阶述词逻辑 first order predicate logic ..

翻译 ... fall to sb's share翻译由某人承担, 归某人享有 first order predicate calculus翻译【计】一阶谓词演算 furunculus orientalis翻译【医】东方疖, 皮肤利什曼病 ...

First Order Predicate Calculus相关短语

1、 first-order predicate calculus 翻译

2、 first-order temporal predicate calculus 一阶时序谓词演算

First Order Predicate Calculus相关例句

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.

讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。