应PA视讯|PA真人官网-PLAYACE旗舰注册入口邀请，西南大学PA视讯刘志明教授于2024年11月20日来到北理工PA视讯作题为“从逻辑到盘算机法式之旅”的学术陈诉。此次陈诉由PA视讯张艳老师主持，体系结构与高性能盘算所相关研究偏向的教师和研究生加入了学术陈诉。
刘志明教授从逻辑、数学模型、理论到盘算机法式的生长历程等方面讨为各人做了分享，包罗数学逻辑是盘算机科学和盘算系统的自然基础，盘算模型和编程语言是形式逻辑系统和法式执行等同于逻辑推理。在此基础上，他进一步讨论逻辑、数学和盘算中基本问题的发生，以及在探索这些问题的历程中如何形成了盘算机科学。此外，他还和PA视讯的师生们进行深度互动，从法式的缔造性、LLM的推理能力到AI的可解释性等方面，讨论了关于深度神经网络支持下的人工智能法式与形式化要领支持下的传统法式之间的区别与联系，并探讨了神经-符号融合软件当前生长的可行性。
通过这次学术陈诉，参会师生对法式逻辑、盘算模型与形式化相关要领的知识有了更深入的理解。陈诉的交流讨论为未来关于形式化要领如何运用于人工智能法式、人工智能法式与传统法式如何进行结合的学术研究奠基了基础。
陈诉人简介：
刘志明，西南大学教授、博士生导师、软件理论与系统团队卖力人、软件研究与创新中心（RISE）主任。主要研究偏向为软件基础理论、可信软件要领、基于人机融合系统的盘算与人工智能的综合理论以及软件架构。在领域主流学术期刊和国际聚会会议上发表著作150多篇／卷。CCF形式化专委资深委员（2024），ACM高级会员，英国盘算机协会会士。曾获澳门行政区首届科学技术奖自然科学二等奖（2012）。是FACS（2003）、ICTAC（2004）、SEFM （2004）和SETTA （2015）提倡人，并任FACS和ICTAC指导委员会（Steering Committee）主席至2010年， 任FACS、ICTAC、SEFM和SETTA的指导委员会委员；曾任10多个国际聚会会议的法式委员会主席；曾担任60多个国际聚会会议的法式委员会委员。国际杂志Theoretical Computer Science、Science of Computer Programming、Formal Aspects of Computing的特刊编辑。