English translation for "一阶谓词逻辑"

first order predicate logic
first-order logic
first-order predicate logic

Related Translations:

谓词:  [语言学] predicate◇谓词变项 predicate variable; 谓词逻辑 predicate logic; 谓词演算 predicate calculus

谓词交:  predicate intersection model

谓词符号:  predicate symbol

输入谓词:  input predicate

程序谓词:  program predicate

篇章谓词:  discourse predicate

模拟谓词:  simulated predicate

输出谓词:  outer predicate

数谓词:  numerical predicatenumerical readout

假谓词:  false predicate

Example Sentences:

	1.	Drs and the formula of first - order predicate logic 与一阶谓词逻辑公式
	2.	A model representation method based on first order predicate logic 一种基于一阶谓词逻辑的模型表示方法
	3.	Based on the principle of resolution refutation in fl , the inferring process of first order predication logic ( fopl ) is performed and sn inference based on pn is implemented 根据形式逻辑的归结反演原理，本文给出了一阶谓词逻辑的petri网推理的方法，实现了语义网络的petri网推理。
	4.	With the tool of first order predicate logic , this paper demonstrates that there theoretically exists a winning strategy for games which have two players and end after a fixed number moves to get one ' s win and the other ' s loss 摘要用一阶谓词逻辑的工具证明，那种有两方参与，根据规则在有限步内能确定胜负的游戏，从理论上说，存在必胜的方法。
	5.	Deductive database is introduction to knowledge and inferring mechnism in artificial intelligece in traditional database . studying it needs very strict theory model as background . relation model and datalog model can describe world 演绎数据库是人工智能中的知识及其推理机制在传统数据库中的引入，对它的研究需要有非常严谨的理论模型为背景，它用关系模型(描述事实)和datalog模型(描述规则)来描述世界，演绎数据库中主要采用一阶谓词逻辑表示。

Similar Words：

"一阶统计矩" English translation, "一阶微分方程" English translation, "一阶微分环节" English translation, "一阶微分灵敏度" English translation, "一阶谓词" English translation, "一阶谓词演算" English translation, "一阶无差系统" English translation, "一阶系统" English translation, "一阶系统的过渡函数" English translation, "一阶线性常微分方程" English translation