报告题目：求解多智能体简单时序问题的弧相容方法  (Multiagent Simple Temporal Problem: The Arc-Consistency Approach )

报告人：李三江，澳大利亚悉尼科技大学教授

报告时间：2017年11月3日16:00-17:00

报告地点：长安校区图书馆一层学术报告厅

举办单位：英国正版365官方网站，图书馆

报告摘要:

简单时序问题 (simple temporal problem, STP) 是时序推理的一个重要模型，用STP我们可以描述事件之间的定量约束。自图灵奖得主 Judea Pearl等 1991年提出此模型以来，STP已经成为规划和调度问题的重要组成部分。近年来，我们越来越依赖智能手机来安排管理我们的日常任务。可以预见，以后更多的协调任务将由虚拟个人助理来完成。鉴于此，美国学者Boekoel 和 Durfee提出了多智能体 (multiagent) 时序推理问题，并将STP推广到多智能体框架下，此即为MaSTP问题。利用Planken等提出的部分路径相容 (patial path-consistency) 算法，他们提出了解决MaSTP的方法。这个方法虽然有效，但存在一个严重问题：在求解过程中，该方法需要将约束网络三角化。这需要在不同变元间引入原本不存在的约束。如果这些变元属于同一个智能体，这是可行的。但如果这些变元属于不同智能体，则会泄漏相关智能体的隐私。在我们这篇工作中，我们提出了基于弧相容 (arc-consistency) 的求解方法，完全避开了这一问题。同时，我们的理论和实验结果表明，这一新方法更有效。

报告人简介：

李三江，男，1975年2月生于陕西渭南。2001年获四川大学基础数学博士学位，师从刘应明院士、罗懋康教授。现为澳大利亚悉尼科技大学教授。主要研究方向为时空推理和人工智能理论。自2001年以来他与合作者系统深入地研究了空间推理的定性方法，并在空间关系建模和空间约束求解等方面取得重要成果。这些成果主要发表在人工智能领域重要国际刊物和顶级国际会议，其中包括Artificial Intelligence Journal 多篇。2004年获德国洪堡基金会资助到德国弗赖堡大学访问18个月（任洪堡学者），2006年获首届微软青年教授奖，2008年获中创软件人才奖，2009年获 澳大利亚ARC Future Fellow奖，2010年获悉尼科技大学 ECR Research Excellence Award。