报告题目：时序逻辑遗忘理论
主讲人：冯仁艳
主办单位：澳门十大电子正规游戏网站
讲座时间：2023年06月7日（星期三）下午16:00-17:30
讲座形式：线上会议：#腾讯会议：478-282-120
线下会议地址：重庆文理澳门十大电子正规游戏网站格致楼C区211工程中心
内容简介：
遗忘和记住是人类两个最基本的大脑活动。在人工智能中，探索机器如何遗忘是长期以来的重要问题。本次报告围绕此话题，从一个简单的例子出发，逐步解锁遗忘的历史来源、应用领域、遗忘结果希望保持的性质、含有时序词情形下的遗忘理论及其在反应式系统中的应用。
主讲人简介：
冯仁艳，贵州财经大学，副教授。本科就读于北方工业大学计算机科学与技术澳门十大电子正规游戏网站，贵州大学硕士，贵州大学和阿姆斯特丹自由大学（Vrije University Amsterdam）联合培养博士，中国科澳门十大电子正规游戏网站软件研究所国家重点实验室、西南大学软件研究与创新中心访问学者，在国内外一流期刊和会议上发表数篇文章。研究兴趣：知识表示与推理，模型检测，遗忘理论，智能规划和回答集程序等。