Firstly, we adapt group knowledge in epistemiclogic to the general cases.
本文首先把多主体认知逻辑中的群体知识推广到一般情形。
2
The purpose of the research on epistemiclogic is to provide effective tool for artificial intelligence.
认知逻辑研究的目的是为人工智能研究提供有力的工具。
3
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 epistemiclogic.