多智能体模态逻辑系统KD45n中的知识遗忘

• 作者: 余泉 常亮 文习明 方良达 王驹
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 多智能体模态逻辑 知识推理 知识编译 知识遗忘
• 年，卷（期）: 2019,（7）
• 所属期刊栏目: 人工智能
• 页码范围: 195-205
• 页数: 11页
• 分类号: TP181
• 字数: 14814字
• 语种: 中文
• DOI: 10.11896/j.issn.1002-137X.2019.07.030

摘要

遗忘在知识表示与推理领域扮演着非常重要的角色.遗忘在多种逻辑语言中都有大量的研究,被广泛应用于诸多领域.模态逻辑适用于智能体的知识表示与推理.随着多智能体系统研究的发展,多智能体模态逻辑中的知识遗忘也开始被关注.现有研究表明,知识遗忘在不同的多智能体模态逻辑系统中具有不同的性质,且大多无法有效计算.为此,多智能体模态逻辑系统KD45n中的知识遗忘值得进一步研究.首先,基于模型理论给出知识遗忘的定义;接着,分析KD45n中知识遗忘的主要性质;最后,提出KD45n中计算知识遗忘的有效算法.该算法利用人工智能领域解决难求解问题的主要方法之一——知识编译技术,将一般公式编译成交替覆盖析取范式,再利用该范式进行知识遗忘的有效计算.研究结果表明,在KD45n中满足一些很重要的知识遗忘性质,其计算时间复杂度是交替覆盖析取范式公式长度的多项式时间(原公式长度的双重指数时间).与现有的非初等时间复杂度算法相比,所提算法更高效、更实用.