2017年3月22日下午16:30，2017年第一期阳明大讲坛在西校区圆形报告厅成功举办。本次讲座主题为“逻辑与人工智能”，由甘进博士主讲，贵州大学校长助理、阳明学院院长张寒松教授主持，院团委袁靓文老师以及400余名学生参加了本次阳明大讲坛。

甘进老师是中山大学哲学博士，中山大学逻辑与认知研究所访问学者，匈牙利罗兰大学社会学学院访问学者，贵州省逻辑学会副秘书长。

讲座围绕四个方面的问题展开：什么是逻辑、逻辑与人工智能的关系、在人工智能中逻辑学家做了哪些工作以及人工智能发展中值得思考的问题。

甘进博士从电脑“深蓝”战胜国际象棋世界冠军卡斯帕罗夫到阿尔法狗战胜围棋世界冠军李世石开始讲述，引入了人工智能的概念，提出了人工智能中逻辑学起了什么作用的问题，随后，甘进博士结合同学们熟悉的“名侦探柯南”、美国总统竞选中的论辩等生动的例子为同学们分析了“逻辑”一词的定义及其演变过程，并通过对比使大家更加深入的理解了“形式逻辑”与“非形式逻辑”之间的关系与区别，形式逻辑将所有推理过程符号化并通过计算来完成，为人工智能计算机推理的符号化提供了基础。从而向同学们展示了人工智能与逻辑学的关系，即通过逻辑语言建立推理模型在自然语言与机器语言间建立了过渡，使人工智能得以实现，逻辑学家即承担了相应的推理模型建立工作。最后甘进博士对于人工智能如何在开放情景中、在不同文化背景和风俗下进行推理计算提出了思考。

在讲座最后的互动交流环节中，同学们对甘进老师在攻读博士学位过程中的感悟、逻辑学与哲学的关系、人工智能的发展等方面提出了问题，甘进博士结合自己的专业所学回答同学们的问题，用活泼的例子阐述自己的观点，与同学们分享感受：阅读与思考能够带来快乐，要让自己在学习的过程中快乐的走下去。赢得了讲坛现场阵阵掌声。

最后，张寒松院长对本次大讲坛做总结，他感谢了甘进博士本次深入浅出的讲授，感谢了同学们积极的参与，强调同学们对讲座的积极参与就是将阳明大讲坛坚持办好的动力。