论文部分内容阅读
遗忘在知识表示与推理领域扮演着非常重要的角色。遗忘在多种逻辑语言中都有大量的研究,被广泛应用于诸多领域。模态逻辑适用于智能体的知识表示与推理。随着多智能体系统研究的发展,多智能体模态逻辑中的知识遗忘也开始被关注。现有研究表明,知识遗忘在不同的多智能体模态逻辑系统中具有不同的性质,且大多无法有效计算。为此,多智能体模态逻辑系统KD45 n中的知识遗忘值得进一步研究。首先,基于模型理论给出知识遗忘的定义;接着,分析KD45 n中知识遗忘的主要性质;最后,提出KD45 n中计算知识遗忘的有效算法。该算法利用人工