謂詞邏輯 的英文怎麼說

中文拼音 [wèicíluó]
謂詞邏輯 英文
first-order logic
  • 謂 : Ⅰ動詞1. （說） say 2. （稱呼; 叫做） call; name Ⅱ名詞1. （意義） meaning; sense 2. （姓氏） a surname
  • 詞 : 名詞1 （說話或詩歌、文章、戲劇中的語句） speech; statement; lines of play 2 （一種韻文形式 起於唐...
  • 邏 : Ⅰ動1. （巡察） patrol 2. [書面語] （遮攔） blockⅡ名詞1. （巡察） patrol 2. [書面語] （山溪的邊緣） edge
  • 輯 : Ⅰ動詞（編輯; 輯錄） collect; compile; edit Ⅱ名詞（整套書籍、資料的各個部分） part; volume; division
  • 邏輯 : logic
  1. The simple sentences in news titles have such patterns as subject - predicate structure, modifier - keyword structure, verb - object structure, parataxis structure, structure with consecutive predicates, appositive structure, and single - word structure. subject - predicate structure is the major one in simple sentence. the logical relations between clauses of main titles that are complex sentences, or between shoulder titles and main titles, or between main titles and subtitles are : parataxis, continuity, illustration, causality, transition, progression, purpose, hypothesis, condition, and so on

    新聞標題單句一般由主謂、偏正、動賓、並列、連謂、同位、獨詞等結構形式構成，其中主謂結構是新聞標題單句的主要結構形式;新聞標題復句中，主題復句各分句之間、引題與主題之間、主題與副題之間、引題與主題與副題之間存在著並列、順承、解說、因果、遞進、轉折、目的、條件、假設等邏輯關系。
  2. Intermixed with any number of boolean logic predicates,

    根據cfengine規則，字符集是混雜了任意數目布爾邏輯謂詞
  3. Part three the study of lattice - valued modal first - order logic system and its resolution principle in this part, we introduced quantifiers and predicate into lmp ( x ), put up lattice - valued modal first - order logic system lmf ( x ), and gave its semantic interpretation and syntax structure, proved soundness theorem and consistence theorem. moreover, in order to judge the satisfiability of formula, defined skolem standard type and h - interpretation. based on these work, made a primary discussion of a - resolution principle based on lmf ( x )

    第三部分：關于格值模態一階邏輯系統及其歸結原理的研究第n頁西南交通大學博士研究生學位論文這一部分主要是在格值模態命題邏輯系統lmp隊）中引進量詞和謂詞，建立格值模態一階邏輯系統lmf （廣並給出其語又解釋和語法結構，證明了系統的可靠性和協調性；另外，為了判斷公式的可滿足性，定義了格值模態一階公式的skolem標準型和體解釋；在此基礎上，對基於系統lmf （ ）的a一歸結原理進行了初步探討
  4. Abstract : for a precise dataflow analysis within the framework of the computation function model, the logical relationship of branch conditions is represented as the coverage relationship of regions. in this paper, the authors discuss how to represent, compute and propagate the region, region of the conditional reference. meanwhile, the methods of resolving the nondeterminism caused by conditional branch statements are also presented in order to get more precise dataflow information

    文摘:用計算函數模型進行精確的數據流分析，條件謂詞之間的邏輯關系被轉化為空間區域之間的覆蓋關系.該文討論在各種常見的程序構造下如何表示、計算和傳遞區域、區域，並在數據流分析過程中，利用區域、區域之間的覆蓋關系消除條件分支語句帶來的不確定性，以得到更精確的數據流信息
  5. Drs and the formula of first - order predicate logic

    與一階謂詞邏輯公式
  6. Theory of truth degree based on the finite interpretation and enumerable interpretation of fuzzy predicate logic formulas

    模糊謂詞邏輯公式的有限和可數解釋真度理論
  7. Theory of truth degree of first - order fuzzy predicate logics formulas based on the finite interpretation and enumerable interpretation and its application

    一階模糊謂詞邏輯公式的有限解釋真度和可數解釋真度的理論及其應用
  8. However, in search of the relevant data, the cost of generating additional tuples produced by logic program to which magic transformation is applied increases with the arity of idb ( intensional database ) predicates increasing

    但是隨著遞歸idb （ intensionaldatabase ）謂詞的項的個數增大，經魔集轉換的邏輯程序為尋找與查詢相關數據而產生附加元組的開銷也會增大。
  9. In this paper, the original extended relational model has been improved by adopting mfm in the research of incomplete information database

    本文將三值邏輯謂詞演算系統mf ~ m應用在不完全信息數據庫的研究中，對原有的擴充關系模型做了改進。
  10. On predicate logic ' s application in ai

    謂詞邏輯在人工智慧中的應用
  11. A model representation method based on first order predicate logic

    一種基於一階謂詞邏輯的模型表示方法
  12. Theory of quasi - truth degrees of formulas in two - valued predicate logic

    一類二值謂詞邏輯中公式的準真度理論
  13. I believe that it ' s very useful for computer science students who learning boolean algebra and predicate logic ( like my self )

    我相信對于學習布爾代數學和謂詞邏輯的計算機科學學生（像我自己這樣的）來說它是非常有用的。
  14. 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網推理。
  15. This program creates truth tables from boolean expressions. i believe that it ' s very useful for computer science students who learning boolean algebra and predicate logic ( like my self )

    這個程序從布爾表達式中創建真實的表格。我相信對于學習布爾代數學和謂詞邏輯的計算機科學學生（像我自己這樣的）來說它是非常有用的。
  16. Then discusses common knowledge representation method such as predicate logic, semantic network, production rule, frame etc. and probes into the application of predicate logic in epr system

    然後，較詳細地討論了謂詞邏輯、語義網路、產生式規則和框架等常用的知識表示方法，重點研究了謂詞邏輯知識表示技術在電子病歷系統中應用問題。
  17. 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模型（描述規則）來描述世界，演繹數據庫中主要採用一階謂詞邏輯表示。
  18. This dissertation is devoted to some key issues of semantic web and to kms ( knowledge management system ) in the context of semantic web. the author ' s contributions of presented in this thesis include : defining the ontology semantics for description primitives of logical formula and relational axioms markup languages are employed to describe the objects and resources in a web environment. in order to represent knowledge, logical formula, relational axioms and rules, there is a need for primitives specifying prepositional formula, predictive formula and horn clause, and relations between properties and relational axiomx

    本文對web語義化過程中部分關鍵問題和基於語義化web的kms進行了研究，主要的創新性工作包括：定義了邏輯公式及關系公理描述原語的ontology語義： web環境中用標記語言描述對象和資源，為了在語義化web上表示知識、邏輯公式、關系公理和規則，需要定義描述命題邏輯公式、謂詞邏輯公式、 horn邏輯的邏輯原語以及描述屬性之間關系的關系原語。
  19. This paper described the essential theory of expert system, and many kinds of knowledge expression, such as producing rule, semantic network frame, predicate logic, and knowledge expression in home. and it recommended many kinds of reasoning technology, such as positive chain, inverse chain, uncertainty reasoning. it depicted principle, essential character of com and realization of com

    本文介紹了專家系統的基本理論，和產生式、語義網路、框架、謂詞邏輯等多種知識表達方式以及國內所採用的農業知識表達方式，並描述了正向鏈、反向鏈、不確定性等多種推理技術，還闡述了com原理及其基本特性，以及com組件的實現。
  20. 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

    摘要用一階謂詞邏輯的工具證明，那種有兩方參與，根據規則在有限步內能確定勝負的游戲，從理論上說，存在必勝的方法。
分享友人
分享到 Line

分享到臉書