论文部分内容阅读
为了实现在多智能主体系统中智能体之间的知识共享,本文提出了一个关于多智能体的知识和多智能体知识的认识性质的推理模型。文章关注的认识性质包括:真实性、反省性和相容性。这些认识性质被看作是一智能体怎样将外界所告知的信息转化为自己知识的方式。通过非规范地使用Kripke框架,文章提出了加入了认识性质本身的多智能体知识逻辑的语义模型,并给出了一个可靠而完备的证明理论系统。通过分析被告知信息和知识的关系,进一步阐明了所给出的语义模型的重要意义。
In order to realize the knowledge sharing between agents in multi-agent system, this paper proposes an inference model about the knowledge of multi-agent and the knowledge of multi-agent. The cognitive nature of the article concerns: authenticity, reflection and compatibility. These qualities of knowledge are seen as a way for an agent to translate the information it has given into its own knowledge. By non-canonical use of the Kripke framework, the paper proposes a semantic model that incorporates the knowledge logics of multi-agent knowledge itself and gives a reliable and complete proof theory system. By analyzing the relationship between being informed of information and knowledge, the significance of the given semantic model is further elucidated.