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

如何让智能体像人一样具备遗忘的能力,目前仍然是人工智能所面临的最大挑战之一。遗忘在基于符号逻辑的知识表示与推理领域和基于统计的机器学习领域都有研究。特别在知识表示与推理领域,遗忘扮演着非常重要的角色。在命题逻辑、一阶谓词逻辑、模态逻辑、描述逻辑、回答集逻辑程序设计,以及情景演算等逻辑语言中都有大量的研究。模态逻辑适用于智能体的知识表示与推理。在模态逻辑中,知识遗忘首先在单智能体场景中被提出。随着多智能体系统研究的发展,多智能体模态逻辑中知识遗忘的研究也开始被关注。到目前为止,多智能体模态逻辑系统中的知识遗忘还无法有效计算。本文在多智能体模态逻辑系统K_n中对知识遗忘进一步展开研究。采用知识编译的思想,提出一种新的多智能体模态逻辑范式K_n-DNF。基于K_n-DNF,我们给出K_n中计算知识遗忘的有效算法,其时间复杂度是K_n-DNF公式长度的多项式时间。     

抑郁倾向对合作的影响：双人同步近红外脑成像研究

抑郁人群不但表现出注意、记忆等个体认知层面的负性偏向, 还伴随有明显的社会认知障碍。已有研究在抑郁对社会认知的影响方面还考察得不多。本研究采用囚徒困境范式考察抑郁倾向对社会合作的影响。结果显示, 高抑郁倾向组比低抑郁倾向组的合作率更低, 双侧背外侧前额叶的激活更弱, 抑郁对右侧背外侧前额叶及眶额叶的脑间同步性有调节作用; 低抑郁被试与低抑郁被试配对时右侧颞顶联合区脑间同步性强于高抑郁被试与高抑郁被试配对, 或者高抑郁被试与低抑郁被试配对时的右侧颞顶联合区脑间同步性, 该效应当且仅当双方的选择相同时显著。结果表明, 抑郁群体在社会奖赏加工、冲突控制及心理理论脑区均存在功能性缺陷, 这些结果为理解抑郁人群合作意愿下降提供了脑成像证据。     

公平、合作与信任三种亲社会行为的认知神经机制

亲社会行为对维持和发展良好的社会关系具有重要作用。亲社会行为中,目前研究较多的是公平、合作与信任。脑成像研究指出,前额叶、脑岛、杏仁核、腹侧纹状体、颞顶联合区等是公平、合作与信任在内的亲社会行为核心脑区。已有研究表明,虽然支配亲社会行为的脑网络可划分为情绪系统(包括脑岛、杏仁核、尾状核等)、认知控制系统(包括前额叶、背...