推理執行語言 的英文怎麼說

中文拼音 [tuīzhíhángyán]
推理執行語言 英文
inference execution language
  • : 動詞1 (向外用力使物體移動) push; shove 2 (磨或碾) turn a mill or grindstone; grind 3 (剪或削...
  • : Ⅰ名詞1 (物質組織的條紋) texture; grain (in wood skin etc ) 2 (道理;事理) reason; logic; tru...
  • : Ⅰ動詞1 (拿著) hold 2 (執掌) take charge of; control; manage; wield 3 (堅持) persist in; sti...
  • : 行Ⅰ名詞1 (行列) line; row 2 (排行) seniority among brothers and sisters:你行幾? 我行三。where...
  • : 語動詞[書面語] (告訴) tell; inform
  • : Ⅰ名詞1. (話) speech; word 2. (漢語的一個字) character; word 3. (姓氏) a surname Ⅱ動詞(說) say; talk; speak
  • 推理 : [邏輯學] inference; ratiocination; illation; reasoning; ratiocinate
  • 語言 : language
  1. 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方法為主要內容。
分享友人