一、人工智能法律系统的历史
计算机先驱思想家莱布尼兹曾这样不无浪漫地谈到推理与计算的关系:“我们要造成这样一个结果,使所有推理的错误都只成为计算的错误,这样,当争论发生的时候,两个哲学家同两个计算家一样,用不着辩论,只要把笔拿在手里,并且在算盘面前坐下,两个人面对面地说:让我们来计算一下吧!”①如果连抽象的哲学推理都能转变为计算问题来解决,法律推理的定量化也许还要相对简单一些。尽管理论上的可能性与技术可行性之间依然存在着巨大的鸿沟,但是,人工智能技术的发展速度确实令人惊叹。从诞生至今的短短45 年内,人工智能从一般问题的研究向特殊领域不断深入。1956 年纽厄尔和西蒙教授的“逻辑理论家”程序,证明了罗素《数学原理》第二章52 个定理中的38 个定理。塞缪尔的课题组利用对策论和启发式探索技术开发的具有自学习能力的跳棋程序,在1959 年击败了其设计者, 1962 年击败了州跳棋冠军, 1997 年超级计算机
“深蓝”使世界头号国际象棋大师卡斯帕罗夫俯首称臣。20 世纪60 年代,人工智能研究的主要课题是博弈、难题求解和智能机器人; 70 年代开始研究自然语言理解和专家系统。1971 年费根鲍姆教授等人研制出“化学家系统”之后, “计算机数学家”、“计算机医生”等系统相继诞生。在其他领域专家系统研究取得突出成就的鼓舞下,一些律师提出了研制“法律诊断”系统和律师系统的可能性。②
1970 年Buchanan &Headrick 发表了《关于人工智能和法律推理若干问题的考察》一文,拉开了对法律推理进行人工智能研究的序幕。文章认为,理解、模拟法律论证或法律推理,需要在许多知识领域进行艰难的研究。首先要了解如何描述案件、规则和论证等几种知识类型, 即如何描述法律知识,其中处理开放结构的法律概念是主要难题。其次,要了解如何运用各种知识进行推理,包括分别运用规则、判例和假设的推理,以及混合运用规则和判例的推理。再次,要了解审判实践中法律推理运用的实际过程,如审判程序的运行,规则的适用,事实的辩论等等。最后,如何将它们最终运用于编制能执行法律推理和辩论任务的计算机程序,区别和分析不同的案件,预测并规避对手的辩护策略,建立巧妙的假设等等。③法律推理的人工智能研究在这一时期主要沿着两条途径前进:一是基于规则模拟归纳推理, 70 年代初由Walter G .Popp 和Bernhard Schl ink 开发了JUDITH 律师推理系统。二是模拟法律分析,寻求在模型与以前贮存的基础数据之间建立实际联系,并仅依这种关联的相似性而得出结论。Jeff rey Meld-man 1977 年开发了计算机辅助法律分析系统,它以律师推理为模拟对象,试图识别与案件事实模型相似的其他案件。考虑到律师分析案件既用归纳推理又用演绎推理,程序对两者都给予了必要的关注,并且包括了各种水平的分析推理方法。
专家系统在法律中的第一次实际应用,是D. 沃特曼和M. 皮特森1981 年开发的法律判决辅助系统( LDS)。研究者探索将其当作法律适用的实践工具,对美国民法制度的某个方面进行检测,运用严格责任、相对疏忽和损害赔偿等模型,计算出责任案件的赔偿价值,并论证了如何模拟法律专家意见的方法论问题。④
我国法律专家系统的研制于20 世纪80 年代中期起步。⑤ 1986 年由朱华荣、肖开权主持的《量刑综合平衡与电脑辅助量刑专家系统研究》被确定为国家社科“七五”研究课题,它在建立盗窃罪量刑数学模型方面取得了成果。在法律数据库开发方面, 1993 年中山大学学生胡钊、周宗毅、汪宏杰等人合作研制了《LOA 律师办公自动化系统》。⑥ 1993 年武汉大学法学院赵廷光教授主持开发了《实用刑法专家系统》。⑦ 它由咨询检索系统、辅助定性系统和辅助量刑系统组成,具有检索刑法知识和对刑事个案进行推理判断的功能。专家系统与以往的“通用难题求解”相比具有以下特点:⑴它要解决复杂的实际问题,而不是规则简单的游戏或数学定理证明问题; ⑵它面向更加专门的应用领域,而不是单纯的原理性探讨; ⑶它主要根据具体的问题域,选择合理的方法来表达和运用特殊的知识,而不强调与问题的特殊性无关的普适性推理和搜索策略。
法律专家系统在法规和判例的辅助检索方面确实发挥了重要作用,解放了律师一部分脑力劳动。但绝大多数专家系统目前只能做法律数据的检索工作,缺乏应有的推理功能。20 世纪90 年代以后,人工智能法律系统进入了以知识工程为主要技术手段的开发时期。知识工程是指以知识为处理对象,以能在计算机上表达和运用知识的技术为主要手段,研究知识型系统的设计、构造和维护的一门更加高级的人工智能技术。 ⑧ 知识工程概念的提出,改变了以往人们认为几个推理定律再加上强大的计算机就会产生专家功能的信念。以知识工程为技术手段的法律系统研制,如果能在法律知识的获得、表达和应用等方面获得突破,将会使人工智能法律系统的研制产生一个质的飞跃。
人工智能法律系统的发展源于两种动力。其一是法律实践自身的要求。随着社会生活和法律关系的复杂化,法律实践需要新的思维工具,否则,法律家(律师、检察官和法官) 将无法承受法律文献日积月累和法律案件不断增多的重负。其二是人工智能发展的需要。人工智能以模拟人的全部思维活动为目标,但又必须以具体思维活动一城一池的攻克为过程。它需要通过对不同思维领域的征服,来证明知识的每个领域都可以精确描述并制造出类似人类智能的机器。此外,人工智能选择法律领域寻求突破,还有下述原因:⑴尽管法律推理十分复杂,但它有相对稳定的对象(案件)、相对明确的前提(法律规则、法律事实) 及严格的程序规则,且须得出确定的判决结论。这为人工智能模拟提供了极为有利的条件。⑵法律推理特别是抗辩制审判中的司法推理,以明确的规则、理性的标准、充分的辩论,为观察思维活动的轨迹提供了可以记录和回放的样本。 ⑶法律知识长期的积累、完备的档案,为模拟法律知识的获得、表达和应用提供了丰富、准确的资料。 ⑷法律活动所特有的自我意识、自我批评精神,对法律程序和假设进行检验的传统,为模拟法律推理提供了良好的反思条件。
二、人工智能法律系统的价值
人工智能法律系统的研制对法学理论和法律实践的价值和意义,可以概括为以下几点:
一是方法论启示。P. Wahlg ren 说:“人工智能方法的研究可以支持和深化在创造性方法上的法理学反思。这个信仰反映了法理学可以被视为旨在于开发法律分析和法律推理之方法的活动。从法理学的观点看,这种研究的最终目标是揭示方法论的潜在作用,从而有助于开展从法理学观点所提出的解决方法的讨论,而不仅仅是探讨与计算机科学和人工智能有关的非常细致的技术方面。”⑨在模拟法律推理的过程中,法学家通过与人工智能专家的密切合作,可以从其对法律推理的独特理解中获得有关方法论方面的启示。例如,由于很少有两个案件完全相似,在判例法实践中,总有某些不相似的方面需要法律家运用假设来分析已有判例与现实案件的相关性程度。但法学家们在假设的性质问题上常常莫衷一是。然而HYPO 的设计者,在无真实判例或真实判例不能充分解释现实案件的情况下,以假设的反例来反驳对方的观点,用补充、删减和改变事实的机械论方法来生成假设。这种用人工智能方法来处理假设的办法,就使复杂问题变得十分简单:假设实际上是一个新的论证产生于一个经过修正的老的论证的过程。总之,人工智能方法可以帮助法学家跳出法理学方法的思维定势,用其他学科的方法来重新审视法学问题,从而为法律问题的解决提供了新的途径。
二是提供了思想实验手段。西蒙认为,尽管我们还不知道思维在头脑中是怎样由生理作用完成的,“但我们知道这些处理在数字电子计算机中是由电子作用完成的。给计算机编程序使之思维,已经证明有可能为思维提供机械论解释”。10 童天湘先生认为:“通过编制有关思维活动的程序,就会加深对思维活动具体细节的了解,并将这种程序送进计算机运行,检验其正确性。这是一种思想实验有助于我们研究人脑思维的机理。”11 人工智能法律系统研究的直接目标是使计算机能够获取、表达和应用法律知识,软件工程师为模拟法律推理而编制程序,必须先对人的推理过程作出基于人工智能理论和方法的独特解释。人工智能以功能模拟开路,在未搞清法律家的推理结构之前,首先从功能上对法律证成、法律检索、法律解释、法律适用等法律推理的要素和活动进行数理分析,将法理学、诉讼法学关于法律推理的研究成果模型化,以实现法律推理知识的机器表达或再现,从而为认识法律推理的过程和规律提供了一种实验手段。法学家则可以将人工智能法律系统的推理过程、方法和结论与人类法律推理活动相对照,为法律推理的法理学研究所借鉴。因此,用人工智能方法模拟法律推理,深化了人们对法律推理性质、要素和过程的认识,使法学家得以借助人工智能科学的敏锐透镜去考察法律推理的微观机制。正是在这个意义上, Bryan Niblet t 教授说:“一个成功的专家系统很可能比其他的途径对法理学作出更多的( 理论) 贡献。”12
三是辅助司法审判。按照格雷的观点,法律专家系统首先在英美判例法国家出现的直接原因在于,浩如烟海的判例案卷如果没有计算机编纂、分类、查询,这种法律制度简直就无法运转了。 13其实不仅是判例法,制定法制度下的律师和法官往往也要为检索有关的法律、法规和司法解释耗费大量的精力和时间,而且由于人脑的认识和记忆能力有限,还存在着检索不全面、记忆不准确的问题。人工智能法律系统强大的记忆和检索功能,可以弥补人类智能的某些局限性,帮助律师和法官从事相对简单的法律检索工作,从而极大地解放律师和法官的脑力劳动,使其能够集中精力从事更加复杂的法律推理活动。
四是促进司法公正。司法推理虽有统一的法律标准,但法官是具有主观能动性的差异个体,所以在执行统一标准时会产生一些差异的结果。司法解释所具有的建构性、辩证性和创造性的特点,进一步加剧了这种差异。如果换了钢铁之躯的机器,这种由主观原因所造成的差异性就有可能加以避免。这当然不是说让计算机完全取代法官,而是说,由于人工智能法律系统为司法审判提供了相对统一的推理标准和评价标准,从而可以辅助法官取得具有一贯性的判决。无论如何,我们必须承认,钢铁之躯的机器没有物质欲望和感情生活,可以比人更少地受到外界因素的干扰。正像计算机录取增强了高考招生的公正性、电子监视器提高了纠正行车违章的公正性一样,智能法律系统在庭审中的运用有可能减少某些徇私舞弊现象。
五是辅助法律教育和培训。人工智能法律系统凝聚了法律家的专门知识和法官群体的审判经验,如果通过软件系统或计算机网络实现专家经验和知识的共享,便可在法律教育和培训中发挥多方面的作用。例如, ⑴在法学院教学中发挥模拟法庭的作用,可以帮助法律专业学生巩固自己所学知识,并将法律知识应用于模拟的审判实践,从而较快地提高解决法律实践问题的能力。 ⑵帮助新律师和新法官全面掌握法律知识,迅速获得判案经验,在审判过程的跟踪检测和判决结论的动态校正中增长知识和才干,较快地接近或达到专家水平。 ⑶可使不同地区、不同层次的律师和法官及时获得有关法律问题的咨询建议,弥补因知识结构差异和判案经验多寡而可能出现的失误。 ⑷可以为大众提供及时的法律咨询,提高广大人民群众的法律素质,增强法律意识。六是辅助立法活动。人工智能法律系统不仅对辅助司法审判有重要的意义,而且对完善立法也具有实用价值。14例如,伦敦大学Imperial 学院的逻辑程序组将1981 年英国国籍法的内容形式化,帮助立法者发现了该法在预见性上存在的一些缺陷和法律漏洞。 立法辅助系统如能应用于法律起草和法律草案的审议过程,有可能事先发现一些立法漏洞,避免一个法律内部各种规则之间以及新法律与现有法律制度之间的相互冲突。
三、法理学在人工智能法律系统研究中的作用
1. 人工智能法律系统的法理学思想来源
关于人工智能法律系统之法理学思想来源的追踪,不是对法理学与人工智能的联系作面面俱到的考察,而旨在揭示法理学对人工智能法律系统的发展所产生的一些直接影响。
第一,法律形式主义为人工智能法律系统的产生奠定了理论基础。18-19 世纪的法律形式主义强调法律推理的形式方面,认为将法律化成简单的几何公式是完全可能的。这种以J·奥斯汀为代表的英国分析法学的传统,主张“法律推理应该依据客观事实、明确的规则以及逻辑去解决一切为法律所要求的具体行为。假如法律能如此运作,那么无论谁作裁决,法律推理都会导向同样的裁决。”16 换言之,机器只要遵守法律推理的逻辑,也可以得出和法官一样的判决结果。在分析法学家看来,“所谓`法治‘ 就是要求结论必须是大前提与小前提逻辑必然结果。”17 如果法官违反三段论推理的逻辑,就会破坏法治。这种机械论的法律推理观,反映了分析法学要求法官不以个人价值观干扰法律推理活动的主张。但是,它同时具有忽视法官主观能动性和法律推理灵活性的僵化的缺陷。所以,自由法学家比埃利希将法律形式主义的逻辑推理说称为“自动售货机”理论。然而,从人工智能就是为思维提供机械论解释的意义上说,法律形式主义对法律推理所作的机械论解释,恰恰为人工智能法律系统的开发提供了可能的前提。从人工智能法律系统研制的实际过程来看,在其起步阶段,人工智能专家正是根据法律形式主义所提供的理论前提,首先选择三段论演绎推理进行模拟,由Walter G. Popp 和 Bern-hard Schlink 在20 世纪70年代初开发了JUDI TH 律师推理系统。在这个系统中,作为推理大小前提的法律和事实之间的逻辑关系,被计算机以“如果A 和 B ,那么C”的方式加以描述,使机器法律推理第一次从理论变为现实。
第二, 法律现实主义推动智能模拟深入到主体的思维结构领域。法律形式主义忽视了推理主体的社会性。法官是生活在现实社会中的人,其所从事的法律活动不可能不受到其社会体验和思维结构的影响。法官在实际的审判实践中,并不是机械地遵循规则,特别是在遇到复杂案件时,往往需要作出某种价值选择。而一旦面对价值问题,法律形式主义的逻辑决定论便立刻陷入困境,显出其僵化性的致命弱点。法律现实主义对其僵化性进行了深刻的批判。霍姆斯法官明确提出“法律的生命并不在于逻辑而在于经验”18的格言。这里所谓逻辑,就是指法律形式主义的三段论演绎逻辑; 所谓经验,则包括一定的道德和政治理论、公共政策及直觉知识,甚至法官的偏见。法律现实主义对法官主观能动性和法律推理灵活性的强调,促使人工智能研究从模拟法律推理的外在逻辑形式进一步转向探求法官的内在思维结构。人们开始考虑,如果思维结构对法官的推理活动具有定向作用,那么,人工智能法律系统若要达到法官水平,就应该通过建立思维结构模型来设计机器的运行结构。TAXMAN 的设计就借鉴了这一思想,法律知识被计算机结构语言以语义网络的方式组成不同的规则系统,解释程序、协调程序、说明程序分别对网络结构中的输入和输出信息进行动态结构调整,从而适应了知识整合的需要。大规模知识系统的KBS( Know ledge Based System) 开发也注意了思维结构的整合作用,许多具有内在联系的小规模KBS 子系统,在分别模拟法律推理要素功能( 证成、法律查询、法律解释、法律适用、法律评价、理由阐述) 的基础上,又通过联想程序被有机联系起来,构成了具有法律推理整体功能的概念模型。19
第三, “开放结构”的法律概念打开了疑难案件法律推理模拟的思路。法律形式主义忽视了疑难案件的存在。疑难案件的特征表现为法律规则和案件之间不存在单一的逻辑对应关系。有时候从一个法律规则可以推出几种不同的结论,它们往往没有明显的对错之分; 有时一个案件面对着几个相似的法律规则。在这些情况下,形式主义推理说都一筹莫展。但是,法律现实主义在批判法律形式主义时又走向另一个极端,它否认具有普遍性的一般法律规则的存在,试图用“行动中的法律”完全代替分析法学“本本中的法律”。这种矫枉过正的做法虽然是使法律推理摆脱机械论束缚所走出的必要一步,然而,法律如果真像现实主义法学所说的那样仅仅存在于具体判决之中,法律推理如果可以不遵循任何标准或因人而异,那么,受到挑战的就不仅是法律形式主义,而且还会殃及法治要求实现规则统治之根本原则,并动摇人工智能法律系统存在的基础。哈特在法律形式主义和法律现实主义的争论中采取了一种折中立场,他既承认逻辑的局限性又强调其重要性; 既拒斥法官完全按自己的预感来随意判案的见解,又承认直觉的存在。这种折中立场在哈特“开放结构”的法律概念中得到了充分体现。法律概念既有“意义核心”又有“开放结构”,逻辑推理可以帮助法官发现问题的阳面,而根据社会政策、价值和后果对规则进行解释则有助于发现问题的阴面。开放结构的法律概念,使基于规则的法律推理模拟在受到概念封闭性的限制而对疑难案件无能为力时,找到了新的立足点。在此基础上,运用开放结构概念的疑难案件法律推理模型,通过逻辑程序工具和联想技术而建立起来。Gardner 博士就疑难案件提出两种解决策略:一是将简易问题从疑难问题中筛选出来,运用基于规则的技术来解决; 二是将疑难问题同“开放结构”的法律概念联系在一起,先用非范例知识如规则、控辩双方的陈述、常识来获得初步答案,再运用范例来澄清案件、检查答案的正确性。
第四,目的法学促进了价值推理的人工智能研究。目的法学是指一种所谓直接实现目的之“后法治”理想。美国法学家诺内特和塞尔兹尼克把法律分为三种类型。他们认为,以法治为标志的自治型法,过分强调手段或程序的正当性,有把手段当作目的的倾向。这说明法治社会并没有反映人类关于美好社会的最高理想,因为实质正义不是经过人们直接追求而实现的,而是通过追求形式正义而间接获得的。因此他们提出以回应型法取代自治型法的主张。在回应型法中,“目的为评判既定的做法设立了标准,从而也就开辟了变化的途径。同时,如果认真地对待目的,它们就能控制行政自由裁量权,从而减轻制度屈从的危险。反之,缺少目的既是僵硬的根源,又是机会主义的根源。”20 美国批判法学家昂格尔对形式主义法律推理和目的型法律推理的特点进行了比较,他认为,前者要求使用内容明确、固定的规则,无视社会现实生活中不同价值观念的冲突,不能适应复杂情况和变化,追求形式正义; 后者则要求放松对法律推理标准的严格限制,允许使用无固定内容的抽象标准,迫使人们在不同的价值观念之间做出选择,追求实质正义。与此相应,佩雷尔曼提出了新修辞学( New Rhetoric) 的法律理论。他认为,形式逻辑只是根据演绎法或归纳法对问题加以说明或论证的技术,属于手段的逻辑; 新修辞学要填补形式逻辑的不足,是关于目的的辩证逻辑,可以帮助法官论证其决定和选择,因而是进行价值判断的逻辑。他认为,在司法三段论思想支配下,法学的任务是将全部法律系统化并作为阐释法律的大前提,“明确性、一致性和完备性”就成为对法律的三个要求。而新修辞学的基本思想是价值判断的多元论,法官必须在某种价值判断的指示下履行义务,必须考虑哪些价值是“合理的、可接受的、社会上有效的公平的”。这些价值构成了判决的正当理由。21 制造人工智能法律系统最终需要解决价值推理的模拟问题,否则,就难以实现为判决提供正当理由的要求。为此, P. Wahlgren 提出的与人工智能相关的5 种知识表达途径中,明确地包括了以道义为基础的法律推理模型。22 引入道义逻辑,或者说在机器中采用基于某种道义逻辑的推理程序,强调目的价值,也许是制造智能法律系统的关键。不过,即使把道义逻辑硬塞给计算机,钢铁之躯的机器没有生理需要,也很难产生价值观念和主观体验,没办法解决主观选择的问题。在这个问题上,波斯纳曾以法律家有七情六欲为由对法律家对法律的机械忠诚表示了强烈怀疑,并辩证地将其视为法律发展的动力之一。只有人才能够平衡相互冲突的利益,能够发现对人类生存和发展至关重要的价值。因此,关于价值推理的人工智能模拟究竟能取得什么成果,恐怕还是个未知数。
2. 法理学对人工智能法律系统研制的理论指导作用
Gold and Susskind 指出:“不争的事实是,所有的专家系统必须适应一些法理学理论,因为一切法律专家系统都需要提出关于法律和法律推理性质的假设。从更严格的意义上说,一切专家系统都必须体现一种结构理论和法律的个性,一种法律规范理论,一种描述法律科学的理论,一种法律推理理论”。23人工智能法律系统的研究,不仅需要以法理学关于法律的一般理论为知识基础,还需要从法理学获得关于法律推理的完整理论,如法律推理实践和理论的发展历史,法律推理的标准、主体、过程、方法等等。人工智能对法律推理的模拟,主要是对法理学关于法律推理的知识进行人工智能方法的描述,建立数学模型并编制计算机应用程序,从而在智能机器上再现人类法律推理功能的过程。在这个过程中,人工智能专家的主要任务是研究如何吸收法理学关于法律推理的研究成果,包括法理学关于人工智能法律系统的研究成果。随着人工智能法律系统研究从低级向高级目标的推进,人们越来越意识到,对法律推理的微观机制认识不足已成为人工智能模拟的严重障碍。P. Wahlgren 指出, “许多人工智能技术在法律领域的开发项目之所以失败,就是因为许多潜在的法理学原则没有在系统开发的开始阶段被遵守或给予有效的注意。”“法理学对法律推理和方法论问题的关注已经有几百年,而人工智能的诞生只是本世纪50 年代中期的事情,这个事实是人工智能通过考察法理学知识来丰富自己的一个有效动机。”24 因此,研究法律推理自动化的目标,“一方面是用人工智能( 通过把计算机的应用与分析模型相结合) 来支撑法律推理的可能性; 另一方面是应用法理学理论来解决作为法律推理支撑系统的以及一般的人工智能问题。”25 在前一方面,是人工智能法律系统充当法律推理研究的思想实验手段以及辅助司法审判的问题。后一方面,则是法律推理的法理学研究成果直接为人工智能法律系统的研制所应用的问题。例如, 20 世纪70 年代法理学在真实和假设案例的推理和分析方面所取得的成果,已为几种人工智能法律装置借鉴而成为其设计工作的理论基础。在运用模糊或开放结构概念的法律推理研究方面,以及在法庭辩论和法律解释的形式化等问题上,法理学的研究成果也已为人工智能法律系统的研究所借鉴。
四、人工智能法律系统研究的难点
人工智能法律系统的研究尽管在很短的时间内取得了许多令人振奋的成果,但它的发展也面临着许多困难。这些困难构成了研究工作需要进一步努力奋斗的目标。
第一, 关于法律解释的模拟。在法理学的诸多研究成果中,法律解释的研究对人工智能法律系统的研制起着关键作用。法律知识表达的核心问题是法律解释。法律规范在一个法律论点上的效力,是由法律家按忠实原意和适合当时案件的原则通过法律解释予以确认的,其中包含着人类特有的价值和目的考虑,反映了法律家的知识表达具有主观能动性。所以,德沃金将解释过程看作是一种结合了法律知识、时代信息和思维方法而形成的,能够应变的思维策略。2 6目前的法律专家系统并未以知识表达为目的来解释法律,而是将法律整齐地“码放”在计算机记忆系统中仅供一般检索之用。然而,在法律知识工程系统中,法律知识必须被解释,以满足自动推理对法律知识进行重新建构的需要。麦卡锡说:“在开发智能信息系统的过程中,最关键的任务既不是文件的重建也不是专家意见的重建,而是建立有关法律领域的概念模型。”27建立法律概念模型必须以法律家对某一法律概念的共识为基础,但不同的法律家对同一法律概念往往有不同的解释策略。凯尔森甚至说:即使在国内法领域也难以形成一个“能够用来叙述一定法律共同体的实在法的基本概念”。28 尽管如此,法理学还是为法律概念模型的重建提供了一些方法。例如,德沃金认为,法官在“解释”阶段,要通过推理论证,为自己在“前解释”阶段所确定的大多数法官对模糊法律规范的“一致看法”提供“一些总的理由”。获取这些总的理由的过程分为两个步骤:首先,从现存的明确法律制度中抽象出一般的法律原则,用自我建立的一般法律理论来证明这种法律原则是其中的一部分,证明现存的明确法律制度是正当的。其次,再以法律原则为依据反向推出具体的法律结论,即用一般法律理论来证明某一法律原则存在的合理性,再用该法律原则来解释某一法律概念。TAXMAN 等系统装置已吸收了这种方法,法律知识被计算机结构语言以语义网络的方式组成不同的规则系统,解释程序使计算机根据案件事实来执行某条法律规则,并在新案件事实输入时对法律规则作出新的解释后才加以调用。不过,法律知识表达的进展还依赖于法律解释研究取得更多的突破。
第二, 关于启发式程序。目前的法律专家系统如果不能与启发式程序接口,不能运用判断性知识进行推理,只通过规则反馈来提供简单解释,就谈不上真正的智能性。启发式程序要解决智能机器如何模拟法律家推理的直觉性、经验性以及推理结果的不确定性等问题,即人可以有效地处理错误的或不完全的数据,在必要时作出猜测和假设,从而使问题的解决具有灵活性。在这方面,Gardner的混合推理模型, Edwina L. Rissland 运用联想程序对规则和判例推理的结果作集合处理的思路,以及 Massachusett s 大学研制的 CABARET( 基于判例的推理工具),在将启发式程序应用于系统开发方面都进行了有益的尝试。但是,法律问题往往没有唯一正确的答案,这是人工智能模拟法律推理的一个难题。选择哪一个答案,往往取决于法律推理的目的标准和推理主体的立场和价值观念。但智能机器没有自己的目的、利益和立场。这似乎从某种程度上划定了机器法律推理所能解决问题的范围。
第三, 关于法律自然语言理解。在设计基于规则的程序时,设计者必须假定整套规则没有意义不明和冲突,程序必须消灭这些问题而使规则呈现出更多的一致性。就是说,尽管人们对法律概念的含义可以争论不休,但输入机器的法律语言却不能互相矛盾。机器语言具有很大的局限性,例如, LDS 基于规则来模拟严格责任并计算实际损害时,表现出的最大弱点就是不能使用不精确的自然语言进行推理。然而,在实际的法律推理过程中,法律家对某个问题的任何一种回答都可根据上下文关系作多种解释,而且辩论双方总是寻求得出不同的结论。因此,智能法律专家系统的成功在很大程度上还依赖于自然语言理解研究工作的突破。牛津大学的一个程序组正在研究法律自然语言的理解问题,但是遇到了重重困难。原因是连法学家们自己目前也还没有建立起一套大家一致同意的专业术语规范。所以 Edw ina L.Rissland 认为,常识知识、意图和信仰类知识的模拟化,以及自然语言理解的模拟问题,迄今为止可能是人工智能面临的最困难的任务。对于语言模拟来说,像交际短语和短语概括的有限能力可能会在较窄的语境条件下取得成果,完全的功能模拟、一般“解决问题”能力的模拟则距离非常遥远,而像书面上诉意见的理解则是永远的终极幻想。29
五、人工智能法律系统的开发策略和应用前景
我们能够制造出一台什么样的机器,可以证明它是人工智能法律系统? 从检验标准上看,这主要是法律知识在机器中再现的判定问题。根据“图灵试验”原理,我们可将该检验标准概括如下:设两间隔开的屋子,一间坐着一位法律家,另一间“坐着”一台智能机器。一个人( 也是法律家) 向法律家和机器提出同样的法律问题,如果提问者不能从二者的回答中区分出谁是法律家、谁是机器,就不能怀疑机器具有法律知识表达的能力。依“图灵试验”制定的智能法律系统检验标准,所看重的是功能。只要机器和法律家解决同样法律问题时所表现出来的功能相同,就不再苛求哪个是钢铁结构、哪个是血肉之躯。人工智能立足的基础,就是相同的功能可以通过不同的结构来实现之功能模拟理论。从功能模拟的观点来确定人工智能法律系统的研究与开发策略,可作以下考虑:
第一, 扩大人工智能法律系统的研发主体。现有人工法律系统的幼稚,暴露了仅仅依靠计算机和知识工程专家从事系统研发工作的局限性。因此,应该确立以法律家、逻辑学家和计算机专家三结合的研发群体。在系统研发初期,可组成由法学家、逻辑与认知专家、计算机和知识工程专家为主体的课题组,制定系统研发的整体战略和分阶段实施的研发规划。在系统研发中期,应通过网络等手段充分吸收初级产品用户( 律师、检察官、法官) 的意见,使研发工作在理论研究与实际应用之间形成反馈,将开发精英与广大用户的智慧结合起来,互相启发、群策群力,推动系统迅速升级。
第二, 确定研究与应用相结合、以应用为主导的研发策略。目前国外人工智能法律系统的研究大多停留在实验室领域,还没有在司法实践中加以应用。但是,任何智能系统包括相对简单的软件系统,如果不经过用户的长期使用和反馈,是永远也不可能走向成熟的。从我国的实际情况看,如果不能将初期研究成果尽快地转化为产品,我们也难以为后续研究工作提供雄厚的资金支持。因此,人工智能法律系统的研究必须走产研结合的道路,坚持以应用开路,使智能法律系统尽快走出实验室,同时以研究为先导,促进不断更新升级。
第三, 系统研发目标与初级产品功能定位。人工智能法律系统的研发目标是制造出能够满足多用户( 律师、检察官、法官、立法者、法学家) 多种需要的机型。初级产品的定位应考虑到,人的推理功能特别是价值推理的功能远远超过机器,但人的记忆功能、检索速度和准确性又远不如机器。同时还应该考虑到,我国目前有12 万律师, 23 万检察官和21 万法官,每年1. 2万法学院本科毕业生,他们对法律知识的获取、表达和应用能力参差不齐。因此,初级产品的标准可适当降低,先研制推理功能薄弱、检索功能强大的法律专家系统。可与计算机厂商合作生产具有强大数据库功能的硬件,并确保最新法律、法规、司法解释和判例的网上及时更新; 同时编制以案件为引导的高速检索软件。系统开发的先期目标应确定为:⑴替律师起草仅供参考的起诉书和辩护词; ⑵替法官起草仅供参考的判决书; ⑶为法学院学生提供模拟法庭审判的通用系统软件,以辅助学生在起诉、辩护和审判等诉讼的不同阶段巩固所学知识、获得审判经验。上述软件旨在提供一个初级平台,先解决有无和急需,再不断收集用户反馈意见,逐步改进完善。
第四, 实验室研发应确定较高的起点或跟踪战略。国外以知识工程为主要技术手段的人工智能法律系统开发已经历了如下发展阶段:⑴主要适用于简单案件的规则推理; ⑵运用开放结构概念的推理; ⑶运用判例和假设的推理; ⑷运用规则和判例的混合推理。我们如确定以简单案件的规则推理为初级市场产品,那么,实验室中第二代产品开发就应瞄准运用开放结构概念的推理。同时,跟踪运用假设的推理及混合推理,吸收国外先进的KBS 和HYPO 的设计思想,将功能子系统开发与联想式控制系统结合。HYPO 判例法推理智能装置具有如下功能:⑴评价相关判例; ⑵判定何方使用判例更加贴切; ⑶分析并区分判例; ⑷建立假设并用假设来推理; ⑸为一种主张引用各种类型的反例; ⑹建立判例的引证概要。HYPO 以商业秘密法的判例推理为模拟对象,假设了完全自动化的法律推理过程中全部要素被建立起来的途径。值得注意的是,HYPO 忽略了许多要素的存在,如商业秘密法背后的政策考虑,法律概念应用于实际情况时固有的模糊性,信息是否已被公开,被告是否使用了对方设计的产品,是否签署了让与协议,等等。一个系统设计的要素列表无论多长,好律师也总能再多想出一些。同样,律师对案件的分析,不可能仅限于商业秘密法判例,还可能援引侵权法或专利法的判例,这决定了起诉缘由的多种可能性。Ashley 还讨论了判例法推理模拟的其他困难:判例并不是概念的肯定的或否定的样本,因此,要通过要素等简单的法律术语使模糊的法律规则得到澄清十分困难, 法律原则和类推推理之间的关系还不能以令人满意的方式加以描述。 30 这说明,即使具有较高起点的实验室基础研究,也不宜确定过高的目标。因为,智能法律系统的研究不能脱离人工智能的整体发展水平。
第五, 人--机系统解决方案。人和机器在解决法律问题时各有所长。人的优点是能作价值推理,使法律问题的解决适应社会的变化发展,从而具有灵活性。机器的长处是记忆和检索功能强,可以使法律问题的解决具有一贯性。人--机系统解决方案立足于人与机器的功能互补,目的是解放人的脑力劳动,服务于国家的法治建设。该方案的实施可以分为两个阶段:第一阶段以人为主,机器为人收集信息并作初步分析,提供决策参考。律师受理案件后,可以先用机器处理大批数据,并参考机器的起诉和辩护方案,再做更加高级的推理论证工作。法官接触一个新案件,或新法官刚接触审判工作,也可以先看看“机器法官”的判决建议或者审判思路,作为参考。法院的监督部门可参照机器法官的判决,对法官的审判活动进行某种监督,如二者的判决结果差别太大,可以审查一下法官的判决理由。这也许可以在一定程度上制约司法腐败。在人-机系统开发的第二阶段,会有越来越多的简单案件的判决与电脑推理结果完全相同,因此,某些简单案件可以机器为主进行审判,例如,美国小额法庭的一些案件,我国法庭可用简易程序来审理的一些案件。法官可以作为“产品检验员”监督和修订机器的判决结果。这样,法官的判案效率将大大提高,法官队伍也可借此“消肿”,有可能大幅度提高法官薪水,吸引高素质法律人才进入法官队伍。
未来的计算机不会完全取代律师和法官,然而,律师和法官与智能机器统一体的出现则可能具有无限光明的前景。31可以预见,人工智能将为法律工作的自动化提供越来越强有力的外脑支持。电脑律师或法官将在网络所及的范围内承担起诸如收债、税务、小额犯罪诉讼等职能。自动法律推理系统将对诉讼活动发挥越来越多的辅助作用,例如,通过严密的演绎逻辑使用户确信全部法律结论得出的正当性; 在解决相互冲突的规则、判例和政策问题时提示可能出现的判决预测; 等等。正如网络的出现打破了少数人对信息的垄断一样,电脑法律顾问的问世,将打破法官、律师对法律知识的垄断,极大地推动法律知识的普及,迅速提高广大人民群众的法律素质,使法律真正变为群众手中的锐利武器。
人工智能要用“人工的、模拟的、假的”智能来代替人类自然的、原型的、真的智能,而且要达到以假乱真的目的。愈是真假难辨,愈能显示人的智慧,解放人的脑力劳动,在更深的层次和更广的范围提高人类改造自然和改造自身的能力。从这个意义上说,人工智能的发展没有界限。人工智能的模拟实验与法理学的学术研究,在推动人工智能法律系统的进化方面是互相补充的。因此,人工智能法律系统的前景,一方面取决于智能模拟技术的发展,另一方面也取决于法理学对法律推理研究的深化。从信心方面说,“不容质疑的是,能够执行复杂计划和法律推理的计算机系统肯定是未来几十年法律实践的一场革命。”32 本文原载《法学评论》2001年第5期