方言推理 的英文怎麼說

中文拼音 [fāngyántuīlǐ]
方言推理 英文
dialectical inference
  • 方 : Ⅰ名詞1 （方形; 方體） square 2 [數學] （乘方） involution; power 3 （方向） direction 4 （方面） ...
  • 言 : Ⅰ名詞1. （話） speech; word 2. （漢語的一個字） character; word 3. （姓氏） a surname Ⅱ動詞（說） say; talk; speak
  • 推 : 動詞1 （向外用力使物體移動） push; shove 2 （磨或碾） turn a mill or grindstone; grind 3 （剪或削...
  • 理 : Ⅰ名詞1 （物質組織的條紋） texture; grain （in wood skin etc ） 2 （道理;事理） reason; logic; tru...
  • 方言 : dialect; localism
  • 推理 : [邏輯學] inference; ratiocination; illation; reasoning; ratiocinate
  1. A fairly perfect approach to reading is expected to get the involvement of better understanding of words for both denotative and connotative meanings, inferential comprehension as well as appreciation, in which various trainings of strategies and techniques are required, and simultaneously the great challenges to teachers have to be taken

    文章指出，根據語言學理論，完整的閱讀理解教學應包括字面理解、推理性理解、評價和欣賞能力的培養，而每一種能力的培養，又包含多種閱讀策略和方法的訓練，因此，這一教學思路也同時對英語教師提出了更高的要求。
  2. Verbal - communication is an ostensive course of recognition - deduction, it needs the two communicative sides can make the common recognition and deduction to the real environment or the hypothesis in psychology

    摘要言語交際是一個認知推理的互明過程，它要求交際雙方對認知環境的事實或假設在心理上能作出共同的認知和推理。
  3. An approach to xml problem solving by means of resolution principle is presented. the subsumption and request of problem is formalized by xdd and the problem is evaluated by employment of resolution principle. an intelligent decision support system based on xml is presented

    主要內容包括：建立了基於xml的公理系統；給出了假言推理在xdd中的應用形式；論證了假言推理在xdd中有效性和完備性；給出了應用證明論方法實現xml問題求解的方法和步驟。
  4. In a unique manner it has been sung in many ways by various sages, by the vedic hymns, by various aphorisms of vedanta with its sound logic and reasoning and by conclusive evidence

    以其獨特的風格，在《呋陀》聖歌里，在以音律形式的邏輯推理，而得出結論性根據的各種《呋檀多》的格言里，它被各種各樣的聖賢們以各種方式所歌唱。
  5. Based on the production of other researchers such as professor xu yang and professor qin keyun, this paper discusses the structure and properties of lattice implication algebra, tautologies in some lattice - valued systems, automated reasoning methods, lattice - valued prepositional logic system

    本文的工作是在徐揚教授、秦克雲教授等研究成果的基礎上，對格蘊涵代數的性質、結構、格值命題邏輯系統中的重言式、自動推理方法、格值命題邏輯系統等進行了一些研究。
  6. Combining with knowledge representation and automatic reasoning principle of ai and generic paradigm, the system has these main functions : ? it is able to show different solutions of typical example ; ( 2 ) it can automatically generate problems similar to the example for students to solve by providing them with clues ; ( 3 ) these problems can be studied by demonstrating the complete solution process and answers with the help of automated reasoning, or by providing real - time prompts to students concurrent with the students " solution processes with the help of automated reasoning ; ? it provides exercises and is able to call a program produced by the group ( the translator ), which transfers apla programs to executable programs so as to verify its correctness ; ( 5 ) it let teacher to add examples in the database ; etc. hi the course of systematic research, we deeply investigated the relevant knowledge of the system and made some innovation : about teaching content, we select par method as the main content

    本系統選用薛錦雲教授的par方法為主要教學內容，應用人工智慧的知識表示和自動推理原理及泛型思想，使得系統具有以下核心功能：展示幾種典型例題的解；以泛型思想為指導，實現了無限題庫，可以自動生成與典型例題類似的問題給學生求解並給予提示；對于這些題目，計算機可以自動推理出由問題到程序的全過程供學生學習；也可通過自動推理根據用戶的實際做題情況實時給出提示，互動式地幫助學生學習演算法程序設計；學生可以從問題庫中獲得練習，並調用轉換器，將自己的apla程序轉化為可執行語言程序，運行以檢驗其正確性；對教師而言，可以對已有的實例庫、問題庫進行添加操作等。在系統的研製過程中，我們深入研究了系統的各方面相關知識，並進行了多方面的創新：在教學內容方面，首次選用par方法為主要內容。
  7. After the users input control tasks in three modes : natural language, electric sheet or flow char, the computer will receive the information of control demands by data mining and knowledge discovery. and then illation is leaded to select the hardware and program the software in the inner of the computer. afterward, control program is transformed in the file format of exiting simulation software by using the simulation interface and is opened in the simulation software

    用戶只需在pc機上以自然語言或繪制控制流程圖、填寫表格的方式輸入控制任務，然後在系統內部經過數據挖掘和知識發現分析得到可用控制要求信息，並自動引導推理求解過程進行硬體選型和生成相應的控製程序，最後利用模擬介面，自動將控製程序轉化為現有的控制模擬軟體的文件格式，並在控制模擬軟體中，從而用戶可以對生成的控制系統進行模擬，檢查設計的正確性。
  8. At last, this thesis figures out an event - based method of air threat assessment through the definitions of the events, the modeling accompanied with xml description of the model, the introduction of the functional architecture model of event correlation, the type of event correlation and the expressions of the theory of this technique, the event deleting and contracting on the data facet, the correlation between the events in causality by bayesian network and the probability reasoning, exemplifying and calculating of bayesian network employed in the construction of threat assessment model of air battle

    最後提出了一種基於事件的空戰威脅估計方法。對事件進行了定義、建模並用xml語言進行了數據描述;介紹了事件關聯功能結構模型;介紹了事件關聯類型及知識表達方式，從數據層進行了事件清理和壓縮，使用貝葉斯網路對因果事件進行關聯，建立了空戰威脅估計貝葉斯網模型、進行了貝葉斯概率推理及算例分析。
  9. Based on the study of software testing and expert system core technologies ( inference method and mechanism, explanation mechanism, knowledge acquirement, and knowledge representation ), the author developed the software exception analysis of expert system using visual prolog

    作者在研究軟體測試以及專家系統核心技術（推理方法與推理機制、解釋機制、知識獲取和知識表示等）的基礎上，採用visualprolog語言，完成了軟體錯誤分析專家系統的具體開發。
  10. The content of this paper is arranged as foll owing : chapter 1 introduces the concept of credit, credit risk and credit assessment, as well as the history and development of credit assessment ; chapter 2 introduces the history of ai technology, and the background of expert system and neural network. characters and disadvantages of expert system and neural network are presented respectively and the necessity of combining expert system and neural network is lightened ; chapter 3 shows the process of dealing with sample data, including the treatment of exceptional data and factor analysis, and puts forward the concrete framework of the mixed - expert credit assessment system ; chapter 4 introduces concept of object - oriented technology, and constructs object model and functional model after analyzing the whole system. it also illustrates the implementation of concrete classes by an example of rule class and the inference algorithm in the form of pseudocode ; chapter 5 introduces the structure of the whole system, the major functional models and their interfaces, and the characteristic of the system is also generalized ; chapter 6 summarizes the whole work, and points out the remaining deficiencies as well as the prospective of this method

    本文具體內容安排如下：第一章介紹了信用、信用風險、信用評價的概念，回顧了信用評價的歷史、發展和現狀，並綜合各種信用評價模型，指出這些模型各自的優缺點：第二章簡單描述了人工智慧技術，著重介紹有關專家系統與神經網路的基礎知識，通過總結它們的優缺點，指出結合專家系統與神經網路構造混合型專家系統的必要性；本章還介紹了神經網路子模塊的概念，提出了混合型專家系統的一般框架與設計步驟：第三章對樣本數據進行處理，包括異常數據的剔除、因子分析等，提出了信用評價混合型專家系統的具體框架結構，介紹了系統知識庫的主要部分、基於優先級的正向推理機制的流程、以及基於事實的自動解釋機制的具體實現方法；第四章介紹了面向對象技術，進而採用面向對象對信用評價系統進行分析，建立了對象模型和功能模型，並在此基礎上，採用c + +語言以規則類為例說明系統中具體類的實現，用偽代碼的形式描述了推理的演算法；第五章描述了整個系統的結構，對系統主要功能模塊和界面進行了介紹，並總結系統的特點；第六章總結了全文，指出本文所構造系統存在的不足以及對將來的展望。
  11. By the browser / web server / database structure and the technology of asp. net and xml, we achieve the expert system running on the network, extend the application and ensure its backward compatibility ; we have the deep research to the representation of knowledge and apply it to the system, extend the traditional method of rule based knowledge representation ; introduce the fuzzy sets, analyze the generalized possibility interval sets, and combine the linguistic variables and fuzzy sets ; the system adopts the forward and backward chaining, researches the reasoning under uncertainty and inexact reasoning ; and we depart knowledge base and inference engine, make the upgrade simple and maintenance convenient. in the last, we construct the potato produce manage system according to the phases of potato ' s growth to give a detailed instruct to its produc e

    Net和xml技術，實現了網路化的專家系統，同時擴大了專家系統的應用范圍，提高了系統的後向兼容性；對專家系統中的知識表示技術作了深入探討，在傳統的基於規則的知識表示方法的基礎上，提出了基於規則擴展的知識表示方法，並較好地將其應用到本系統中；引入了模糊集合，分析並推導了廣義可能區間集，將其應用於模糊知識的表示，將語言變量和模糊集合結合起來；提出對系統採用互動式知識獲取途徑、雙向推理控制策略，對不精確推理和不確定性推理的傳播演算法作了一定的研究，成功地將其應用到馬鈴薯專家系統的構建之中；採用知識庫和推理機相分離的方法，使得系統升級簡單易行。
  12. The principle of the neural network models is different from that of the real - time running models. the latter is designed on the engine running, so the effect of the control strategy on engine performance can be observed clearly. while the former works out the solution directly from the testing data, avoiding the complex calculation procedure

    神經網路模型與實時運轉模型的構成原理不同，實時模型以發動機運轉機理為設計依據，使于充分觀測控制策略對發動機各種性能指標的影響；而神經網路模型是根據己有的試驗數據進行直接推理，可避免大量的簡化、推導、求解過程，對于諸多機理繁復的發動機變量而言是一極佳的求解方案，因此就更全面的進行電控系統的調試評估考慮，兩種模型有著良好的互補性。
  13. This paper introduces first - order predicate calculus and assertion method from precondition to postcondition into the research of refactoring. and a logic deduction system is put forward in this paper : refactoring reliability deduction system

    引入了一階謂詞演算和前後斷言方法，並且自定義了一個重構可靠性證明的邏輯推理系統：重構可靠性推演系統。
  14. According to grice, speaker ' s meaning need not be code - related and can be inferred through processes which are not the ordinary encoding and decoding processes. the special kinds of processes are the processes of following " the cooperative principle ". four kinds of maxim are included in the principle : the quality maxim, the quantity maxim, the manner maxim and the relevance maxim

    這種言外之意不與語碼相聯系，它不需要通過一般的編碼和解碼過程獲得，聽話者無法直接從講話者的言語中得出他的真正意圖，只有依靠推理的過程來理解，這種推理過程應遵循『合作原則』 ，格賴斯用四個準則來說明合作原則，即量的準則，質的準則， 0哈爾濱工程大學碩士學位論文一關系準則和方式準則。
  15. It includes 3d semantic space and constraining based problem - solving method. the 3d semantic space is built to represent the relationship between the describing semantic word and product color. then, the product color schemes with related abstract sense words is achieved and saved in database

    首先採用定性和定量相結合的方法，比較各抽象語義詞匯對人心理感覺影響的差異，建立了抽象語言和色彩關聯的三維風格語義空間，為色彩信息的表示及推理奠定了基礎。
  16. With c + + language, iods is composed of traditional optimization methods, knowledge base, inference machine, knowledge acquisition and graphic user interface ( gui ) in windows 2000. this integrated synthesis system performs the intelligentized optimization design for asrv, including the following items : production deduction strategy, knowledge handling technology, traditional optimization methods, evolutionary algorithms and the object - oriented strategy

    此系統利用c + +語言在windows2000環境下編制而成，由優化演算法庫、知識庫、推理機制、知識錄入和圖形用戶界面等幾部分構成；該系統將產生式推理技術、知識處理技術、基於數學規劃的優化演算法、現代優化演算法以及面向對象程序設計方法綜合成一個有機的整體，形成了一個針對再入飛行器氣動布局優化設計的智能優化設計平臺。
  17. An especial mode has been adopted to realize this system, which is different from the conventional mode of realizing expert system. it includes the two aspects : one is using modern database technology to organizing the repository of ipdaes and other aiding databases in order to realize sharing data ; the other is using advanced programming language with the character of object - oriented to realize the inference engine of ipdaes, which absorbs the heuristic merits of windows " helping systems to make the reasoning process easily understood by the means of including the explaining module into the inference engine

    系統採用了與傳統專家系統實現不同的方式：以數據庫的形式實現知識庫，將知識庫與其他輔助數據庫融合在一起，方便數據共享和傳遞；面向對象高級語言與數據庫管理系統相結合以實現推理機制，借鑒windows標準幫助系統啟發式幫助用戶一步一步地尋找故障原因的優點，將解釋功能蘊含于推理求解的過程中，使之趨於人性化，推理過程更清晰，更易理解和使用。
  18. On one hand, children ' s parole comprehension and expression are developed greatly, on the other hand, the transformation of language activity form makes up for the inadequacy of teachers and special skills, hence motivating the course offering ' s diversity and localization

    一方面，兒童的言語理解與表達能力得到發展；另一方面，語言活動形式的轉變彌補了學前班師資力量和專業技能的不足，推動學前班課程設置的多樣化和本土化及教學模式的轉變。
  19. In order to reduce the programming complexity of practical fuzzy control systems, two matlab application program interface ways to capitalize on the resources of matlab and its fuzzy logic toolbox in c programming environment is discussed. one is the maw engine function library, by which c language starts a matlab course running in the background. another is the stand - alone c - code fuzzy inference engine, by which c language establlshes a fuzzy inference system completely based on the c. both of these can reduce the programming loads of practical fuzzy control system obviously

    在模糊控制軟體開發平臺研究方面，為減小實際模糊控制系統的編程復雜性，探討了在c語言中調用matlab及其模糊邏輯工具箱資源的兩種matlab應用程序介面方法：一個是利用matlab引擎函數庫，由c語言啟動一個matlab進程在後臺運行；另一個是利用模糊邏輯工具箱中的獨立c代碼模糊推理引擎，建立完全基於c語言的模糊推理系統。
  20. 16 parsons s, giorigini p. an approach to using degrees of belief in bdi agents. information, uncertainty and fusion, kluwer academic publisher, 2000, pp. 81 - 92. 17 parsons s, sierra c, jennings n r. agents that reason and negotiate by arguing

    本文的工作，一方面把我們以前的概率邏輯程序語言擴展到了面向agent的情況進一步的，這種邏輯語言也擴展了hindriks等人的工作，即把面向agent的邏輯程序語言擴展到了面向不確定agent的情況，實現了對于不確定信息的動態的描述和推理。
分享友人
分享到 Line

分享到臉書