认识逻辑是关心与知识有关的推理的模态逻辑子领域。(认识这个词的希腊语是 Episteme)。它应用于哲学、计算机科学、人工智能和其他领域。
...学-科研基金网 关键词:知识表示,认识逻辑,模型检测,安全协议 [gap=912]Keywords:knowledge rpresentation, epistemic logic, model checking, security protocol ...
基于30个网页-相关网页
... 目标逻辑数据中心 logisches Zieldatencenter 认识逻辑 Epistemische Logik 时间逻辑 Temporale Logik ...
基于12个网页-相关网页
纯粹认识的逻辑 The Logic of Pure Knowledge ; The Logic of Pure Knowledge; Logik der reinen Erkenntnis
认识论逻辑(又作认知逻辑) epistemic logic; the logic of cognition; cognitive logic
逻辑认识 logical knowledge
带约束的认识缺省逻辑 CEDL
逻辑认识科学 [社科] logic cognitive science
我们从认识逻辑、心理逻辑、人工智能三方面的研究成果可了解认知逻辑的研究现状。
We can recognize the current research of cognitive logic from the achievement of recognizant logic, mental logic and artificial intelligence.
本项目在充分研究研究人工智能逻辑的基础上,着重对认识逻辑的模型检测问题进行研究。
Based on the sufficient study on various logics in artificial intelligence and computer science, we in this project paid our main attention to the problem of model checking epistemic logic.
也只有当语文由一种外在的语言文学逻辑转换为内在的认识逻辑,其基本的教育功能才得以真正实现。
Also, only when language and literature transforms from an external language and literature logic into an internal cognitive logic can its fundamental educational function be actually achieved.
应用推荐