法律人工智能-从法律计量学到法律信息学.docxVIP

从法律计量学到法律信息学 ——法律人工智能70年(1949-2019) 摘要 法律人工智能是法律信息学的研究对象,关注的是信息技术在法律中的运用,其思想渊源最早通常都追溯到1949年洛文杰提出的法律计量学想法。作为一个学科,法律人工智能形成于20世纪80年代末和90年代初,其标志是国际法律人工智能系列学术大会的出现(自1987年起)、国际法律人工智能协会的成立(1991年)和《法律人工智能》杂志的创刊(1992年)。回眸法律人工智能这70年的发展史,她经历了一个从法律计量学到法律信息学的发展历程。 “法律人工智能”属于人工智能的一个子领域,这一汉语术语源自英文术语“Artificial Intelligence and Law”,其直译应当是“人工智能与法律”。在我国,目前学界出现了两个极其相似却十分不同的术语“法律人工智能”和“人工智能法律”,而我们采取了“法律人工智能”这一译法。我们采用这一译法的理由是:前者体现了这一学科关注的是人工智能在法律中的具体应用问题,它本质上是人工智能问题,因此,可被称为“法律人工智能”;后者关注的是人工智能技术的运用会带来什么样的新法律问题,它本质上是法律问题,与本学科研究初衷并不吻合。 01?法律人工智能问题的提出 作为一个学科概念,“法律人工智能”最早出现于1987年在美国波士顿东北大学召开的“第一届法律人工智能国际学术大会”(The First International Conference on Artificial Intelligence and Law,简称ICAIL),会议程序委员会主席由罗格斯大学计算机系教授麦卡蒂(L.Thorne McCarty)担任,组织委员会主席由东北大学计算机科学系哈夫纳(Carole D.Hafner)担任,他们俩也因此成为那个时代法律人工智能领域的领军人物。大会会议论文集由国际计算机学会(ACM)正式出版(ISBN 0-89791-230-6)。 1895年,霍姆斯法官就有一个想法:“理想法律体系应该从科学中得出它的假设和立法证成。”[1]通过把取自计算科学和人工智能研究的方法应用于部分法律自动化,这会对法律实践可能有好处的推测,至少可以追溯到20世纪40年代中期。1946年,凯尔索(Louis O.Kelso,1913-1991)在《洛基山法律评论》上提出了“法律需要技术革命吗”之问。[2] 法律人工智能的一大主要目标就是要让法律与法律推理变得可计算。追随霍姆斯的思路,1949年美国法学家、律师洛文杰(Lee Loevinger,1913-2004)在《明尼苏达法律评论》上发表了《法律计量学:下一个前进步骤》一文,开启了法律人工智能研究的先河,提出要用概率统计方法来测量证人、法官和立法者的行为。[3]1963年,洛文杰又进一步提出法律计量学是法律探究的方法。他认为,法律计量学是在法学领域运用科学方法的一种尝试。数据检索是律师执业的最重要的功能之一,而法律计量学涉及到使用电子计算机来存储和检索法律数据。[4]根据梅耶(Perry Meyer)的说法,洛文杰主要关心的是如何充分利用当代技术,特别是数字计算机所提供的工具来发展法律研究。从这个意义上说,法律计量学可以被认为是控制论的一个分支。他在计算机技术领域的主要兴趣是数据存储和检索的字段,也就是说,通过使用计算机存储法条、案例、文章、书籍等法律信息,并快速有效地指向所有相关信息所面向的具体法律问题。[5] 法律人工智能的核心问题是自动法律推理的逻辑建模。毫无疑问,符号逻辑是一种建模法律推理的可能逻辑工具。耶鲁大学法学院教授、数理逻辑学家艾伦(Layman E.Allen,1927-2018)是将数理逻辑作为法律分析工具以及在法律研究领域使用计算机的先驱。1956年,他发表了《符号逻辑:一种起草与解释法律文件的锐利工具》,提出要用符号逻辑数学记号来起草和解释法律。[6]他给出了一套法律关系逻辑的形式体系,其中包括命题逻辑、谓词逻辑、类逻辑、道义逻辑、动作逻辑、时间逻辑等。法律关系逻辑及其伴随的法律关系语言的主要应用是起草和解释从宪法和成文法到合同和章程的法律文件。在法律人工智能领域,法律关系语言产生了可生成的专家系统,这些系统有助于分析法律条款,这些法律条款具有多种解释,这些解释源于逻辑结构的模糊表达。 1958年,在英国国家物理实验室举办的具有里程碑意义的“思维过程机械化论坛”上,梅尔(Lucien Mehl)发表了《法律世界的自动化:从法律信息机器处理到法律机器》一文,提出要用逻辑进行法律信息检索与推理。[7]1970年,美国匹兹堡大学计算机科学系教授布坎南(Bruce G.Buchanan)与美国巴法罗大学法学院教授海德里克(Thomas E.Headrick)在《斯坦福法律评论》上发表的《