实验室动态 | 人工智能逻辑及应用专题论坛在杭州召开

2023全球人工智能技术大会

///////////////

 •人工智能逻辑及应用专题论坛 • 

2023年6月10日下午，2023全球人工智能技术大会（GAITC 2023）“人工智能逻辑及应用专题论坛”在杭州科技城举行。论坛由中国人工智能学会、杭州市人民政府主办，中国人工智能学会人工智能逻辑专委会（筹）、浙江省哲学社会科学试点实验室-浙江大学数字法治实验室承办。

开幕式邀请了论坛荣誉主席、中国科学院陆汝钤院士发表线上致辞，浙江大学数字法治实验室主任熊明辉教授主持论坛。

论坛首场报告是由华东师范大学软件工程学院陈仪香教授带来的“人工智能逻辑模型”。在报告中，陈仪香教授从人工智能简史着手，回顾了人工智能的三次高潮以及Chat GPT作为当今人工智能的最新应用成果，讲述了人工智能过去的逻辑基础（如基础逻辑、知识逻辑）与当下的逻辑基础（如产生式语言TUILI、时态类组逻辑），并从逻辑角度展望了未来的统一人工智能框架。

陈仪香教授报告

随后，浙江大学逻辑与认知研究所所长廖备水教授以“论新一代人工智能与逻辑学的交叉研究”为题，为观众带来了第二场报告。在报告中，廖备水教授指出新一代人工智能以“大数据+机器学习”为特点，同时也存在可解释性、伦理对齐与认知推理等问题。相应地，人工智能逻辑需要处理不完备性、不确定性和不一致性等问题，这些问题或者难以在经典逻辑中解决，或者在传统非单调逻辑中面临通用性低、计算复杂度高等困难。对此，廖备水教授提出一种基于形式论辩的研究路径，作为研究新一代人工智能的逻辑基础。

廖备水教授报告

论坛的第三场报告是由北京师范大学哲学学院副院长郭佳宏教授讲述的“逻辑的封闭性特征与智能实践开放性之间的张力——以命题模态逻辑为例”。郭佳宏教授从逻辑最核心定义的封闭性特征、命题模态逻辑“典范模型”构造、广义框架中可容许赋值的封闭性、超滤结构的封闭性等角度详细阐述了逻辑的封闭性特征与其在人工智能应用中的优缺点，并指出作为工具学科的逻辑学在非绝对确定和极端严格的领域有必要做出相应的策略改变。

郭佳宏教授报告

第四场报告的主讲人是南开大学哲学院Frank Zenker教授，报告主题是“论证绘图2.0：你能为人工智能做什么”。Zenker教授比较了论证绘图、人类论证者、机器学习，指出论证绘图拥有打破线性文本结构、不受记忆局限、适应复杂问题、推论结构清晰、对数字推理开放等优势，从而将“能为人工智能做什么”的答案落脚于结合论证绘图与论证型式，为人工智能构建一个融合了论证型式的高质量训练库，以助于分辨好的论证与坏的论证，让用户提问得到更满意的回答。

● 论坛下半场

左晶晶老师主持

论坛下半场由上海百事通信息技术股份有限公司CEO左晶晶老师主持，首先由阿里巴巴达摩院技术总监孙常龙老师报告“大语言模型时代法律知识图谱的构建与应用”。孙常龙老师从知识图谱的构建技术出发，描绘了知识图谱的技术背景，并讲解在这一背景下如何实现知识图谱与大语言模型交互、构造易扩展的超大规模司法图谱，以及在基于司法图谱的数据查询与分析、基于图游走的类案推荐中推动法律图谱的业务应用。

孙常龙老师报告

广州睿律智能科技有限公司董事长汪宏杰老师主讲了论坛第五场报告：“AI开创中国合同智能新时代”。汪宏杰老师以ChatGPT为样本，阐述了大模型应用到深度垂直领域时遇到的种种问题，指出大模型有数据库丰富、搜索快捷，操作灵活的优点，但也有信息不可靠、结果不稳定、数据不安全的缺陷。汪宏杰老师认为，人工智能在深度专业领域的方向模式应当是“范式—图谱—数据—反馈”，并介绍了其创始的熊猫AI法律大模型在合同智能中的应用，展示了其相对ChatGPT的优势。

汪宏杰老师报告

论坛的第七场报告是由北京华宇软件股份有限公司首席人工智能官、教授级高级工程师李东海老师带来的“法律科技领域大模型构建与落地应用”。李东海老师介绍了通用大模型技术、尤其是生成式人工智能技术的发展历程，并分享了他对当前通用大模型所存在问题的看法，如在专业领域有知识鸿沟、提供专业服务时存在可信风险等。同时，李东海老师也分享了华宇公司在法律大模型构建与应用中的探索，以及其团队联合清华大学制定的大模型测试方案和评价标准。

● 座谈环节

所有专题报告结束后，论坛迎来了座谈环节，本次座谈的主题是“ChatGPT的底层逻辑”，两位论坛主持人熊明辉教授、左晶晶老师连同七位报告嘉宾，围坐在一起分享了彼此对“如何理解ChatGPT背后的逻辑”“如何看待ChatGPT的风险”“如何防范ChatGPT的风险”等前沿议题的看法。座谈结束后，本次论坛在现场观众的热烈掌声中圆满落下帷幕。

与会嘉宾座谈

本次“人工智能逻辑及应用专题论坛”汇集人工智能逻辑学界与业界的众多资深专家学者，深度探讨了人工智能的逻辑基础，并在大语言模型兴起的背景下，广泛挖掘逻辑与大语言模型的交互，描绘了从学理到应用的完整图景。本次论坛也在线上收获热烈反响，各个渠道累计超过70万观看人次。

与会嘉宾合影

来源：“浙江大学数字法治实验室”微信公众号