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 ..
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.
讨论了三种时间逻辑方法:一阶谓词演算,模态逻辑及具体化逻辑。
相关单词
- purchasingn. 购买,采购 adj. 购买的,采购的 v. <正式>购买,采购;<古>(努力或艰难地)获得,得到;(航海)(用滑轮或杠杆)升起,举起(绳,索,锚)(purchase 的现在分词)
- purchasern. 买方;购买者
- publishingn. 出版;出版业 adj. 出版的;出版业的 v. 出版;发行(publish 的现在分词形式);发表
- publishern. 出版者,出版商;发行人
- psycology
- protractorn. 伸肌;分度器;伤处异物摘出器
- protectionismn. 保护主义,贸易保护主义;贸易保护制度
- proletariatn. 无产阶级,工人阶级;最下层阶级
- proletariann. 无产阶级分子;无产者 adj. 无产阶级的;无产者的
- programmern. (计)程序设计员;编程器
- producingv. (用部件或原材料)生产;出产;生育;创作;引起;出示;制作(电影、戏剧等);监制(音乐磁带);(使)线段延长(produce 的现在分词)
- prizegivingn. 分配奖品
- private sector私营单位
- printingn. 印刷(术);(书的)一次印刷;印刷字体 v. 打印,印刷;(在报纸、杂志上)刊印,刊登;洗印,冲洗(照片)(print 的现在分词形式)
- playwrightn. 剧作家