时    间：2019年4月29日19:30--21:00

地    点：中心报告厅（3203）

主持人：郭美云教授

嘉   宾：刘佳谋博士

4月29日晚7点半，新西兰奥克兰大学刘佳谋博士受郭美云教授之邀，到访西南大学逻辑与智能研究中心，与中心师生开展了一次关于“逻辑与人工智能间的关系”的座谈会。郭美云教授、李章吕副教授、熊作军博士以及中心研究生张冒玲、张皓迪、安宇辉、詹莹、陆宏琨、孙永丹以及哲学本科生吉美瑶、郭青宸等参加了此次座谈。

在座谈期间，郭美云教授介绍了刘佳谋博士的一些研究背景和成果，刘佳谋博士也介绍自己在可计算理论方面的一些工作，并对可计算理论和计算复杂度的发展情况和研究现状做了简要的介绍。之后，中心师生就逻辑在人工智能方面的作用，以及面向计算机的逻辑主要关注的重点、哲学背景的逻辑研究者如何做人工智能领域的相关研究等具体问题展开了讨论。无论问题大小、抽象或具体，刘佳谋博士都开诚布公、以一个逻辑研究者的严谨态度对每个问题进行了认真回答与讨论。中心师生感谢刘佳谋博士的到访，并希望和刘佳谋博士继续加强联系，期待刘佳谋博士的下次访问。

刘佳谋博士简介：2007-2010年在奥克兰大学攻读并取得博士学位，现任新西兰奥克兰大学计算机系讲师。2011年至2015年，任奥克兰理工大学计算机科学与数学学院高级讲师；2009年至2010年，任德国莱比锡大学研究员；2013年任法国巴黎第七大学特邀研究员。曾获得新西兰政府Marsden Fund经费支持，并在IJCAI,AAAI, AAMAS, LICS, Algorithmica, Transactions of AMS, Annals of Pure and Applied Logic等国际顶级会议和期刊发表数十篇论文。研究兴趣主要包括社交网络分析、计算社会学以及多智能代理系统等。