epistemic logic 中文意思是什麼

epistemic logic 解釋
認識邏輯
  • epistemic : adj. 認識的；與認識有關的。epistemically adv.
  • logic : n. 1. 邏輯，理論學。2. 推理[方法]；邏輯性，條理性。3. 威力，壓力，強制（力）。
  1. On some problems in the research on epistemic logic

    試論認知邏輯研究中的若干問題
  2. Epistemic logic : on the decidability of epistemic logic

    關于認識邏輯的可判定性
  3. Epistemic logic : a logical framework for knowledge and belief

    全知性和真知性
  4. Reasoning inconsistency among viewpoints using temporal epistemic logic

    多視點間不一致性的認知推理
  5. Tri - partitioning of epistemic worlds and independence of doubting logic

    三分的認知世界與懷疑邏輯的獨立性
  6. The present paper deals with the logical omniscience problem in epistemic logic and the methods to resolve it and presents a kind of epistemic logic called el, which can avoid the logical omniscience, and gives its semantic rules and its axioms

    摘要分析認知邏輯中的邏輯全知問題及其解決方法，提出一種可以避免邏輯全知的認知邏輯el ，並給出其語義和公理系統。
  7. Bounded model checking for temporal epistemic logic in synchronous multi - agent systems

    有界模型檢測同步多智體系統的時態認知邏輯
  8. 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系統模型給出的，並且與認知邏輯的解釋系統密切相關。
  9. 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的分析.因為信息交換本質上可以看成是個認知過程，用認知邏輯可以很方便地表達
分享友人
分享到 Line

分享到臉書