語用推理 的英文怎麼說
中文拼音 [yǔyòngtuīlǐ]
語用推理
英文
pragmatic inference- 語 : 語動詞[書面語] (告訴) tell; inform
- 用 : Ⅰ動詞1 (使用) use; employ; apply 2 (多用於否定: 需要) need 3 (敬辭: 吃; 喝) eat; drink Ⅱ名...
- 推 : 動詞1 (向外用力使物體移動) push; shove 2 (磨或碾) turn a mill or grindstone; grind 3 (剪或削...
- 理 : Ⅰ名詞1 (物質組織的條紋) texture; grain (in wood skin etc ) 2 (道理;事理) reason; logic; tru...
- 推理 : [邏輯學] inference; ratiocination; illation; reasoning; ratiocinate
-
There is plenty more such drivel, with other details of plot, scene and character being the subject of a farrago of bogus inference, forced taxonomy and lame puns
在這本書里還有更多這樣的胡言亂語,用其他情節、場景和人物的細節來作為偽造推理、強制分類和毫無說服力的雙關語的論據。Contribution of relevance theory to pragmatic inferential mechanism
論關聯理論對語用推理機制的發展Combining communication with cognitive linguistics, relevance theory argues that language communication is an ostensive - inferential process, where inference plays a vital role
對人類交際的關聯理論進行探討,並結合話語交際實踐,提出語言交際是一個明示推理過程,是必須依靠推理來進行的新的語用學觀念。Pragmatic principles, pragmatic inference and semantic change
語用推理和語義演變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方法為主要內容。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機上以自然語言或繪制控制流程圖、填寫表格的方式輸入控制任務,然後在系統內部經過數據挖掘和知識發現分析得到可用控制要求信息,並自動引導推理求解過程進行硬體選型和生成相應的控製程序,最後利用模擬介面,自動將控製程序轉化為現有的控制模擬軟體的文件格式,並在控制模擬軟體中,從而用戶可以對生成的控制系統進行模擬,檢查設計的正確性。This paper introduces a new methodology that uses - it knowledge structures, a specific form of kripke semantics for epistemic logic, to analyze communication protocols over hostile networks. the paper particularly focuses on automatic verification of authentication protocols. our approach is based on the actual definitions of a protocol, not on some difficult - to - establish justifications
認知邏輯的kripke語義已經被成功應用到通信協議的推理分析中例如,交替位協議alternating bit protocol的分析,及最近的對tcp的分析.因為信息交換本質上可以看成是個認知過程,用認知邏輯可以很方便地表達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語言進行了數據描述;介紹了事件關聯功能結構模型;介紹了事件關聯類型及知識表達方式,從數據層進行了事件清理和壓縮,使用貝葉斯網路對因果事件進行關聯,建立了空戰威脅估計貝葉斯網模型、進行了貝葉斯概率推理及算例分析。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語言,完成了軟體錯誤分析專家系統的具體開發。A cognitive analysis of bridging inference
架橋式語用推理的認知研究8 wang j, ju s, luo x. probabilistic logic programming with inheritance. in proc
這種概率邏輯程序語言可以實現不確定性下的信念更新,目標更新和不確定性實用推理。Discourse markers and pragmatic inferences
話語標記與語用推理Linguistic logic and pragmatic inference
語言邏輯與語用推理Pragmatic inference in english listening comprehension
英語聽力理解中的語用推理On conventional context elements in cognitive pragmatic inference
論認知語用推理中的傳統語境因素A cognitive approach to pragmatic inference in reading comprehension
閱讀理解中語用推理的認知考察Pragmatic inference and semantic analysis of sentences with denominal verbs of transparent incorporation
透明義名轉動詞句的語用推理與語義分析Psychological mode of cognitive pragmatic reference and the understanding of conversation in listening comprehension
認知語用推理的心理模式與聽力對話理解Similarly, listening comprehension is a process in which listeners make pragmatic inference according to the context so as to achieve contextual effect and optimal relevance
而聽力理解的目的就是從話語所提供的語境中進行語用推理,力求語境效果,尋求最佳關聯。Dynamic expectation of relevance and pragmatic inference
關聯期待的動態性及其對語用推理的啟示分享友人