为促进人工智能逻辑领域的发展，服务科技强国等国家战略，在中国人工智能学会的指导和支持下，中国科学院和深圳大学两家发起人单位，以及国内其他相关高校、科研院所和高新企业，经中国人工智能学会批准成立人工智能逻辑专业委员会。

2023年8月6日上午，中国人工智能学会人工智能逻辑专业委员会选举大会在吉林大学胜利召开。会议由CAAI组织工委会刘丽研究员主持，CAAI副理事长王国胤教授以及CAAI人工智能逻辑专委会42名委员现场出席了大会。

CAAI组织工委会刘丽研究员

会上，CAAI人工智能逻辑专委会筹备组负责人、华东师范大学陈仪香教授从人工智能逻辑专委会基本情况、筹备历程、人工智能逻辑专委会（筹）的建设、未来3-5年计划等方面向大会作专委会筹备工作报告，并经会议审议通过。

选举大会现场

会议通过了CAAI人工智能逻辑专委会第一届常务委员、副主任委员和主任委员候选人建议名单，以及会议的监票人和计票人等。经会议差额选举，首先选举出CAAI人工智能逻辑专委会第一届常务委员15名，分别是陈仪香、熊明辉、赵彬、刘任任、裴继红、张清华、张永刚、张松懋、张勇、唐益明、宣晓华、伍忠东、李凡长、折延宏、陈彦辉。随后经专委会常务委员选举，华东师范大学陈仪香教授当选为CAAI人工智能逻辑专委会第一届主任委员，刘任任、裴继红、熊明辉、张清华、张松懋、张永刚、赵彬当选为专委会第一届副主任委员。经主任委员提名，并由全体常务委员表决，深圳大学张勇教授当选为CAAI人工智能逻辑专委会第一届秘书长，中国科学院数学与系统科学研究院陆汝钤院士为专委会第一届顾问，深圳大学谢维信教授为专委会第一届名誉主任委员。最后，经秘书长提名，并由全体常务委员表决，贺鹏飞、李艳春、李阳阳、邵亚斌、陶红伟、魏斌、叶育鑫、赵阳当选为专委会第一届副秘书长。

主任委员陈仪香教授

副主任委员代表熊明辉教授

秘书长张勇教授

随后CAAI人工智能逻辑专委会第一届主任委员陈仪香教授、副主任委员代表熊明辉教授、秘书长张勇教授分别发表当选感言。陈仪香主任委员表示本专委会将围绕在大数据、大知识、大模型环境下，探讨人工智能逻辑的新理论新方法及实际应用的关键，搭建学术交流与技术合作的广泛平台，进行科技合作，联合承担面向国家和社会需求的重点研发项目，培养具有宽广视野的综合性研发人员。本专委会将有计划和目标地组织召开学术研讨会、科技发展论坛、科技咨询、技术攻关、科普与宣传，撰写人工智能逻辑及应用的科技发展建议，为国家自然基金委等国家科学研究机构提供前沿研究报告。同时专委会还将组织科技人员进高校走企业，进行校企人员深度合作，联合攻关，争取在1-2两个领域实现人工智能逻辑理论示范应用，成为新人工智能时代的典型标例。

CAAI副理事长王国胤教授

最后CAAI副理事长王国胤教授作了讲话。王国胤教授在会议上宣布中国人工智能学会人工智能逻辑专业委员会成立。并提出专委会要团结，加强队伍建设，大力发展青年学者，搭建人工智能逻辑及应用的科学家平台。同时专委会要关注未来长足发展，从事人工智能逻辑基础理论研究和典型示范应用，为实现有逻辑的人工智能做出贡献。力争实现专委会为知名的专业委员会，尽快进入年度表彰专委会。

为促进人工智能逻辑领域的发展，服务科技强国等国家战略，在中国人工智能学会的指导和支持下，中国科学院和深圳大学两家发起人单位，以及国内其他相关高校、科研院所和高新企业，经中国人工智能学会批准成立人工智能逻辑专业委员会。

选举产生专委会组织机构名单

经2023年8月6日召开的CAAI人工智能逻辑专委会选举会议选举产生的专委会组织机构名单如下：

(一) 顾问

陆汝钤 院士，中国科学院数学与系统科学研究院

(二) 名誉主任委员

谢维信 教授，深圳大学

(三) 主任委员

陈仪香 教授，华东师范大学

(四) 副主任委员

张松懋 研究员，中国科学院数学与系统科学研究院

熊明辉 教授，浙江大学

赵   彬 教授，陕西师范大学

刘任任 教授，湘潭大学

裴继红 教授，深圳大学

张清华 教授，重庆邮电大学

张永刚 教授，吉林大学

(五) 秘书长

张   勇 教授，深圳大学

(六) 副秘书长

李阳阳 博士，中国科学院数学与系统科学研究院

魏   斌 研究员，浙江大学

贺鹏飞 副教授，陕西师范大学

李艳春 副教授，湘潭大学

赵   阳 博士，深圳大学

邵亚斌 教授，重庆邮电大学

叶育鑫 教授，吉林大学

陶红伟 教授，郑州轻工业大学

(七) 常务委员

唐益明 教授，合肥工业大学

宣晓华 董事长，华院计算技术(上海)股份有限公司

伍忠东 教授，兰州交通大学

李凡长 教授，苏州大学

折延宏 教授，西安石油大学

陈彦辉 教授，西安电子科技大学

(八) 委员

张光君 教授，西南政法大学

潘海玉 教授，桂林电子科技大学

邹   丽 教授，山东建筑大学

周湘南 副教授，湖南大学

谢娟英 教授，陕西师范大学

张   敏 教授，华东师范大学

黄   海 副教授，许昌学院

王   竹 教授，四川大学

魏广芬 教授，山东工商学院

冯   勇 教授，辽宁大学

范   恩 副教授，绍兴文理学院

谢   耘 教授，中山大学

李国强 副教授，上海交通大学

孙   猛 教授，北京大学

刘奋荣 教授，清华大学

刘华文 教授，山东大学

吴茂念 教授，湖州师范学院

覃   锋 教授，江西师范大学

郭佳宏 教授，北京师范大学

葛方振 教授，淮北师范大学

傅   丽 教授，青海民族大学

杜文静 教授，华东政法大学

刘   恒 教授，广西民族大学

周红军 教授，陕西师范大学

李炜卓 博士，南京邮电大学

王以松 教授，贵州大学

陈树伟 副教授，西南交通大学

翁家良 董事长，新加坡

程   超 教授，长春工业大学

孙   亮 副教授，大连理工大学

尚   云 研究员，中国科学院数学与系统科学研究院

马艳芳 教授，常州工学院

本文由CAAI人工智能逻辑专委会供稿