-
题名多智能体模态逻辑系统KD45_n中的知识遗忘
- 1
-
-
作者
文习明
方良达
余泉
常亮
王驹
-
机构
广东行政学院信息技术教研部
广西可信软件重点实验室(桂林电子科技大学)
暨南大学计算机科学系
黔南民族师范学院数学与统计学院
-
出处
《计算机科学》
CSCD
北大核心
2019年第7期195-205,共11页
-
基金
国家自然科学基金项目(61603152,61463044,61363030)
广西可信软件重点实验室研究课题(KX201604,KX201606,KX201419)
广西自然科学基金项目(2015GXNSFAA139285)资助
-
文摘
遗忘在知识表示与推理领域扮演着非常重要的角色。遗忘在多种逻辑语言中都有大量的研究,被广泛应用于诸多领域。模态逻辑适用于智能体的知识表示与推理。随着多智能体系统研究的发展,多智能体模态逻辑中的知识遗忘也开始被关注。现有研究表明,知识遗忘在不同的多智能体模态逻辑系统中具有不同的性质,且大多无法有效计算。为此,多智能体模态逻辑系统KD45 n中的知识遗忘值得进一步研究。首先,基于模型理论给出知识遗忘的定义;接着,分析KD45 n中知识遗忘的主要性质;最后,提出KD45 n中计算知识遗忘的有效算法。该算法利用人工智能领域解决难求解问题的主要方法之一——知识编译技术,将一般公式编译成交替覆盖析取范式,再利用该范式进行知识遗忘的有效计算。研究结果表明,在KD45 n中满足一些很重要的知识遗忘性质,其计算时间复杂度是交替覆盖析取范式公式长度的多项式时间(原公式长度的双重指数时间)。与现有的非初等时间复杂度算法相比,所提算法更高效、更实用。
-
关键词
多智能体模态逻辑
知识推理
知识编译
知识遗忘
-
Keywords
Multi-agent modal logic
Reasoning about knowledge
Knowledge compilation
Knowledge forgetting
-
分类号
TP181
[自动化与计算机技术—控制理论与控制工程]
-
