多智能体知识及其认识性质的逻辑

为了实现在多智能主体系统中智能体之间的知识共享，本义提出了一个关于多智能体的知识和多智能体知识的认识性质的推理模型。文章关注的认识件质包括：真实性、反省性和相容性。这些认识性质被看作是一智能体怎样将外界所告知的信息转化为自己知识的方式。通过非规范地使用Kripke框架，文章提出了加入了认识性质本身的多智能体知识逻辑的语义模型，并给出了一个可靠而完备的证明理论系统。通过分析被告知信息和知识的关系，进一步阐明了所给出的语义模型的重要意义。