近日，浙江大学逻辑与人工智能国际会议(ZJULogAI 2023)在浙江大学紫金港校区召开。本次会议得到了浙江大学教育基金会沈善洪基金资助，由浙江大学-卢森堡大学高等智能系统与推理联合实验室（ZLAIRE）、浙江大学哲学学院和数字法治实验室共同主办。浙江大学哲学学院教授廖备水、卢森堡大学教授Leendert van der Torre和浙江大学光华法学院教授熊明辉担任大会主席。本次会议主题涉及逻辑学、哲学、人工智能、法学、艺术等多学科交叉领域，重点关注可解释人工智能、机器伦理等前沿方向的关键问题。
本次大会共设立分论坛5个，特邀报告13场（其中1场为ZJULogAI的特邀报告，12场为分论坛的特邀报告），论文报告40场，出版会议论文集2本，并评选出最佳会议论文3篇。
ZJULogAI特邀报告
香港科技大学教授林方真作了《在自然语言推理问题中使用语言模型进行知识获取》的特邀报告。报告基于逻辑与大语言模型的交叉视角，认为对于需要一些复杂推理来解决的自然语言问题，至少有两种方法可以使用大型语言模型（LLM）来解决：一种是要求它直接解决问题；另一种是使用语言模型从问题文本中提取事实，继而使用定理证明器来解决问题。该报告基于ChatGPT和GPT4展示了上述两种方法在解决逻辑字谜上的表现，得出后者是使用大型语言模型进行自然语言推理的正确方法的结论。
分论坛一
在知识论与人工智能国际研讨会(EAI 2023)上，来自国内外知识论和人工智能领域的专家学者们围绕着人类如何理解深度神经网络和大语言模型，以及人工智能技术对人类信念的影响和作用等前沿问题展开研讨。
分论坛二
在第三届新一代人工智能逻辑国际研讨会(LNGAI 2023)上，来自国内外逻辑和人工智能领域的专家学者们围绕开放、动态和真实的环境中的非单调逻辑和形式论辩理论及技术，以及如何将其应用于因果推理、知识图谱推理以及关于规范和价值的推理等前沿问题展开研讨。
分论坛三
在第五届逻辑与论辩国际会议(CLAR 2023)上，来自国内外逻辑和论辩领域的专家学者们围绕着逻辑和论辩以及相关交叉方向的研究进展展开研讨。
分论坛四
在逻辑、人工智能和法律国际研讨会(LAIL 2023)上，来自国内外逻辑学与法律人工智能领域的专家学者围绕法律自动推理、法律知识的机器可读与可计算表示、融合知识与数据的混合法律智能等法律人工智能前沿问题展开研讨。
分论坛五
人工智能与艺术国际研讨会(AI&ART)的主题是探索人工智能与艺术之间的共生关系，包括探索机器学习算法如何挑战传统的艺术表达概念，从中提出关于作者身份、真实性和人类创作者的角色等关键问题。
会议期间，国内外参会代表共计80余人参加了本次国际会议及其相关分论坛。
