撰文／楊安卓 本文轉(zhuǎn)自'法學(xué)學(xué)術(shù)前沿'
作者：楊安卓，工學(xué)學(xué)士，法學(xué)博士，歷史學(xué)博士后，華中科技大學(xué)法學(xué)院教師，微軟認(rèn)證系統(tǒng)工程師（MCSE），主要研究領(lǐng)域為法律的歷史與未來。他在法史領(lǐng)域的主要研究興趣為郵傳律，通信與帝國治理；他在未來法治領(lǐng)域的研究包括理論與工程兩個方面，其中理論研究側(cè)重法律的可計算性與計算復(fù)雜性問題，工程研究主要側(cè)重法律語言和自然語言處理（LNLP），語義網(wǎng)、知識圖譜與立法及公共政策。
法律人工智能是否可能？從根本上而言，取決于法律是否可以計算。從17世紀(jì)起，法學(xué)家們就致力于將法律推理的過程形式化，以便于用數(shù)學(xué)的方式來實現(xiàn)對推理的計算。同時，他們還不斷嘗試制造計算機器和機械設(shè)備來完成其構(gòu)想的計算功能。
從霍布斯說出“推理即計算”以后，數(shù)百年間，人們的嘗試經(jīng)歷幾度反復(fù)，哲學(xué)家們徘徊于一元論和二元論之間；徘徊于決定論和自由意志之間；法學(xué)家則徘徊于概念主義、形式主義、機械主義，與實用主義、現(xiàn)實主義之間。其中自然科學(xué)和技術(shù)的每一次發(fā)展，都深刻地影響了對法律的科學(xué)性與可計算性的評估。每一次計算設(shè)備和計算能力的提升，仿佛總昭示著法律科學(xué)的新生，有可能帶來形式完備的規(guī)則和精準(zhǔn)確定的推理，然而司法活動的現(xiàn)實又每每使這一夢想破滅。隨著下一輪技術(shù)的進步，新的數(shù)學(xué)、邏輯和算法工具的發(fā)明，又使得計算法律的理想總能夠再一次死灰復(fù)燃，或涅磐重生。
這一次（電子計算機+互聯(lián)網(wǎng)），人類是否真的逼近了萊布尼茨“讓我們計算”的高貴夢想？如果這一次不行，那么下一次（量子計算機+萬物互聯(lián)）呢？計算主義的興起，將帶給我們?nèi)碌囊暯恰?/p>
30多年前，青年法學(xué)家張力行在北大法學(xué)院圖的陋室里揮汗如雨地盤弄著使用8088芯片的原始PC機，試圖搭建起中國早期的法律專家系統(tǒng)。后來大家都知道了，這個系統(tǒng)演進至今，成為廣為人知的智能法律信息系統(tǒng)北大法寶。
300多年前，選帝侯掌譜人萊布尼茨設(shè)計出機械齒輪的乘法機，試圖用加減計算的方式搭構(gòu)筑起德國最完美的法典。當(dāng)然，以那時候的算力基礎(chǔ)而論，他不能不走向失敗。然而萊布尼茨為表征社會世界而發(fā)明的二進制，啟發(fā)了后世電子計算機的宏偉事業(yè)。
萊布尼茨的乘法機
由此上溯到公元前200多年前，戰(zhàn)國末年秦國的一個叫喜的基層法律官員，從他在睡虎地被發(fā)掘的墓中，人們看到了大量的律令，以及算數(shù)書與算籌。喜是否曾用算籌來計算法律？秦律高度精密的規(guī)定需要嚴(yán)密的法律推理與精確的數(shù)學(xué)計算，從出土秦律看，商功、均輸、勾股等算法，均已廣泛用于法律計算。
睡虎地出土算籌
在喜、萊布尼茨、張力行的時代，他們尚能動起手來，搭建起當(dāng)時條件下自己所能擁有的最佳算力而致力于法律計算，今天坐擁超級計算機和5G移動通信網(wǎng)絡(luò)的青年法律人，還有什么借口疑慮、坐等、翹盼人工智能時代法學(xué)的來臨呢？同學(xué)們，來，讓我們計算法學(xué)！
