自動認識邏輯 的英文怎麼說

中文拼音 [zìdòngrènzhìluó]
自動認識邏輯 英文
autoepistemic logic
  • 自 : Ⅰ代詞（自己） self; oneself; one s own Ⅱ副詞（自然;當然） certainly; of course; naturally; willin...
  • 認 : 動詞1 （認識; 分辨） recognize; know; make out; identify 2 （建立關系） enter into a certain rela...
  • 識 : 識Ⅰ動詞[書面語] （記） remember; commit to memory Ⅱ名詞1. [書面語] （記號） mark; sign 2. （姓氏） a surname
  • 邏 : Ⅰ動1. （巡察） patrol 2. [書面語] （遮攔） blockⅡ名詞1. （巡察） patrol 2. [書面語] （山溪的邊緣） edge
  • 輯 : Ⅰ動詞（編輯; 輯錄） collect; compile; edit Ⅱ名詞（整套書籍、資料的各個部分） part; volume; division
  • 自動 : 1 （自己主動） voluntarily; of one s own accord 2 （不憑借人為的力量） automatic; spontaneous 3 ...
  • 認識 : 1 （認得; 相識） be familiar with; be aware of; know; understand; comprehend; recognize 2 [哲學] ...
  • 邏輯 : logic
  1. 3 halpern j, zuck l. a little knowledge goes a long way : simple knowledge based derivations and correctness proofs for a family of protocols. journal of the acm, 1992, 39 : 449 - 478

    並且他們只是用認識邏輯描述協議的規范，但沒有給出相應的演算法，即給出一個具體的協議，如何自動生成公理集並自動驗證他滿足一些認知規范
  2. On the base of large quantity of scientific research, gardner pointed out there were eight styles of intelligences : linguistic intelligence, logical - mathematical intelligence, spatial - intelligence, bodily - kinesthetic intelligence, musical intelligence, interpersonal intelligence. intra - personal intelligence and naturalist intelligence

    加德納在大量科學研究的基礎上歸納為8種智能，即語言智能、音樂智能、邏輯?數學智能、空間智能、身體?運動智能、自我認識智能、人際關系智能和自然觀察者智能。
  3. Gardner defines intelligence as an ability to solve problems or create products that are valued in at least one or more culture settings. his view of intelligence suggests that all people possess at least eight different intelligences which operate in varying degrees. these intelligences as identified by gardner include linguistic intelligence, logical / mathematical intelligence, spatial intelligence, musical intelligence, bodily / kinesthetic intelligence, interpersonal intelligence, intrapersonal intelligence and naturalist intelligence

    加德納將智力定義為在特定的文化背景下或社會中，解決問題或製造有效產品的能力，他根據「智力選擇依據系統」 ，經過嚴格論證篩選，提出人類智力至少應包括：語言智能、數學邏輯智能、空間智能、身體運動智能、音樂智能、人際關系智能、自我認識智能和自然觀察智能等8種智能。
  4. This dissertation historically and logically discusses the overall functions of the market economy which is defined as a self - organizing system in a society, and the driving force and operational mechanism which push the self - organizing system forward, then the author makes an in - depth analysis of both theories advocated by adam smith and karl marx from this fresh angle. the author ' s analyses and viewpoints probably provide a new solution to the above - mentioned question that presses us now

    本文從歷史與邏輯的結合上探討了市場經濟作為一個社會自組織系統所具有的整體性功能，推動這一自組織系統發展的動力與機制，並從這一新角度對亞當?斯密和馬克思兩人的市場觀作了深刻剖析，為認識和解決我們當前的緊迫問題提供了新思路。
分享友人
分享到 Line

分享到臉書