12月9-10日，由中国人工智能学会主办，CAAI人工智能逻辑专委会、深圳大学电子与信息工程学院、深圳大学信息与通信工程博士后流动站及深圳市兰迪会议展览有限公司承办的2023年人工智能逻辑学术论坛暨CAAI人工智能逻辑专委会年度总结大会在深圳顺利召开。本次大会进行了CAAI人工智能逻辑专委会揭牌仪式及委员证书颁发。CAAI副理事长南京大学周志华教授、清华大学申卫星教授，以及CAAI人工智能逻辑专委会主任委员、华东师范大学陈仪香教授在学术论坛上作主题报告。会议最后对CAAI人工智能逻辑专委会2023年的工作进行了年度总结及专委会管理办法意见征集与讨论。

CAAI副理事长南京大学周志华教授为会议致辞，周教授在致辞中表示希望CAAI人工智能逻辑专委会能不断发挥重要作用，为人工智能逻辑领域的发展做出更大的贡献。随后，周志华教授、CAAI组织工作委员会刘丽研究员、深圳大学谢维信教授与CAAI人工智能逻辑专委会主任陈仪香教授一同为CAAI人工智能逻辑专委会进行揭牌仪式。周志华教授为专委会名誉主任委员谢维信教授及主任委员陈仪香教授以及副主任委员、秘书长颁发证书。中国人工智能学会组织工作委员会刘丽研究员分别为专委会常务委员、委员及副秘书长颁发证书。

CAAI副理事长、南京大学计算机系主任兼人工智能学院院长周志华教授分享了题为《一种融合机器学习及逻辑推理的新范式》的主题演讲。周教授在报告中提出将“倾向数据事实的机器学习” 与“善于处理领域知识的逻辑推理” 融为一体具有较好的研究潜力，是目前人工智能领域的重大挑战及发展趋势。融合机器学习和逻辑推理的新范式弥补它们各自的局限性，实现更全面、更准确的智能决策。演讲内容精彩纷呈，引人深思，吸引了许多学生前来聆听和学习。

人工智能和法律领域的融合日益成为热门话题，清华大学法学院申卫星教授分享了题为《法律与人工智能的互动》的主题演讲。申教授提出 “人工智能为法律的发展提供了新的手段及机遇”，尽管面临一些挑战，人工智能与法律的融合仍然是一个迅速发展和令人兴奋的领域。随着技术的进一步进步和不断创新，我们可以期待看到更多基于人工智能的法律解决方案的出现，为法律行业带来更多的机遇和进步。面向大模型的逻辑推理正成为研究和应用的热点。

大会主席及华东师范大学陈仪香教授分享了题为《面向大模型的逻辑推理》的主题演讲。展望了未来十年人工智能的研究热点，即“产生式AI与生成式AI的融合”，提高大模型的逻辑推理能力，增强⼤模型的智能性。

学术论坛结束后，CAAI人工智能逻辑专委会举行了2023年度工作总结工作会议。专委会就内部管理办法向全体委员进行了意见征集及讨论，针对2024年中国人工智能逻辑大会成立了筹备小组，最后就人工智能教材编写征集了广泛意见。

随着本次会议的顺利闭幕，专委会将总结经验并制定未来的发展计划。未来，专委会将继续努力向前迈进，加强自身影响力，积极推动人工智能逻辑领域的发展，促进技术创新和合作交流，全力筹办2024中国人工智能逻辑大会，为业界提供一个专业且重要的的逻辑学术领域交流平台，分享最新研究成果、探讨前沿技术、促进业内各方合作与交流。期待与来自各领域的专业人士和研究者并肩前行，共同推动人工智能逻辑领域的发展，为构建智能化的未来做出贡献。