Firstly, we adapt group knowledge in epistemic logic to the general cases.
本文首先把多主体认知逻辑中的群体知识推广到一般情形。
The purpose of the research on epistemic logic is to provide effective tool for 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.
本项目在充分研究研究人工智能逻辑的基础上，着重对认识逻辑的模型检测问题进行研究。
By adding the epistemic operator "K" to the description logic, the epistemic description logic can be obtained.
在描述逻辑中加入认知运算符k可以得到认知描述逻辑。
According to the theory of Tri-partitioning of Epistemic Worlds, static deniable proposition logic system of Deny can be established on the basis of class.
在三分认知世界理论的基础上讨论拒斥模态与拒斥认知命题是恰当的。
According to the theory of Tri-partitioning of Epistemic Worlds, static deniable proposition logic system of Deny can be established on the basis of class.
在三分认知世界理论的基础上讨论拒斥模态与拒斥认知命题是恰当的。
应用推荐