English translation for "一阶语言"

first-order language

Related Translations:

阶:  名词1.(台阶) steps; stairs 短语和例子石阶 stone stairs; 台阶 a flight of steps2.(等级) rank 短语和例子军阶 military rank3.[医学] (耳蜗的三个螺旋管的任一个) scala 短语和例子中阶 scala media4.[数学] order 短语和例子非整数阶 non-integral order;

Example Sentences:

	1.	Through the intensional interpretation , first - order language gets more close to the semantics of natural language , and is truly neutral to all kinds of subject matter 比之于外延语义的解释，内涵语义的解释使一阶语言更接近于自然语言的语义，而且也使一阶逻辑对各种题材真正保持了逻辑的中立性。
	2.	The 7th and 8th asian logic conferences , world scientific , singapore , 2003 , pp . 409 - 422 . 9 li y , zhang c . information fusion and decision making for utility - based agents . in proc 首先，在一阶语言中，通过给每个原子都附加一个概率常量的方法来描述agent不确定信念，并随着agent周围环境的信息变化来更新其信念。
	3.	If frege and russell ' s first - order language is expanded to higher - order language , then it would not only be in accordance with quine ' s theory , but also can refrain from disputing over ontological problems about " existence " 如果将弗雷格、罗素的一阶语言扩展到高阶语言，则既能与蒯因的理论连贯一致，又能避免无谓的“存在”本体论纷争。
	4.	Abstract : the state space , search heuristics , and move generator in searching solutions to a given problem are characterized by first order language , which implies that the logical properties of a search algorithm are determined by its state space , that is , the logic describing the searching process has compactness and the class of initial states has finite close property 文摘:搜索算法的初始空间、搜索策略、搜索过程可以用一阶语言描述,搜索算法的逻辑性质由初始状态空间确定.这意味着描述搜索过程的逻辑具有紧致性,初始状态的初等类具有有限封闭性
	5.	Carnap ' s inductive logical system of the theory of probability confirmation is introduced in the second part of paper . firstly , some basical and important concepts are explained such as confirmation and degree of confirmation , probability1 and probability2 . in carnap ' s opinion , the difference between verifiability and confirmation is that verifiability means the hypothesis is finally proved to be true , but confirmation means it be true nowerdays . then carnap analyzed the distinction and relationship between probabilityi and probability2 他认为，证实是决定性地最后为真，而确证只是现阶段得到确定，并不保证以后也确定为真；继而分析了概率1与概率2两者之间的区别与联系；然后构建了一阶语言系统，并在其中定义了状态描述、结构描述、量程等重要概念与定理，以便使在考察归纳逻辑前提与结论时，能在该系统中根据确切的规则进行准确的分析。

Similar Words：

"一阶压差传声器" English translation, "一阶衍射光镜" English translation, "一阶因素分析" English translation, "一阶有限差" English translation, "一阶右置换性" English translation, "一阶原点矩" English translation, "一阶约化密度矩阵" English translation, "一阶约束品性" English translation, "一阶跃迁" English translation, "一阶匀滑" English translation