您所在的位置: 首页 >> 学术活动 >> 正文

学术活动

求解多智能体简单时序问题的弧相容方法
发布时间:2017-11-03     浏览量:   分享到:


 

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

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

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

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

举办单位:永利yl23411,图书馆

 

 

报告摘要:

简单时序问题 (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。