認識邏輯的英文怎麼說

中文拼音 [rènzhìluó]
認識邏輯英文
epistemic logic

  • : 動詞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 (認得; 相識) 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. The semantics of this logic are given in terms of a general model of multi - agent system, closely related to the interpreted systems of epistemic logic

    的語義是以一般的多agent系統模型給出的,並且與的解釋系統密切相關。
  3. The article all so try to look out the problems in the fables system of the chinese teaching material, and try to investigate and research the problem, all this based on thinking of the characteristic of chinese teaching, the characteristic of the times, the logic array of the knowledge and the developing regulation of the students, and so on

    本文通過對語文教材選用寓言的必要性、可行性進行分析,寓言對教材建設、教師教學、學生學習的重要意義,並綜合考慮時代的特點、知序列、語文學科的特性、學生身心發展規律等諸多因素,嘗試對現行語文教材中寓言體系所存問題進行調適研究。
  4. Particularly information which focuses on the balanced development between the seven developmental areas ( reasoning, expressive communication, fine - motor, gross - motor, self help, receptive communication, social skills )

    尤其是關注於七種發展領域(知/領域、語言領域、粗大動作領域、精細動作領域、自我幫助領域、理解領域以及社會交往領域)平衡發展的信息。
  5. However, this tempo - ral logic based technology was not conveniently applied to the verification ofknowledge logic specification

    然而,傳統的模型檢測是基於時態的,它並不支持知規范的驗證。
分享友人