-
题名多智能体模态逻辑系统K_n中的知识遗忘
被引量：1
- 1
-
-
作者
文习明
方良达
余泉
常亮
王驹
-
机构
广东行政学院信息技术教研部
广西可信软件重点实验室(桂林电子科技大学)
暨南大学计算机科学系
黔南民族师范学院数学与统计学院
-
出处
《逻辑学研究》
CSSCI
2019年第2期43-62,共20页
-
基金
国家自然科学基金(61603152
61463044
+5 种基金
61363030
61862051)
广西可信软件重点实验室开放课题(KX201604
KX201606
KX201419)
广西自然科学基金(No.2015GXNSFAA139285)
-
文摘
如何让智能体像人一样具备遗忘的能力,目前仍然是人工智能所面临的最大挑战之一。遗忘在基于符号逻辑的知识表示与推理领域和基于统计的机器学习领域都有研究。特别在知识表示与推理领域,遗忘扮演着非常重要的角色。在命题逻辑、一阶谓词逻辑、模态逻辑、描述逻辑、回答集逻辑程序设计,以及情景演算等逻辑语言中都有大量的研究。模态逻辑适用于智能体的知识表示与推理。在模态逻辑中,知识遗忘首先在单智能体场景中被提出。随着多智能体系统研究的发展,多智能体模态逻辑中知识遗忘的研究也开始被关注。到目前为止,多智能体模态逻辑系统中的知识遗忘还无法有效计算。本文在多智能体模态逻辑系统K_n中对知识遗忘进一步展开研究。采用知识编译的思想,提出一种新的多智能体模态逻辑范式K_n-DNF。基于K_n-DNF,我们给出K_n中计算知识遗忘的有效算法,其时间复杂度是K_n-DNF公式长度的多项式时间。
-
关键词
多智能体模态逻辑
知识推理
知识编译
知识遗忘
-
分类号
B81
[哲学宗教—逻辑学]
-
-
题名基于插件的多课程考试平台实例研究
- 2
-
-
作者
梁武
-
机构
广东行政学院信息技术教研部
-
出处
《信息技术》
2010年第11期185-187,189,共4页
-
文摘
插件式考试平台是一种以插件为基础,以实现考试课程和题型灵活配置为目的的开放型考试平台,它既能避免重复投资,又能提高开发效率,还能增强系统的稳定性和兼容性。
-
关键词
插件
架构
反射机制
自动评分
多课程
-
Keywords
plug-in
architecture
refraction
scoring
multi-course
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
