“也许你接触AI只有短短的三五年，但其实关于AI与法律结合的研究早在35年前就开始了。”
——国际人工智能与法协会前任主席Henry Prakken
日前，国际人工智能与法领域“两巨头”—— 国际人工智能与法协会（ IAAIL）现任主席 Bart Verheij，以及前任主席 Henry Prakken 首次到访上海，参观调研国内法律科技领军企业——上海百事通信息技术股份有限公司。借此契机，百事通发起，律新社、机器之心联合主办了一场名为“ AI 与法律服务创新——困境与破局”研讨会。
当前，人工智能的推理模式一般分为知识推理和数据推理。知识推理，如专家系统，依赖其内置的知识体系；而数据推理，如深度学习，需要大量的样本和训练。二者各有所长，但是在适用性上都存在一定程度的缺陷和局限。
研讨会上，Prakken 教授和 Verheij 教授基于他们多年人工智能和法律推理领域的研究经验，与参会者们分享了自己的成果和见解。
Henry Prakken
荷兰乌得勒支大学计算机科学系和格罗宁根大学法学院双聘教授，ASPIC+语言的创立者，《人工智能杂志》（Artificial Intelligence）等杂志编委。法律人工智能界论著引用率最多的学者，代表作《建模法律人工智能的逻辑工具》。
主题演讲：
法律论证建模，以刑事案件理性证明的三种方法
Prakken 教授认为：“目前，以知识体系为基础的推理建模，虽然在理论上取得了进展，但是还没有形成规模化的发展趋势。以数据为中心的应用，现在还不能很好的辅助法官进行法律论证和决策。未来，是基于综合规则，即是以知识为中心的应用结合以数据为中心的应用，加上对自然语言的解构，最终帮助法律论证。”
Bart Verheij
世界百强的荷兰格罗宁根大学人工智能与论辩方向的首席教授。他参加了由斯坦福大学AI实验室的 CodeX 项目，还曾担任剑桥牛顿数学科学研究所的访问学者。从1996年至今，他的学术涉及到人工智能与法律推理、伦理系统设计、贝叶斯概率建模以及多智能体系统设计等跨领域研究，累计发表论文和专著100余篇（本）。其中，他的著作《虚拟论证：论法律人及其他论证者的论证助手设计》一书被翻译成中文。Verheij 还在BNVKI、COMMA、IAAIL和 JURIX 等多项国际学术会议和活动中担任要职。
主题演讲：
法律人工智能与论证
“法律将引领我们走到下一步，发展创新、辩证的科技。” Bart Verheij 说道，无论在法律领域还是政治领域，乃至家庭生活中，论证体系是不变的，都要建构一些假设再论证这些假设。而正是论证科技使 AI 的以知识为基础的体系和以数据为基础的体系两个方面得以融合，希望这种融合能够在2025年实现。“我相信，法律的可能性会为 AI 所延伸，让司法更近，让司法更有效；AI 也可以为法律所延伸，让 AI 合法，让 AI 得以被解释。”
