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

摘要：

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

关键词：多智能体模态逻辑、知识推理、知识编译、知识遗忘

所属期刊栏目：46

分类号：TP181(自动化基础理论)

资助基金：国家自然科学基金项目61603152,61463044,61363030;广西可信软件重点实验室研究课题KX201604,KX201606,KX201419;广西自然科学基金项目2015GXNSFAA139285

在线出版日期：2019-07-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共11页

页码：195-205