一阶语言 meaning in English
first-order language
Examples
- 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
比之于外延语义的解释，内涵语义的解释使一阶语言更接近于自然语言的语义，而且也使一阶逻辑对各种题材真正保持了逻辑的中立性。 - 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周围环境的信息变化来更新其信念。 - 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 "
如果将弗雷格、罗素的一阶语言扩展到高阶语言，则既能与蒯因的理论连贯一致，又能避免无谓的“存在”本体论纷争。 - 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
文摘:搜索算法的初始空间、搜索策略、搜索过程可以用一阶语言描述,搜索算法的逻辑性质由初始状态空间确定.这意味着描述搜索过程的逻辑具有紧致性,初始状态的初等类具有有限封闭性 - 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两者之间的区别与联系；然后构建了一阶语言系统，并在其中定义了状态描述、结构描述、量程等重要概念与定理，以便使在考察归纳逻辑前提与结论时，能在该系统中根据确切的规则进行准确的分析。