專利名稱：法律推理分析方法和裝置的制作方法
技術(shù)領(lǐng)域：
本發(fā)明涉及法律分析，推理和決策領(lǐng)域。更具體地講，本發(fā)明涉及一種法律推理分析方法，一種法律決策裝置，一種法律推理分析投票系統(tǒng)，一種法律推理計算機程序和存儲計算機程序的存儲介質(zhì)，和一種被建立以描述法律推理分析的法律映像。
背景技術(shù)：
當(dāng)前，包括立法、解釋和應(yīng)用法律的法律推理和決策并不是根據(jù)關(guān)于方法的任何清楚的標(biāo)準(zhǔn)。事實上，作為法律決策基礎(chǔ)的實用推理過程往往被自由、公平或自然法則之類的理想主義的概念混淆。推理的準(zhǔn)確結(jié)構(gòu)一直被隱藏，或在一些情況下，決策者本身并不確切了解達到一個特定的結(jié)論包含怎樣的邏輯。
分析經(jīng)濟決策過程的慣用方法提供了一種對法律決策過程的說明性比較。更具體地講，作為經(jīng)濟學(xué)中的選擇性定價理論的原始形式的決策樹形圖是眾所周知的。如圖18中所示，決策樹形圖基本上是一個帶有許多伸出的分枝的樹干，其用作一種準(zhǔn)確地測量經(jīng)濟價值，預(yù)期的報酬，以及二者之間的關(guān)系的決策工具。一般在分析的每個階段，利用事件和預(yù)期報酬發(fā)生的概率和偽概率，選擇(可能的最佳選擇)一個具有最高報酬(報酬的純現(xiàn)在價值)的分枝。可以將決策樹形圖同樣地用于通過乘以每個分枝的偽概率來計算每個分枝的預(yù)期(純現(xiàn)在)價值。產(chǎn)生最高報酬的分枝潛在地指出了要選擇的最恰當(dāng)?shù)倪x擇對象。
一方面，決策樹形圖包括具有有限長度的分枝。在某個階段，一個分枝終止，即，分枝沒有無限地延伸。這是由于在評價遠(yuǎn)端未來事件中存在著限制或約束。如果每個分枝的報酬具有一個無限負(fù)的值，那么不存在可能的選擇。也就是說，在每種情況下，這種情形都是災(zāi)難性的。另一方面，當(dāng)僅有一個有限值選擇，并且其它選擇產(chǎn)生無限負(fù)的報酬時，要選擇的答案是明確的，即，該產(chǎn)生有限報酬的分枝。出于這種觀點，有時在某種特定情形或條件下，存在某種唯一的可識別的答案。法律決策符合這樣一種特定情形。
經(jīng)濟決策過程是要使現(xiàn)金流動的利潤或現(xiàn)在價值最大化，而法律決策過程是要防止總體破壞性災(zāi)難的發(fā)生。兩種過程都是基于未來預(yù)測的分解和重組的分析判斷。但是，法律決策過程并不是要使預(yù)期價值最大化。法律決策過程是要理想地指出作出不會在應(yīng)用法律中導(dǎo)致不可接受的或災(zāi)難性的后果的唯一選擇的途徑。在這種意義上，法律決策過程是經(jīng)濟決策過程的一個假設(shè)一些特殊環(huán)境的子集。在這種意義上，將決策樹形圖或貼現(xiàn)現(xiàn)金流量分析用于法律決策是不適當(dāng)?shù)摹?br> 此外，傳統(tǒng)法律推理僅根據(jù)字的分析。結(jié)果，有時存在著在分析的寫出的(或口述的)說明中不能清楚表現(xiàn)的推理上的跳躍或詭辯。由于缺乏合理的程序，反駁這種決策是相當(dāng)困難的，滋生出所謂的“無休止的辯論”。而且，當(dāng)事雙方不容易理解作為決策過程的基礎(chǔ)的討論的焦點，更不用說后來企圖分析決策的第三方了。

發(fā)明內(nèi)容
鑒于上述原因，通過本發(fā)明的一個或多個不同方面和/或?qū)嵤├榻B本發(fā)明，以完成下述的一個或更多的目的和優(yōu)點。
本發(fā)明的第一個目的是要提供一種闡明了法律推理過程的法律決策裝置和法律推理分析方法。本發(fā)明的第二個目的是要提供一種特別是向第三方進一步闡明法律推理過程的結(jié)果的投票系統(tǒng)。本發(fā)明的第三個目的是要提供一種實施法律推理分析方法以便闡明法律推理過程的計算機程序。本發(fā)明的第四個目的是要提供一種建立一個進一步闡明法律推理過程的法律映像的方法。
本發(fā)明的一個方面提供了一種用于分析確定一個法規(guī)的法律推理的方法。該方法包括通過一個計算機網(wǎng)絡(luò)呈遞該法規(guī)的一個立法目的，并且確定對應(yīng)于該立法目的的一個初始法規(guī)。通過計算機網(wǎng)絡(luò)呈遞一個潛在妨礙該立法目的的不適合初始法規(guī)的初始設(shè)想。通過修改初始法規(guī)以消除不適合初始法規(guī)的初始設(shè)想造成的潛在妨礙，確定一個第二法規(guī)。也可以通過計算機網(wǎng)絡(luò)呈遞第二法規(guī)。也可以呈遞一個潛在地妨礙立法目的的不適合初始和第二法規(guī)中的至少一個的第二設(shè)想。然后，可以通過修改第二法規(guī)以消除不適合初始法規(guī)或第二法規(guī)的第二設(shè)想的潛在妨礙，確定一個第三法規(guī)。
呈遞不適合的設(shè)想可以包括通過多個參與者可接入的計算機網(wǎng)絡(luò)呈遞一個不適合的建議設(shè)想。接收有關(guān)是否同意該不適合的建議設(shè)想為一個噩夢的投票。當(dāng)投票確定參與者同意不適合的建議設(shè)想是一個噩夢時，則將不適合的建議設(shè)想作為不適合初始設(shè)想呈遞?？梢曰旧贤瑫r地通過計算機網(wǎng)絡(luò)至少顯示同意不適合的建議設(shè)想是噩夢的參與者的百分比。
本發(fā)明的另一方面提供了一種用于建立描述確定法規(guī)的法律推理的法律映像的方法。該方法包括呈遞法規(guī)的目的，確定一個初始法規(guī)以代表該目的，和在一個三角形的第一位置上描述初始法規(guī)。呈遞一個不適合初始法規(guī)的設(shè)想并在三角形的第二位置上描述。導(dǎo)出一個應(yīng)對不適合初始法規(guī)的設(shè)想的第二法規(guī)并在三角形的第三位置上描述。也可以在一個第二三角形的第一位置上描述第二法規(guī)。然后呈遞不適合第二法規(guī)的第二設(shè)想并在第二三角形的第二位置上描述。導(dǎo)出一個應(yīng)對不適合第二法規(guī)的第二設(shè)想的第三法規(guī)并在第二三角形的第三位置上描述。
本發(fā)明的再一方面提供了一種用于存儲一個使得法律推理的分析能夠?qū)С鲇嘘P(guān)一個目的的法規(guī)的計算機程序的計算機可讀介質(zhì)。計算機可讀介質(zhì)包括一個接收法規(guī)的目的和一個被建議以達到該目的的初始法規(guī)的接收源代碼片段，和一個呈遞一個不適合初始法規(guī)的設(shè)想的呈遞源代碼片段。接收源代碼片段接收從初始法規(guī)導(dǎo)出的、解決不適合設(shè)想的第二法規(guī)。計算機可讀介質(zhì)可以進一步包括一個存儲法律推理數(shù)據(jù)的存儲源代碼片段，該數(shù)據(jù)包括目的、初始法規(guī)、不適合設(shè)想、和第二法規(guī)。多個用戶可以通過數(shù)據(jù)網(wǎng)絡(luò)訪問存儲的數(shù)據(jù)。
呈遞源代碼片段可以進一步包括呈遞一個不適合于第二法規(guī)指出的目的的第二設(shè)想。然后，接收源代碼片段接收一個從第二法規(guī)導(dǎo)出的、解決第二不適合設(shè)想的第三法規(guī)。
本發(fā)明的又一個方面提供了一種用于分析確定一個法規(guī)的法律推理的系統(tǒng)，該系統(tǒng)包括一個運行用于法律推理分析的計算機程序的中央處理單元，和一個連接到中央處理單元的服務(wù)器。多個用戶終端可以通過一個分組交換數(shù)據(jù)網(wǎng)絡(luò)接入服務(wù)器。中央處理單元通過服務(wù)器向用戶終端呈遞法規(guī)的一個目的，和接收有關(guān)該立法目的的一個初始法規(guī)。中央處理單元接收一個不適合初始法規(guī)指出的目的的建議設(shè)想，和通過服務(wù)器向用戶終端呈遞不適合的建議設(shè)想。然后，中央處理單元接收來自用戶終端的投票，并且根據(jù)投票，確定是否預(yù)定數(shù)量的參與者同意該不適合的建議設(shè)想是不適合于初始法規(guī)指出的目的的實際設(shè)想。當(dāng)中央處理單元確定多數(shù)參與者同意該不適合的建議設(shè)想就是實際不適合設(shè)想時，中央處理單元接收一個從初始法規(guī)導(dǎo)出的、解決實際不適合設(shè)想的第二法規(guī)。系統(tǒng)可以進一步包括一個存儲有關(guān)法律推理分析的數(shù)據(jù)、連接到中央處理單元的存儲器數(shù)據(jù)庫。存儲的數(shù)據(jù)包括目的、初始法規(guī)、實際不適合設(shè)想、第二法規(guī)和投票結(jié)果。
本發(fā)明的又一個方面提供了一種用于分析導(dǎo)出一個最終法規(guī)的法律推理的方法。該方法包括確定最終法規(guī)的一個目的，確定一個對應(yīng)于該目的的初始法規(guī)，并且連續(xù)地呈遞潛在地妨礙該目的的情景。對于每個潛在地妨礙該目的的情景，連續(xù)地確定消除了潛在障礙的對應(yīng)修正法規(guī)。將連續(xù)確定的修正法規(guī)的一個最后修正法規(guī)識別為最終法規(guī)。方法可以進一步包括接收有關(guān)每個建議的情景是否包括一個潛在妨礙該目的的情景的投票結(jié)果。


以下通過參考以本發(fā)明的優(yōu)選實施例的非限制性示例的方式注釋的附圖，進一步詳細(xì)地說明本發(fā)明，在幾個視圖中的相同的參考號代表相同的部件，在附圖中圖1是說明根據(jù)本發(fā)明一個方面的，用于實現(xiàn)法律決策方法的法律決策裝置的示例結(jié)構(gòu)的方框圖；圖2是說明一個根據(jù)本發(fā)明的一個方面的，用于經(jīng)過因特網(wǎng)接入法律決策裝置的示例系統(tǒng)的方框圖；圖3示出了根據(jù)本發(fā)明的一個方面的，法律推理分析方法的基本單元；圖4示出了根據(jù)本發(fā)明的一個方面的，結(jié)合法律推理分析方法的各個基本單元建立一個法律映像的過程；圖5示出了根據(jù)本發(fā)明的一個方面的，一個通過法律推理分析方法建立的法律映像的示例；圖6示出了根據(jù)本發(fā)明的一個方面的，法律映像中指示的一個“線”(thread)的示例；圖7示出了根據(jù)本發(fā)明的一個方面的，法律映像中指示的x，y和z軸的示例；圖8示出了根據(jù)本發(fā)明的一個方面的，根據(jù)法律映像中指示的x，y和z軸定址的示例；圖9是說明根據(jù)本發(fā)明的一個方面的，成文法(positive laws)與“事實法(virtual laws)”或“邊緣法(marginal laws)”之間的關(guān)系的方框圖；圖10示出了根據(jù)本發(fā)明的一個方面的，一個因特網(wǎng)投票系統(tǒng)的示例結(jié)果；圖11示出了根據(jù)本發(fā)明的一個方面的，將法律推理分析方法的基本單元用于建立法律映像的一個示例；圖12示出了根據(jù)本發(fā)明的一個方面的，一個示例辯證決策樹；圖13示出了根據(jù)本發(fā)明的一個方面的，將法律推理分析方法復(fù)制到法律映像的示例；圖14是說明根據(jù)本發(fā)明的一個方面的，重言的概念的方框圖；圖15示出了根據(jù)本發(fā)明的一個方面的，一個法規(guī)的導(dǎo)出的示例；圖16是說明根據(jù)本發(fā)明的一個方面的，重言的概念的方框圖；圖17示出了根據(jù)本發(fā)明的一個方面的，在圖形用戶界面顯示的一個公布的數(shù)據(jù)庫的示例；和圖18示出了根據(jù)現(xiàn)有技術(shù)的，經(jīng)濟分析決策樹形圖。
實施例的詳細(xì)說明參考圖1-17說明本發(fā)明。圖1是說明一個用于實現(xiàn)法律推理分析方法的法律決策裝置的示例結(jié)構(gòu)的方框圖。法律決策裝置包括任何能夠執(zhí)行來源于本發(fā)明的各個步驟的編程邏輯的已知計算機系統(tǒng)，例如，包括個人計算機，字處理器，等等。如圖1中所示，法律決策裝置包括一個控制整個裝置的控制器11?？刂破?1經(jīng)過總線21連接到典型的接口和周邊設(shè)備，它們包括一個鍵盤12(包括十個數(shù)字鍵)，一個鼠標(biāo)器13，一個顯示器14，一個打印機15，一個存儲器16，一個存儲介質(zhì)驅(qū)動器17，和一個輸入/輸出接口19?？刂破?1包括一個中央處理單元(CPU)111，一個只讀存儲器(ROM)112，和一個隨機存取存儲器(RAM)113。ROM 112包含CPU 111用來進行各種控制和計算的各種事先存儲的程序和數(shù)據(jù)。CPU 111利用RAM 113作為工作存儲器。
鍵盤12可以包括用于輸入日本字符的假名鍵，十個數(shù)字鍵，用于執(zhí)行各種功能的功能鍵，光標(biāo)鍵，和其它慣用鍵。作為選擇，可以把任何語言中的字符結(jié)合到鍵盤12中。鼠標(biāo)器13是一種通過左擊鍵和顯示在顯示器14上的圖標(biāo)指定相應(yīng)的功能的定位輸入設(shè)備。顯示器14可以是一個陰極射線管(CRT)顯示器，液晶顯示器，或其它兼容圖形用戶界面。顯示器14可以顯示一個法律映像屏幕，以使用戶能夠輸入這里所述的各種宣布的觀點。打印機15用于打印法律映像和顯示器14上指出的其它信息。打印機15可以是任何與控制器11兼容的慣用打印機，包括，激光打印機，點陣打印機，噴墨打印機，頁式打印機，熱敏打印機，熱轉(zhuǎn)移打印機，等等。
存儲器16可以包括隨機存取存儲器，和用于讀出和寫入程序和數(shù)據(jù)之類的各種類型的信息的驅(qū)動器。存儲器16可以包括任何類型的計算機可讀存儲介質(zhì)，例如，可以包括硬盤。存儲介質(zhì)驅(qū)動器17同樣可以包括隨機存取存儲器。存儲器16包括一個法律映像數(shù)據(jù)庫161和一個因特網(wǎng)投票結(jié)果數(shù)據(jù)庫162。也還有圖1中未示出的其它數(shù)據(jù)存儲，例如，程序和數(shù)據(jù)的備份存儲。根據(jù)使用的需要，存儲器16可以適用于容納大量的數(shù)據(jù)。存儲介質(zhì)驅(qū)動器17是一個用于從包括存儲器16在內(nèi)的外存儲器讀入計算機程序和文件的CPU 111的驅(qū)動器。存儲的計算機程序包括用于法律決策裝置的各種處理過程的程序，以及有關(guān)的字典和數(shù)據(jù)?？梢越Y(jié)合各種不同的存儲介質(zhì)，例如，軟盤，硬盤，磁存儲介質(zhì)(例如磁帶，存儲器芯片)，半導(dǎo)體存儲介質(zhì)(例如，IC卡)，光學(xué)存儲介質(zhì)(例如，CD-ROM)。存儲介質(zhì)驅(qū)動器17可以從各種存儲介質(zhì)讀出計算機程序，和寫入數(shù)據(jù)以便存儲在RAM 113或存儲器16中，或存儲在軟盤之類的可重寫存儲介質(zhì)中。
在法律決策裝置中，控制器11中的CPU 111經(jīng)過存儲介質(zhì)驅(qū)動器17從外存儲介質(zhì)讀出計算機程序，并且把程序存儲在，例如，存儲器16中。然后，從存儲器16讀出由RAM 113執(zhí)行的程序，并且執(zhí)行。作為選擇，可以不是從存儲器16讀出計算機程序，而是經(jīng)過存儲介質(zhì)驅(qū)動器17直接從外存儲介質(zhì)輸入到RAM 113中。
圖2是顯示一個在多個可以經(jīng)過諸如因特網(wǎng)之類的分組交換數(shù)據(jù)網(wǎng)互連的計算機上操作的法律決策裝置的示例系統(tǒng)的方框圖。可以利用包括因特網(wǎng)兼容蜂窩電話，模擬和數(shù)字調(diào)制解調(diào)器和電纜調(diào)制解調(diào)器在內(nèi)的任何網(wǎng)絡(luò)兼容設(shè)備接入該系統(tǒng)。更具體地講，圖2示出了一個經(jīng)過分組交換數(shù)據(jù)網(wǎng)202接入因特網(wǎng)206的因特網(wǎng)兼容蜂窩電話200，和可用的因特網(wǎng)服務(wù)供應(yīng)者204。一旦在因特網(wǎng)上，蜂窩電話200被連接到一個法律推理分析萬維網(wǎng)服務(wù)器208，萬維網(wǎng)服務(wù)器208可以包括一個慣用的防火墻209，并且運行諸如微軟公司開發(fā)的Microsoft XP，和國際商用機器公司(IBM)開發(fā)的Lotus Domino之類的群件，或其它應(yīng)用軟件。萬維網(wǎng)服務(wù)器208可以與客戶210通信，客戶210可以包括一系列的臺式計算機?？蛻?10包括，例如，圖1中所示的法律決策裝置。
以下將根據(jù)本發(fā)明說明通過法律決策裝置實現(xiàn)的法律推理分析方法的綜述。用三角形單元代表方法的邏輯，在圖3中示出了它的一個實例。如在經(jīng)濟決策過程的模擬現(xiàn)金流量分析中一樣，可以將一個單一的法律決策表示為小的單一單元的辨證塊或單元的組合物。通過每個塊的分析，以及多個塊之間的連接或關(guān)系鏈(例如，一條“線”)的分析，可以進行更深入的法律決策。
在考慮法律推理分析方法時，可以從字的組(例如，字的全域)構(gòu)造一個稱為“事實法(Virtual Laws)”或“邊緣法(Marginal Laws)”的大的全面法律系統(tǒng)。如圖9所示，在事實法內(nèi)部是一個“實際法(Practical Laws)”的子集。可以將該法律系統(tǒng)描述為一個“法律映像”，在圖5-8中示出了法律映像的示例。法律映像的構(gòu)件包括連接矩形和圓形的線的三個方向。矩形代表事實法，圓形代表稱為“噩夢”或“不適合的結(jié)果”的執(zhí)行一個法規(guī)的不可接受的結(jié)果。從圖6的左下部到右上部的連接一系列的矩形的線路(line)或“線(thread)”代表“法規(guī)的系統(tǒng)(System of Laws)”。也是從圖6的左下部到右上部的連接一系列圓形的線代表“噩夢的組合物(Composition ofNightma res)”。圖6的曲折的粗線指出了根據(jù)本發(fā)明的一個實施例的典型的推理線。
通過以下示例說明使用一個法律映像實現(xiàn)法律推理分析方法。假設(shè)John帶著他的家狗Tiger慢跑。John負(fù)責(zé)照管Tiger。John決定建立一個慢跑的規(guī)則，這是一個事實法的示例。將這個規(guī)則在圖4的矩形402，以及圖11的矩形1102描述為“初始法規(guī)”。John通過咨詢家庭，朋友，老師和鄰居的意見制定了初始法規(guī)。圓形401和1101指示的法規(guī)的目的是要管理“John和Tiger的慢跑”以便促進John的健康。由圖4的矩形402和圖11的矩形1102指示的，John建立的初始法規(guī)是“John每天帶著他的狗Tiger慢跑”。
John的家庭和朋友的受影響的團體分析John的初始法規(guī)。例如，John的媽媽加入了“我們不希望John遇到車禍”。因此，John必須考慮車禍造成的死亡或傷害。在這種情況下，John同意“John遇車禍死亡”是一個噩夢(即，一個不適合于法規(guī)的目的和/或初始法規(guī)的設(shè)想)。用圖4的圓形406和圖11中的圓形1103指示這個噩夢。因此，John將他的法規(guī)修改為“John每天帶著他的狗Tiger慢跑，不穿過任何車輛交通繁忙的主要道路”。修改的法規(guī)是一個來源于初始法規(guī)的更詳細(xì)或更準(zhǔn)確的法規(guī)。用圖4的矩形408和圖11的矩形1104指示修改的法規(guī)。如圖11中清楚地顯示的，初始法規(guī)，噩夢，和修改法規(guī)形成了一個三角形?？梢匀菀椎乜闯?，已經(jīng)用調(diào)和初始法規(guī)和噩夢的辯證方法建立了詳細(xì)的法規(guī)。通過用辯證三角形圖解推理過程，即，建立一個法律映像，清楚地記錄了建立每個修改法規(guī)的邏輯。
接下來，假設(shè)一個鄰居說，“在晚上，附近有陌生人，所以John和Tiger最好不要在晚上慢跑”。因此，John必須考慮來自一個陌生人的襲擊造成的死亡或傷害，Johm同意這是第二個噩夢，用圖4的圓形410指示。John再次將他的法規(guī)修改為“John每天早晨帶著他的狗Tiger慢跑，不穿過任何車輛交通繁忙的主要道路”。這個用矩形412指示的第二修改法規(guī)比矩形408的修改法規(guī)更準(zhǔn)確。
接下來，John的父親說，“在臺風(fēng)天氣到外面是危險的”。John將臺風(fēng)期間倒下的樹木造成的死亡或傷害考慮為第三噩夢，用圓形414指示。因此，John再次將他的法規(guī)修改為“除了臺風(fēng)期間的早晨之外，John每天早晨帶著他的狗Tiger慢跑，不穿過任何車輛交通繁忙的主要道路”。用圖4的矩形416指示這個第三修改法規(guī)。
John的學(xué)校朋友Nancy說，“你最好不要經(jīng)過Kyte先生的住宅；他有一條惡狗，Gon”。John考慮了另一條狗對Tiger造成的傷害，以及他自己潛在的嚴(yán)重傷害。John確定最壞的情景是Gon咬他和Tiger，但是造成的傷害不致于是致命的。此外，John希望Tiger是強壯的，并且不懼怕其它狗。因此，不認(rèn)為John和Tiger被Gon傷害是一個噩夢。因此，John得出這樣的結(jié)論，“在慢跑時，John和Tiger不經(jīng)過Kyte先生的住宅”不應(yīng)當(dāng)直接或間接地被包括在法規(guī)中，如下面要討論的那樣。
John的老師Elizabeth進一步建議，“你最好在星期六和星期日中斷慢跑”。John考慮了由于過度的慢跑對他健康造成的損害。但是，他確定每天早晨慢跑可以改善他的健康，所以過度慢跑對健康的損害不是一個噩夢。John再一次決定不修改他的法規(guī)。
上述推理的結(jié)果是，John建立了以下結(jié)果John的法規(guī)“除了臺風(fēng)期間的早晨之外，John每天早晨帶著他的狗Tiger慢跑，不穿過任何車輛交通繁忙的主要道路”。圖6的粗線示出了推理的過程。
同樣地，可以用本發(fā)明的法律推理分析方法分析用于處理謀殺犯罪的法規(guī)。首先，確定法規(guī)的目的，即，“懲罰謀殺犯罪”?？紤]到在許多情況下，謀殺嫌疑犯確實犯了罪，建立以下的初始法規(guī)“殺人者應(yīng)當(dāng)判處死刑”。
接下來，如果允許殺人者過正常的生活，而沒有受到任何懲罰或懲罰的威脅，那么人們將會得出這樣的結(jié)論，他們可以不受懲罰地做他們想做的任何事，甚至謀殺。在這種情況下，我們認(rèn)為“原始競爭”或“無政府狀態(tài)”是一個噩夢。為此，我們建立第一修改法規(guī)來應(yīng)對該噩夢“無故殺人者應(yīng)當(dāng)判處死刑”。
但是，在那些殺人者中間有一些人并非是故意殺人。在這種情況下，我們將“處死意外致人死亡者”考慮為一個噩夢。因此，為了應(yīng)對這種噩夢造成的潛在悲慘結(jié)果，建立了一個更準(zhǔn)確的第二修改法規(guī)“具有殺人故意的殺人者應(yīng)當(dāng)判處死刑”。
此外，存在著利用人作為他們的謀殺工具殺死其他人的人。例如，雇傭職業(yè)殺手殺害另一人應(yīng)當(dāng)是不可容忍的，盡管雇傭殺手的人并沒有實際執(zhí)行謀殺的行為。我們認(rèn)為“允許雇傭其他人實施謀殺的殺人者不受懲罰”是一個噩夢。因此，第三修改法規(guī)是“具有殺人的故意的造成殺人致死者應(yīng)當(dāng)判處死刑”。
此外，存在著人們?yōu)榱朔乐顾麄冏约罕粴⒍鴼⑺懒硪粋€人的情況。在這種情況下，我們認(rèn)為“處死故意殺人致死，但是是出于自衛(wèi)的人”是一個噩夢。因此，更準(zhǔn)確的第四修改法規(guī)是“除了為防止自身被殺而致人死命者之外，具有殺人的故意的造成殺人致死者應(yīng)當(dāng)判處死刑”。
此外，從實際立場看，顯然將受嫌殺死另一個人的每個人都判處死刑不可能總是適當(dāng)?shù)摹Ｒ粋€被認(rèn)為殺死了另一個人并且因而被判處死刑的人后來可能被確定實際上并沒有犯罪。在這種情況下，對于被告來說就不存在恢復(fù)或挽回的機會。因此，我們認(rèn)為“一個因為殺死了另一個人而被判處死刑的人后來被發(fā)現(xiàn)并沒有殺人”是一個噩夢，這叫作“誣告”。因此，我們將法規(guī)修改為“除了為防止自身被殺而致人死命者之外，具有殺人的故意的造成殺人致死者應(yīng)當(dāng)判處死刑或勞役拘禁”。
如在上述示例中所見，法律推理分析方法的功能足以闡明建立法規(guī)的推理過程。更重要的是，即使那些不懂得技術(shù)法律術(shù)語或概念(例如，勞役拘禁，正當(dāng)防衛(wèi)，自然法，等等)的人，如果他們有一個特定噩夢時，也能夠遵循法律推理分析方法。此外，一旦我們利用這種方法明白了思考過程，那么在由于情形改變而需要修改一個法規(guī)的情況下，我們能夠選出要討論的過程。法律推理分析方法提供了用于討論應(yīng)當(dāng)如何引伸或增強法律推理以達到更準(zhǔn)確的法規(guī)的材料。
接下來，說明事實法的范圍。在上述的第一示例中，(1)John因車禍死亡，(2)John因陌生人而死亡或受傷，和(3)John因倒下的樹木而受傷是噩夢(即，不符合現(xiàn)有法規(guī)代表的法規(guī)的目的的設(shè)想或情形)。這是由于John推斷這些情景代表了無限負(fù)報酬。在這個意義上，“有關(guān)John和Tiger的法規(guī)”是十分主觀的，僅可用于John。相反，如果John的朋友Ben認(rèn)為，John僅由于陌生人受傷并不代表一個無限負(fù)報酬，那么“有關(guān)John和Tiger的法規(guī)”的范圍和應(yīng)用，對于像“朋友”，“社會”或“學(xué)校”這樣的與“John和他的家庭”對立的替代世界(即，群組)又是可辨論的。
圖5和8示出了根據(jù)本發(fā)明的一個方面的示例法律映像。一個法律映像包括一系列的三個交叉線的組從左下到右上方的對角線，從左到右的水平線，和從右下到左上方的對角線。如圖7中所示并且在下面詳細(xì)說明的，這三個線的組分別對應(yīng)于法律映像的x，y和z軸。每一組中的三條線之間的每個交叉點由一個對應(yīng)的坐標(biāo)表示，例如，a，b和c，可以根據(jù)三條交叉線標(biāo)識法律映像上的每個位置(a，b，c)。如果，坐標(biāo)c(代表從右下到左上方的對角線)是一個偶數(shù)，那么用一個圓形代表法律映像上的對應(yīng)位置。如果坐標(biāo)c是一個奇數(shù)，那么用一個矩形代表法律映像上的對應(yīng)位置。圖8示出了交叉線系列，以及有關(guān)每個交叉點的地址和形狀。
圖10示出了根據(jù)本發(fā)明另一方面的，顯示“噩夢”的因特網(wǎng)投票系統(tǒng)的示例。因特網(wǎng)投票系統(tǒng)使得人們能夠經(jīng)過因特網(wǎng)之類的數(shù)據(jù)網(wǎng)絡(luò)參加并且利用一個一次點擊投票系統(tǒng)投票表決法律映像上的一個建議的情景是否構(gòu)成一個噩夢(即，一個不符合現(xiàn)有法規(guī)的目的的設(shè)想或情形)。例如，法律映像存儲在可以經(jīng)過因特網(wǎng)訪問的圖1的法律映像數(shù)據(jù)庫161中。因特網(wǎng)投票系統(tǒng)使得一個參與者能夠點擊顯示在每個參與者計算機顯示器14上的“我同意一個特定的設(shè)想或情形是一個噩夢”或“我不同意一個特定的設(shè)想或情形是一個噩夢”。在一個替代實施例中，投票選擇可以顯示在任何因特網(wǎng)兼容圖形用戶界面上，包括，例如，蜂窩電話的屏幕。
圖10示出了一個示例，在這個示例中，參與者對于語句，“一個國家擁有核武器”，是否相于維護世界和平的目的構(gòu)成了噩夢進行投票。在這個示例中，16,789個參與者中11,392個(67.9％)同意該語句是一個噩夢，而16,789個參與者中5,397個(32.1％)不同意該語句是一個噩夢。投票結(jié)果存儲到數(shù)據(jù)庫中，以便公眾能夠訪問。
因特網(wǎng)投票系統(tǒng)不是一個通過多數(shù)邏輯判斷一個提議的投票系統(tǒng)。其特征不同于現(xiàn)有的投票系統(tǒng)。投票的結(jié)果是以分母(即，總投票數(shù))，分子(即，表示贊同/不贊同的票數(shù))，和對應(yīng)百分點(即，表示贊同/不贊同的票數(shù)除以總投票數(shù))的形式顯示的。在本發(fā)明的一個實施例中，因特網(wǎng)投票系統(tǒng)網(wǎng)站的訪問者可以使自己熟悉噩夢的組合物的內(nèi)容，和對應(yīng)的贊同程度。
利用因特網(wǎng)投票系統(tǒng)，參與者可以分享對于每個噩夢的贊同的程度和范圍的研究，這是噩夢的組合物的一個構(gòu)件。經(jīng)過因特網(wǎng)公開有關(guān)法規(guī)的“事實”領(lǐng)域或“邊緣”領(lǐng)域中的共享噩夢的投票結(jié)果。按照慣例，這種領(lǐng)域(或討論)是通過選舉，多數(shù)邏輯或在個人之間討論處理的。公開的系統(tǒng)是以后將發(fā)展成為實際法規(guī)的事實或邊緣法規(guī)的討論的基礎(chǔ)。實際法規(guī)是由政府提出并實施的實用法規(guī)，例如，刑法，商業(yè)法，和其它立法。也就是說，通過因特網(wǎng)的投票結(jié)果是將來的法規(guī)或事實法的原始形式。
接下來，說明有關(guān)本發(fā)明的第三目的的實現(xiàn)，即，提供一個計算機程序以執(zhí)行法律推理分析方法的法律決策裝置。法律決策裝置將法律推理分析方法作為一個前提。因此，我們利用說明本發(fā)明的第一目的的示例說明法律決策裝置。
圖11示出了類別1和類別2表達式。類別1表達式是實際的，并且以字、句子、段落，等等描述，并且在圖11中用矩形符號表示。類別2表達式是概念上的，并且以設(shè)想、夢想、噩夢等描述，并且用圓形符號表示。如果以類別2形式寫出法規(guī)的目的，那么它是一個“法規(guī)的目的”或“立法目的”。在圖11中，例如，下部的圓形1101代表以類別2形式寫出的法規(guī)的目的。應(yīng)用前面的示例，法規(guī)的目的是要管理John和Tiger的慢跑，以促進John的健康。當(dāng)用字寫出，即，用類別1的形式寫出法規(guī)的目的時，它成為“John每天帶著他的狗Tiger慢跑”。這個跟隨在法規(guī)的目的之后的語句是位于圖11的矩形1102中的初始法規(guī)或法規(guī)1。
然后，我們想象在實施這個法規(guī)時的一個完全破壞性的災(zāi)難。將這個災(zāi)難叫作“一個法規(guī)的噩夢”或“一個不適合法規(guī)的設(shè)想”。如在圓形1103中指示的，用類別2形式寫出噩夢“John遇車禍死亡”。響應(yīng)這個想象的噩夢，導(dǎo)出第二法規(guī)，或法規(guī)2“John每天早晨帶著他的狗Tiger慢跑，不穿過任何車輛交通繁忙的主要道路”，如矩形1104中指示的。從矩形1102的初始法規(guī)導(dǎo)出矩形1104的第二法規(guī)是辯證法律推理的一個單元。一遍又一遍地重復(fù)辯證法律推理循環(huán)，直到一個最終建立的法規(guī)處于不能想象出在法規(guī)的應(yīng)用中出現(xiàn)額外的噩夢的階段。這就是法律推理的進程或過程。
在這種法律推理過程中，我們?nèi)绾慰紤]和判斷噩夢，即，如何確定“噩夢的組合物”是十分重要的。噩夢的組合物完全或顯著地影響法律推理過程的輸出和建立的法規(guī)的范圍。從建立法規(guī)方面來講，噩夢的理解對每個人都是不同的。
接下來，根據(jù)上述辯證法律推理，參考圖12說明辯證決策樹。決策樹形圖基本上是一種3-維結(jié)構(gòu)。但是，如下面將要說明的，可以將3-維結(jié)構(gòu)轉(zhuǎn)換成2-維圖。圖12代表了一個3-維示例。
就結(jié)構(gòu)而言，可以將3-維辯證決策樹形圖表達為一個生長的植物。圖12中所示的每個三角形是，例如，圖3中所示的一個辯證法律推理單元。如圖12中所示，從一個分枝，或枝條的分離，法律推理過程展開和生長。
圖12示出了法律推理過程中的兩種類型的展開，“導(dǎo)出分枝”(derivation)和“嫁接點”(grafting point)。導(dǎo)出分枝的意思是，根據(jù)與一個前提相同的初始法規(guī)，由于理解的噩夢是不同的，我們達到不同的、更準(zhǔn)確的法規(guī)。在辯證法律推理過程中，法規(guī)可以從任何以前陳述的法規(guī)，即，從法律映像上的任何矩形導(dǎo)出。在圖12中，將導(dǎo)出分枝表達為從兩個三角形的連接點延伸出的分枝。嫁接點是兩個建立的法規(guī)具有相同的范圍和值的點，盡管建立每個法規(guī)所遵循的路由，即，各自的噩夢組合物，是不同的。一個點是否是嫁接點，是由進行法律推理過程的那些人判斷的。作為確證，如下所述，重言可以指示一個點是否是一個嫁接點。
從科學(xué)觀點看，辯證決策樹形圖是一種自再生的分形(例如，一種自復(fù)制結(jié)構(gòu))。無論在哪個分枝切斷之處，都存在著一個從該切斷點開始的分枝組。辯證決策樹形圖顯示了一個法規(guī)系統(tǒng)。在理想情況下，通過復(fù)制分枝組算法，建立一個法規(guī)系統(tǒng)的數(shù)據(jù)庫。因此，我們說明如何將3-維辯證決策樹形圖轉(zhuǎn)換成一個2-維辯證圖，或一個2-維法律映像，并如何給法律映像定址。
首先，解釋如何給法律映像定址。如圖8中所示，法律映像的原點是(0，0，0)，它對應(yīng)于用類別2形式寫出的法規(guī)的一個目的。如上所述，從圖8的左下方伸展到右上方的線是x軸；從左到右伸展的線是y軸；和從右下方伸展到左上方的線是z軸(如圖7中所示)。因此，坐標(biāo)(a，b，c)分別定義了x，y和z軸上的點。用這種方式指示每個地址。例如，初始法規(guī)或法規(guī)1是(0，1，1)；噩夢1是(1，1，0)；法規(guī)2是(1，2，1)，等等。當(dāng)一個z軸的坐標(biāo)是偶數(shù)時，該位置是一個圓形(即，一個類別2位置)。當(dāng)一個z軸的坐標(biāo)是奇數(shù)時，該位置是一個矩形(即，一個類別1位置)。
接下來，利用“John和Tiger的法規(guī)”的一個擴展版本，根據(jù)一個導(dǎo)出分枝點的示例，說明從3-維辯證決策樹形圖轉(zhuǎn)換到法律映像的算法。在John確定第一修改法規(guī)“John每天早晨帶著他的狗Tiger慢跑，不穿過任何車輛交通繁忙的主要道路”時，他的朋友Kathleen對他說，“你已經(jīng)被選舉為合唱團的成員，合唱團在早晨有練習(xí)”。John向合唱團老師證實這個事實，老師說這是真的。因此，John考慮他是否應(yīng)當(dāng)早起30分鐘，例如，在530a.m.起床，以便帶Tiger慢跑。但是，他想象以下的噩夢“由于睡眠不足，John的健康受到損害”。這個噩夢的性質(zhì)與以前考慮的噩夢不同，與John的健康受到不利影響相反，所有以前考慮的噩夢都集中在對John和Tiger的身體的傷害和死亡上。因此，John建立導(dǎo)出法規(guī)1“John每天早晨帶著他的狗Tiger慢跑，不穿過任何車輛交通繁忙的主要道路，除了他在學(xué)校早晨有合唱練習(xí)的日子他不慢跑之外”。如圖15中所示，導(dǎo)出法規(guī)1是從法規(guī)2導(dǎo)出的。更具體地講，John設(shè)想了與法規(guī)2，即，第一修改法規(guī)，有關(guān)的兩個噩夢，這兩個噩夢導(dǎo)致發(fā)展法律分析的兩個分枝。
代表了上述推理的算法實際上是表示為如圖12中所示的3-維辯證決策樹的辯證法律推理算法。如下將3-維辯證決策樹形圖轉(zhuǎn)換成一個2-維法律映像(1)如果理解的噩夢指出了法律系統(tǒng)中的一個法規(guī)的導(dǎo)出，那么在y軸的有待導(dǎo)出的法規(guī)(或矩形)的右方尋找第一空圓形；(2)尋找一個利用第一空圓形作為右下角和有待導(dǎo)出的法規(guī)作為左下角的等邊三角形的剩余的點；(3)如果確定剩余的點是一個被占據(jù)的矩形(即，它已經(jīng)包含一個從有待導(dǎo)出的法規(guī)發(fā)展來的修改法規(guī))，那么返回到步驟(1)，使用第一空圓形的沿y軸的右方的下一個空圓形；(4)如果確定剩余的點是一個空矩形，那么描述一個應(yīng)對噩夢的導(dǎo)出法規(guī)；和(5)返回到步驟(1)，使用新描述的導(dǎo)出法規(guī)直到不能想象出更多的噩夢，這導(dǎo)致一個映射在一個單一線上的法律系統(tǒng)。在圖13中示出了一個用以容納導(dǎo)出法規(guī)的分枝擴展示例，指示了一個從辯證決策樹形圖導(dǎo)出的法律映像。圖13的實曲折線指示從有待導(dǎo)出的法規(guī)發(fā)展來的一個法律系統(tǒng)。虛曲折線指示從同一有待導(dǎo)出的法規(guī)導(dǎo)出的分枝法律系統(tǒng)。
可以經(jīng)過因特網(wǎng)，或用CD-ROM的形式，例如，“法律技術(shù)工具包”，向客戶提供上述的建立這種類型的法規(guī)映像的計算機程序。在一個實施例中，例如，可以在一個運行Microsoft Windows，Linux或UNIX操作系統(tǒng)的基于IBM Pentium的個人計算機上執(zhí)行該計算機程序。作為選擇，可以把計算機程序用作一個教育工具，使兒童養(yǎng)成和演練他們的法律決策能力。
現(xiàn)在說明在本發(fā)明中使用的“重言”的含義。通常將重言定義為在邏輯到達死端時用不同的字表示相同的意思的不必要的重復(fù)。但是，將本發(fā)明中使用的重言定義為一個支持邏輯的完整性的證據(jù)的法則。例如，當(dāng)應(yīng)用到“John和Tiger的法規(guī)”時，重言如下實現(xiàn)第一假設(shè)(A)——“John每天帶著他的狗Tiger慢跑”。
第二假設(shè)(B)——“John要避免由于車禍死亡地慢跑”，這是噩夢的否定。
結(jié)論(C)——“John每天帶著他的狗Tiger慢跑，不穿過任何車輛交通繁忙的主要道路”。
如果用字，即，類別1形式表達語句(A)，(B)和(C)，那么它們成為一個重言。但是實際上，不能以字表達語句(B)(這表明它是類別2形式)，并且語句(B)僅起到討論的驅(qū)動者的作用。結(jié)果，討論開展。如果將語句(B)從類別2形式轉(zhuǎn)換到類別1形式，那么結(jié)果將是一個確認(rèn)形成三角形的邏輯的完整性的重言，如圖14中所示。重言是邏輯不是一個跳躍(即，邏輯缺口)或離題的證據(jù)。
接下來，說明法律推理過程的時間值。在典型的決策樹形圖中，對于一個具有無限負(fù)的最終報酬的分枝，它的分枝的預(yù)期值是無限負(fù)，盡管它的概率是“任何”，即，∞*(任何概率)＝∞。因此，無論情景的開始到情景的終點的時間范圍如何，這些分枝的報酬總是無限負(fù)。因此，我們可以忽略具有無限負(fù)報酬的任何分枝的時間值。法律決策是一個用于選擇一個具有有限報酬的可能分枝(其它分枝的報酬具有無限負(fù)的報酬)的決策假定。因此，當(dāng)報酬是無限負(fù)時，可以忽略法規(guī)建立與噩夢發(fā)生之間的情景分析，或錢(報酬)的時間值。
接下來，說明有關(guān)本發(fā)明的第四目的的實現(xiàn)的法律決策過程的開源數(shù)據(jù)庫。根據(jù)以上的實現(xiàn)示例，建立一個能夠通過因特網(wǎng)在線訪問以便被人們共享的開源數(shù)據(jù)庫?？梢詫⒚總€參與者的法律推理移送到并且存儲在利用法律推理分析方法，即，一個辯證塊和一個決策單元作為更復(fù)雜的法律決策的構(gòu)件的數(shù)據(jù)庫中。數(shù)據(jù)庫是知識管理的基礎(chǔ)。
圖17示出了一個描述存儲在開源數(shù)據(jù)庫中的信息的萬維網(wǎng)顯示屏幕。將每個辯證塊顯示在參與者的圖形用戶界面上。第一修改法規(guī)，或法規(guī)1，顯示在方框1702中，第一預(yù)想噩夢顯示在圓形1704中，第二導(dǎo)出法規(guī)，或法規(guī)2，顯示在方框1706中。通過點擊圓形1704，參與者可以重寫噩夢。同樣地，通過點擊方框1706，參與者能夠重寫設(shè)計用于解決圓形1704的噩夢的第二修改法規(guī)。為了移動到串聯(lián)的下一個三個辯證塊的組，參與者點擊顯示的三角形的頂部的箭頭1710。通過點擊中央按鈕1708，可以看到整個結(jié)構(gòu)(例如，如圖6中所示的，包括“線”的法律映像)。通過在這個系統(tǒng)中前進，以真實的條件建立了一個人們的法規(guī)虛擬體。參與者能夠共享和公開它們的思想，以及提出、討論和分析他們的噩夢。而且，由于系統(tǒng)可以是全球的，因而全世界每個人都能從世界各地訪問數(shù)據(jù)庫。在這個意義上，本發(fā)明可以作為一個世界范圍的數(shù)據(jù)庫使用。
如上所述，本發(fā)明具有巨大的積極效果。例如，本發(fā)明能夠闡明特定的思想和法律推理過程，以根據(jù)建立法規(guī)的相關(guān)立法目的，建立一個特定的法規(guī)。遵循這個過程能夠建立適合于現(xiàn)實的并且使立法缺陷最小的更為適當(dāng)?shù)姆ㄒ?guī)?？梢酝ㄟ^使過程可視化的三角圖形，或一系列集成的三角圖形表示法律推理過程。觀察者一看馬上就能夠清楚地抓住立法背后的思考過程。這個過程可以通過計算機實現(xiàn)。
此外，過程可以向全體公眾開放，或向公眾的代表群體開放，以接收有關(guān)可能妨礙立法目的的各種情景的輸入。而且，過程可以包括投票結(jié)果，以確定各種情景對于立法目的是否足夠重要，保證在確定最終法規(guī)中作出正確的判斷。例如，因特網(wǎng)投票系統(tǒng)可以容納這種與公眾的互動，以建立未來法規(guī)。公眾同樣應(yīng)當(dāng)能夠使用投票的結(jié)果。
盡管參考了幾個示例性實施例說明了本發(fā)明，但應(yīng)當(dāng)理解，使用的字是說描述性和說明性的字，而不是限制性的字。可以在當(dāng)前陳述的和修訂的附屬權(quán)利要求的范圍內(nèi)進行修改，而不在本發(fā)明的各個方面上脫離本發(fā)明的范圍和精神。盡管本發(fā)明是參考特定實施例說明的，但本發(fā)明并不限于公開的特定實施例；而是，本發(fā)明包括附屬權(quán)利要求范圍內(nèi)的所有功能上等價的結(jié)構(gòu)、方法，和應(yīng)用。
根據(jù)本發(fā)明的各個實施例，這里所述的方法是為了作為在計算機處理器上運行的軟件程序操作?？梢酝瑯拥貥?gòu)造包括，但是不限于，專用集成電路、可編程序邏輯陣列、和其它硬件設(shè)備在內(nèi)的專用硬件，以實現(xiàn)這里所述的方法。此外，也可以構(gòu)造包括，但不限于，分布式處理或構(gòu)件/對象分布式處理、并行處理、或虛擬機處理在內(nèi)的軟件工具，以實現(xiàn)這里所述的方法。
應(yīng)當(dāng)注意，這里所述本發(fā)明的軟件工具是任選地存儲在有形的存儲介質(zhì)上的，例如磁盤或磁帶之類的磁介質(zhì)；光盤之類的磁-光或光學(xué)介質(zhì)；或諸如存儲卡或其它包裝了一個或更多的只讀(非易失性)存儲器、隨機存取存儲器、或其它可重寫(易失性)存儲器的封裝之類的固態(tài)介質(zhì)。連接到電子郵件或其它自包含信息檔案或檔案集的數(shù)字文件被看成是一個等價于有形存儲介質(zhì)的分布介質(zhì)。因此，應(yīng)當(dāng)認(rèn)為本發(fā)明包括有形的存儲介質(zhì)或分布介質(zhì)，如在這里所列出的，并且包括其中存儲了這里所述的軟件工具的技術(shù)上已知的等同物和將來出現(xiàn)的介質(zhì)。
盡管本說明書說明了在有關(guān)特定標(biāo)準(zhǔn)和協(xié)議的實施例中實現(xiàn)的構(gòu)件和功能，但本發(fā)明不限于這些標(biāo)準(zhǔn)和協(xié)議。每個用于因特網(wǎng)和其它分組交換網(wǎng)絡(luò)傳輸?shù)臉?biāo)準(zhǔn)(例如，TCP/IP，UDP/IP，HTML，HTTP)代表現(xiàn)有技術(shù)狀態(tài)的示例。這些標(biāo)準(zhǔn)定期地被具有基本上相同或更好的功能的更快或更有效的等同物代替。因此，將具有相同功能的替代標(biāo)準(zhǔn)和協(xié)議看成是等價物。
本公開涉及包含在2001年5月7日申請的優(yōu)先權(quán)日本專利申請2001-136201的技術(shù)主題，特意地將其全部內(nèi)容結(jié)合在此作為參考。
權(quán)利要求
1.一種用于分析用于確定一個法規(guī)的法律推理的方法，包括經(jīng)過一個計算機網(wǎng)絡(luò)呈遞法規(guī)的立法目的；確定對應(yīng)于立法目的的初始法規(guī)；經(jīng)過計算機網(wǎng)絡(luò)呈遞潛在地妨礙立法目的的不適合初始法規(guī)的初始設(shè)想；和通過修改初始法規(guī)以消除不適合初始法規(guī)的初始設(shè)想造成的潛在障礙來確定一個第二法規(guī)。
2.根據(jù)權(quán)利要求1所述的分析法律推理的方法，進一步包括經(jīng)過計算機網(wǎng)絡(luò)呈遞第二法規(guī)。
3.根據(jù)權(quán)利要求2所述的分析法律推理的方法，呈遞不適合設(shè)想包括經(jīng)過計算機網(wǎng)絡(luò)呈遞一個不適合的建議設(shè)想，多個參與者可以接入計算機網(wǎng)絡(luò)；接收有關(guān)是否同意可以把不適合的建議設(shè)想作為一個噩夢的投票；和當(dāng)投票確定多個參與者中的預(yù)定百分比的參與者同意可以把不適合的建議設(shè)想作為一個噩夢時，將不適合的建議設(shè)想作為不適合的初始設(shè)想呈遞。
4.根據(jù)權(quán)利要求3所述的分析法律推理的方法，進一步包括經(jīng)過計算機網(wǎng)絡(luò)基本上同時地至少顯示多個參與者中同意可以把不適合的建議設(shè)想作為一個噩夢的參與者的百分比。
5.根據(jù)權(quán)利要求1所述的分析法律推理的方法，進一步包括呈遞一個潛在妨礙立法目的的不適合于初始法規(guī)和第二法規(guī)中的至少一個的第二設(shè)想；和通過修改第二法規(guī)以消除不適合于初始法規(guī)和第二法規(guī)中至少一個的第二設(shè)想的潛在障礙，來確定一個第三法規(guī)。
6.一種用于建立描述用于確定法規(guī)的法律推理的法律映像的方法，包括呈遞法規(guī)的目的；確定一個代表目的的初始法規(guī)，并且在一個三角形的一個第一位置上描述初始法規(guī)；呈遞一個不適合于初始法規(guī)的設(shè)想，并且在三角形的第二位置描述不適合的設(shè)想；和導(dǎo)出一個應(yīng)對不適合于初始法規(guī)的設(shè)想的第二法規(guī)，并且在三角形的第三位置上描述第二法規(guī)。
7.根據(jù)權(quán)利要求6所述的建立描述法律推理的法律映像的方法，進一步包括在一個第二三角形的第一位置上描述第二法規(guī)；呈遞一個不適合于第二法規(guī)的第二設(shè)想，并且在第二三角形的第二位置上描述不適合的第二設(shè)想；和導(dǎo)出應(yīng)對不適合于第二法規(guī)的第二設(shè)想的第三法規(guī)，并且在第二三角形的第三位置上描述第三法規(guī)。
8.一種用于存儲一個使得能夠進行法律推理分析以導(dǎo)出一個有關(guān)一個目的的法規(guī)的計算機程序的計算機可讀介質(zhì)，包括接受源代碼片段，接收法規(guī)的目的和被建議的以達到該目的的初始法規(guī)；和呈遞源代碼片段，呈遞一個不適合于初始法規(guī)的設(shè)想；接收源代碼片段接收從初始法規(guī)導(dǎo)出的、解決不適合設(shè)想的第二法規(guī)。
9.根據(jù)權(quán)利要求8所述的存儲計算機程序的計算機可讀介質(zhì)，進一步包括一個存儲法律推理數(shù)據(jù)的存儲源代碼片段，該數(shù)據(jù)包括目的、初始法規(guī)、不適合設(shè)想，和第二法規(guī)，數(shù)據(jù)可以經(jīng)過一個數(shù)據(jù)網(wǎng)絡(luò)被多個用戶訪問。
10.根據(jù)權(quán)利要求8所述的存儲計算機程序的計算機可讀介質(zhì)，呈遞源代碼片段進一步呈遞一個不適合于第二法規(guī)的第二設(shè)想；和接收源代碼片段接收從第二法規(guī)導(dǎo)出的，解決不適合的第二設(shè)想的第三法規(guī)。
11.一種用于分析用于確定一個法規(guī)的法律推理的系統(tǒng)，包括一個運行用于法律推理分析的計算機程序的中央處理單元；和一個連接到中央處理單元的服務(wù)器，多個用戶終端可以經(jīng)過一個分組交換數(shù)據(jù)網(wǎng)絡(luò)接入服務(wù)器；中央處理單元經(jīng)過服務(wù)器向多個用戶終端呈遞法規(guī)的目的，并且接收有關(guān)立法目的的初始法規(guī)；中央處理單元接收不適合于初始法規(guī)的建議設(shè)想，并且經(jīng)過服務(wù)器向多個用戶終端呈遞不適合的建議設(shè)想；中央處理單元接收來自多個用戶終端的投票，并且根據(jù)投票，確定是否多個參與者中預(yù)定數(shù)量的參與者同意不適合的建議設(shè)想包括一個不適合于初始法規(guī)指出的目的的實際設(shè)想；和當(dāng)中央處理單元確定多個參與者中預(yù)定數(shù)量的參與者同意不適合的建議設(shè)想包括不適合的實際設(shè)想時，中央處理單元接收一個從初始法規(guī)導(dǎo)出的、應(yīng)對不適合實際設(shè)想的第二法規(guī)。
12.根據(jù)權(quán)利要求11所述的用于分析用于確定一個法規(guī)的法律推理的系統(tǒng)，進一步包括連接到中央處理單元的存儲器數(shù)據(jù)庫，存儲器數(shù)據(jù)庫存儲有關(guān)法律推理分析的數(shù)據(jù)，存儲的數(shù)據(jù)包括目的、初始法規(guī)、不適合的實際設(shè)想、第二法規(guī)和投票結(jié)果。
13.一個用于分析用于導(dǎo)出一個最終法規(guī)的法律推理的方法，包括確定最終法規(guī)的目的；確定對應(yīng)于目的的初始法規(guī)；連續(xù)地呈遞潛在妨礙該目的的多個情景；對于潛在妨礙該目的的多個情景中的每一個，連續(xù)地確定消除了潛在妨礙的多個對應(yīng)修改法規(guī)；和將連續(xù)確定的多個修改法規(guī)中的最后一個修改法規(guī)識別為最終法規(guī)。
14.根據(jù)權(quán)利要求13所述的用于分析用于導(dǎo)出一個最終法規(guī)的法律推理的方法，進一步包括接收有關(guān)是否多個建議的情景中的每一個包括潛在妨礙該目的的多個情景中的一個的投票結(jié)果。
全文摘要
一種方法提供了用于確定一個法規(guī)的法律推理分析,并且包括經(jīng)過一個多個參與者可以接入的計算機網(wǎng)絡(luò)呈遞法規(guī)的一個立法目的,確定對應(yīng)于立法目的的一個初始法規(guī),呈遞一個不適合于初始法規(guī)和潛在地妨礙立法目的的初始設(shè)想,和通過修改初始法規(guī)以消除不適合的初始設(shè)想造成的潛在妨礙來確定一個第二法規(guī)。呈遞不適合設(shè)想包括經(jīng)過計算機網(wǎng)絡(luò)呈遞一個不適合的建議設(shè)想,接收有關(guān)是否同意不適合的建議設(shè)想可以作為一個噩夢的投票,并且當(dāng)參與者中預(yù)定百分比的參與者同意它是一個噩夢時,將不適合的建議設(shè)想作為不適合的初始設(shè)想呈遞。
文檔編號G06Q10/00GK1384460SQ02118618
公開日2002年12月11日 申請日期2002年4月26日 優(yōu)先權(quán)日2001年5月7日
發(fā)明者高橋恒文 申請人:高橋恒文