1.一種用于通過“創(chuàng)新專家系統(tǒng)(Innovation Expert System,IES)”來產(chǎn)生、客制化以及提供“法律論據(jù)鏈(Legal Argument Chains,LAC.Z)”的計(jì)算機(jī)實(shí)作方法，Z＝1、2、3，...，此IES包括以下至少一個：
一處理器；一內(nèi)存，用于存儲所述方法的所述處理器的可執(zhí)行碼；一輸入/輸出裝置，特別用于與一IES使用者進(jìn)行人類互動；以及
一使用者接口實(shí)體(User Interface Entity,UIE)，由UIE.Y所組成，Y＝1、2、3...；
每一LAC.Z有至少一UIE.Y；
一執(zhí)行方法的內(nèi)存(Memory of Method Execution,MEMEX)，包括可由所述處理器存取的一組存儲單元，“KR-UIE.Y”以及“HI-UIE.Y”，以及一全球參考書目(Global Bibliography,GloBi)，以及
IES，可運(yùn)行于一設(shè)定模式(config-mode)或一實(shí)時模式(realtime-mode)，以及所述IES另包括-在開始執(zhí)行此方法之前，或在執(zhí)行期間通過所述IES的一輸入/輸出裝置輸入至所述IES-所述“測試設(shè)定(Test Set-UP,TSU)”包括測試決定因素：
一給定的“一階邏輯有限法律范數(shù)(First Order Logic Finite Legal Norm,FFLN)”，在一給定的符號中；
一給定的“<Technical TeachingFFLN,Reference SetFFLN對>,PTRFFLN”
-以及在此不用所述索引“FFLN”以及其余權(quán)利要求中的全部術(shù)語，例如“<Technical Teaching,Reference Set對>,PTR”-以及
一給定的“PTR數(shù)據(jù)結(jié)構(gòu)(PTR Data Structure,PTR-DS)”，具有“FFLN中的某創(chuàng)新(Some Innovation in FFLN),SI”是所述PTR以及一FSTP-Test的“Technical Teaching in FFLN,TT.O”，如此一來若且唯若PTR通過此FSTP-Test，則SI滿足了FFLN，且PTR-DS是PTR通過此FSTP-Test滿足FFLN的證據(jù)，以及
一給定的“此PTR的FSTP-Test的可商議子測試(Arguable Subtest)，AST”，具有某KR-UIE.Y所存儲的AST，
用于在執(zhí)行所述方法時給一IES使用者或所述IES使用，此執(zhí)行包括在所述IES的A)設(shè)定模式，或B)實(shí)時模式中的動作執(zhí)行的重復(fù)調(diào)用：
A)所述IES自動提示所述使用者-去致能一UIE.Y以表示在B)實(shí)時模式中的一LAC.Z-以調(diào)用所述IES，用以
i.自動辨認(rèn)一KR-UIE.Y，存儲要被轉(zhuǎn)換為一LAC.Z的一AST，以及
ii.自動辨認(rèn)一未使用的HI-UIE.Y，其是讓一使用者輸入-如一部分的動作A)-所述內(nèi)容以及所述表示應(yīng)該是屬于所述LAC.Z，接著要在IES的輸入/輸出裝置表示所述AST的轉(zhuǎn)換，以及
iii.自動輸入“LAC.Z::＝<KR-UIE.Y,HI-UIE.Y>到所述GloBi，
B)i.所述IES自動提示所述使用者辨認(rèn)所述GloBi中的一LAC.Z，以及
ii.所述IES自動表示A)iii.中所定義的所述LAC.Z。
2.如權(quán)利要求1所述的計(jì)算機(jī)實(shí)作方法，其特征在于，具有MEMEX，也包括一組存儲單元，“IC-UIE.Y”，在A)ii.之后包括一步驟A)iii.：
iii.一未使用的IC-UIE.Y以及輸入的控制指令，關(guān)于表示所述內(nèi)容在所述IES的一輸入/輸出裝置上，以及ii.中所存儲的所述表示要被所述IES或一IES使用者存取，當(dāng)此LAC.Z被調(diào)用于實(shí)時模式的任何時候”，使得所述先前步驟A)iii.變成步驟A)iv.，
iv.自動將“LAC.Z::＝<KR-UIE.Y,HI-UIE.Y,IC-UIE.Y>”輸入至所述GloBi。
3.如權(quán)利要求1所述的計(jì)算機(jī)實(shí)作方法，其特征在于，所述動作B)是通過當(dāng)執(zhí)行及正在執(zhí)行此表示式時，所述IES或IES使用者隨時調(diào)用一控制指令，A)iii.而被擴(kuò)展。
4.如權(quán)利要求1所述的計(jì)算機(jī)實(shí)作方法，其特征在于，
一LAC.Z可被底結(jié)構(gòu)化為組成“法律論據(jù)鏈步驟，LACS.Z.SZ-S”，1<Z.S≤ZS，個別可包括“法律論據(jù)鏈動作(Moves)，LACM.Z.MZ.S.M”，1<Z.S.M≤ZSM(ZS≧0以及ZSM≧0通過實(shí)施一方法來給定)；
任何UIE.Z.Y,Y＝1、2、3、...，到一LAC.Z被用完全相同的方法底結(jié)構(gòu)化為組成所述部件U IES.Z.Y.SZ-S、U IEM.Z.Y.MZ-S-M，以及
此底結(jié)構(gòu)可通過所述IES或一IES使用者來決定，以及
A)以及B)中所定義的任何操作應(yīng)用于任何LAC.Z以及其UIE.Z.Y的所有部件。
5.如權(quán)利要求1所述的計(jì)算機(jī)實(shí)作方法，其特征在于，至少一AST會是：
完全地由所述IES使用者輸入，或是
由述IES從通過一IES使用者所辨認(rèn)的一PTR-DS部分所自動推導(dǎo)出來，或是
由所述IES通過決定其包括的全部所述AST來從一PTR-DS自動推導(dǎo)出來。
6.如權(quán)利要求1所述的計(jì)算機(jī)實(shí)作方法，其特征在于，所述PTR-DS或其至少一決定因素會是：
完全地由所述IES使用者輸入，或是
被所述IES使用者部分地輸入，以及被所述IES自動補(bǔ)償，或是
被所述IES自動建議。
7.如權(quán)利要求2所述的計(jì)算機(jī)實(shí)作方法，其特征在于，一Hl-UIE.Y或IC-UIE.Y或KR-UIE.Y的所述功能會被決定：
通過所述IES使用者的提供來輸入，或是
由所述IES使用者部分地輸入，以及由所述IES自動補(bǔ)償，或是
由所述IES自動建議。
8.如權(quán)利要求2所述的計(jì)算機(jī)實(shí)作方法，其特征在于，一Hl-UIE.Y或IC-UIE.Y或KR-UIE.Y的所述功能是基于HI-UIE.Y或是IC-UIE.Y或是KR-UIE.Y的不同實(shí)例的多個部分之間的關(guān)系。
9.如權(quán)利要求1所述的計(jì)算機(jī)實(shí)作方法，其特征在于，F(xiàn)FLN是一“實(shí)質(zhì)專利法(Substantive Patent Law,SPL)”或一“實(shí)質(zhì)著作權(quán)法(Substantive Copyright Law,SCL)”。
10.如權(quán)利要求1所述的計(jì)算機(jī)實(shí)作方法，其特征在于，F(xiàn)FLN是多個FFLN的結(jié)合。
11.如權(quán)利要求1所述的計(jì)算機(jī)實(shí)作方法，其特征在于，其FFLN是由保留其有限FOL特性的所述使用者所增加。
12.如權(quán)利要求1所述的計(jì)算機(jī)實(shí)作方法，其特征在于，提供給所述IES的所述使用者輸入的所述表示會被由所述使用者辨認(rèn)，通過從給定的一組這樣的表示中選出一表示，或是以一給定的符號來描述。
13.如權(quán)利要求1所述的計(jì)算機(jī)實(shí)作方法，其特征在于，要給所述IES使用的所述輸出表示會被所述使用者辨認(rèn)，通過從給定的一組這樣的表示中選出一表示，或是以一給定的符號來描述。
14.如權(quán)利要求1所述的計(jì)算機(jī)實(shí)作方法，其特征在于，對一HI-UIE.Y的所述輸入是由所述IES自動產(chǎn)生–所述輸入應(yīng)該為所述LAC.Z所述內(nèi)容以及所述表示，表示所述IES的一輸入/輸出裝置上的一給定的AST的所述轉(zhuǎn)換的部分-其中所述表示是所述IES實(shí)作所給定，或由一使用者用某給定的符號來給予所述IES。
15.如權(quán)利要求11所述的計(jì)算機(jī)實(shí)作方法，其特征在于，其動作A)是開始于“所述IES自動提示所述使用者-去致能UIE.Y表示于B)，針對PTR-DS中的任何AST，其同等部分自動產(chǎn)生LAC.Z在實(shí)時模式中-去調(diào)用所述IES去重復(fù)地自動辨認(rèn)PTR-DS中另一未轉(zhuǎn)移AST以及用其執(zhí)行i.-iii.”。
16.一種用于通過“創(chuàng)新專家系統(tǒng)(Innovation Expert System,IES)”來產(chǎn)生、客制化以及提供“法律論據(jù)鏈(Legal Argument Chains,LAC.Z)”的計(jì)算機(jī)實(shí)作方法，Z＝1、2、3，...，此IES包括以下至少一個：
一處理器；一內(nèi)存，用于存儲所述方法的所述處理器的可執(zhí)行碼；一輸入/輸出裝置，特別用于與一IES使用者進(jìn)行人類互動；以及
一使用者接口實(shí)體(User Interface Entity,UIE)，由UIE.Y所組成，Y＝1、2、3...；
每一LAC.Z有至少一UIE.Y；
一執(zhí)行方法的內(nèi)存(Memory of Method Execution,MEMEX)，包括可由所述處理器存取的一組存儲單元，“KR-UIE.Y”、“HI-UIE.Y”，以及“IC-UIE.Y”以及一全球參考書目(Global Bibliography,GB)，以及
IES，可運(yùn)行于一設(shè)定模式(config-mode)或一實(shí)時模式(realtime-mode)，以及所述IES另包括-在開始執(zhí)行此方法之前，或在執(zhí)行期間通過所述IES的一輸入/輸出裝置輸入至所述IES-所述“測試設(shè)定(Test Set-UP,TSU)”包括所述測試決定因素：
一給定的“一階邏輯有限法律范數(shù)(First Order Logic Finite Legal Norm,FOLLN alias FFLN)”，在一給定的符號中；
一給定的“<Technical TeachingFFLN,Reference SetFFLN對>,PTRFFLN”
-以及在此之外不用所述索引“FFLN”以及其余權(quán)利要求中的全部術(shù)語，例如“<Technical Teaching,Reference Set對>,PTR”-以及
一給定的“PTR數(shù)據(jù)結(jié)構(gòu)(PTR Data Structure,PTR-DS)”，具有“FFLN中的某創(chuàng)新(Some Innovation in FFLN),SI”是所述PTR以及一FSTP-Test的“Technical Teaching in FFLN,TT.O”，如此一來若且唯若PTR通過此FSTP-Test，則SI滿足了FFLN，且PTR-DS是PTR通過此FSTP-Test滿足FFLN的證據(jù)，以及
一給定的“此PTR的FSTP-Test的可商議子測試(Arguable Subtest)，AST”，具有某KR-UIE.Y所存儲的AST，
用于在執(zhí)行所述方法時給一IES使用者或所述IES使用，此執(zhí)行包括在所述IES的A)設(shè)定模式中，或B)實(shí)時模式中的動作地執(zhí)行的重復(fù)調(diào)用：
A)所述IES自動提示所述使用者-去致能一UIE.Y以表示在B)實(shí)時模式中的一LAC.Z-以調(diào)用所述IES，用以
i.自動辨認(rèn)一KR-UIE.Y，存儲要被轉(zhuǎn)換為一LAC.Z的一AST，
ii.一HI-UIE.Y且輸入其中的所述內(nèi)容以及所述表示式應(yīng)該是屬于所述LAC.Z，在IES的輸入/輸出裝置表示所述AST的所述轉(zhuǎn)換，
iii.輸入“LAC.Z::＝<KR-UIE.Y,HI-UIE.Y>到所述GB。
B)所述IES自動提示所述使用者去辨認(rèn)所述GB中的一LAC.Z，以及
ii.所述IES自動表示A)iii.中所定義的所述LAC.Z。
17.如權(quán)利要求16所述的計(jì)算機(jī)實(shí)作系統(tǒng)，其特征在于，在ii.之后包括一步驟iii.：
iii.一IC-UIE.Y以及輸入的控制指令，關(guān)于表示所述內(nèi)容在所述IES的一輸入/輸出裝置上，以及ii.中所存儲的所述表示式要被所述IES或一IES使用者存取，當(dāng)此LAC.Z被調(diào)用于實(shí)時模式的任何時候，使得所述先前步驟iii.變成步驟iv.，
iv.自動將“LAC.Z::＝<KR-UIE.Y,HI-UIE.Y,CI-UIE.Y>”輸入至所述GloBi。
18.如權(quán)利要求16所述的計(jì)算機(jī)實(shí)作系統(tǒng)，其特征在于，所述動作B)是通過當(dāng)執(zhí)行及正在執(zhí)行此表示式時，所述IES或IES使用者隨時調(diào)用一控制指令，A)iii.而被擴(kuò)展。
19.如權(quán)利要求16所述的計(jì)算機(jī)實(shí)作系統(tǒng)，其特征在于，
一LAC.Z可被底結(jié)構(gòu)化為組成“法律論據(jù)鏈步驟，LACS.Z.SZ-S”，1<Z.S≤ZS，個別包括“法律論據(jù)鏈動作(Moves)，LACM.Z.MZ-S-M”，1<Z.S.M≤ZSM(ZS≧0以及ZSM≧0通過實(shí)施一方法來給定)；
任何UIE.Z.Y,Y＝1、2、3、...，到一LAC.Z被用完全相同的方法底結(jié)構(gòu)化為組成所述部件U IES.Z.Y.SZ-S、U IEM.Z.Y.MZ-S-M，以及
此底結(jié)構(gòu)可通過所述IES或一IES使用者來決定，以及
A)以及B)中所定義的任何操作應(yīng)用于任何LAC.Z以及其UIE.Z.Y的所有部件。
20.如權(quán)利要求16所述的計(jì)算機(jī)實(shí)作系統(tǒng)，其特征在于，至少一AST會是：
完全地由所述IES使用者輸入，或是
由述IES從通過一IES使用者所辨認(rèn)的一PTR-DS部分所自動推導(dǎo)出來，或是
由所述IES通過決定其包括的全部所述AST來從一PTR-DS自動推導(dǎo)出來。
21.如權(quán)利要求16所述的計(jì)算機(jī)實(shí)作系統(tǒng)，其特征在于，所述PTR-DS或其至少一決定因素會是：
完全地由所述IES使用者輸入，或是
被所述IES使用者部分地輸入，以及被所述IES自動補(bǔ)償，或是
被所述IES自動建議。
22.如權(quán)利要求17所述的計(jì)算機(jī)實(shí)作系統(tǒng)，其特征在于，一Hl-UIE.Y或IC-UIE.Y或KR-UIE.Y的所述功能會被決定：
完全通過所述IES使用者的提供來輸入，或是
由所述IES使用者部分地輸入，以及由所述IES自動補(bǔ)償，或是
由所述IES自動建議。
23.如權(quán)利要求17所述的計(jì)算機(jī)實(shí)作系統(tǒng)，其特征在于，一Hl-UIE.Y或IC-UIE.Y或KR-UIE.Y的所述功能是基于HI-UIE.Y或是IC-UIE.Y或是KR-UIE.Y的不同實(shí)例的多個部分之間的關(guān)系。
24.如權(quán)利要求16所述的計(jì)算機(jī)實(shí)作系統(tǒng)，其特征在于，F(xiàn)FLN是一“實(shí)質(zhì)專利法(Substantive Patent Law,SPL)”或一“實(shí)質(zhì)著作權(quán)法(Substantive Copyright Law,SCL)”。
25.如權(quán)利要求16所述的計(jì)算機(jī)實(shí)作系統(tǒng)，其特征在于，F(xiàn)FLN是多個FFLN的結(jié)合。
26.如權(quán)利要求16所述的計(jì)算機(jī)實(shí)作系統(tǒng)，其特征在于，其FFLN是由保留其有限FOL特性的所述使用者所增加。
27.如權(quán)利要求16所述的計(jì)算機(jī)實(shí)作系統(tǒng)，其特征在于，提供給所述IES的所述使用者輸入的所述表示式會被由所述使用者辨認(rèn)，通過從給定的一組這樣的表示式中選出一表示式，或是以一給定的符號來描述。
28.如權(quán)利要求16所述的計(jì)算機(jī)實(shí)作系統(tǒng)，其特征在于，要給所述IES使用的所述輸出表示式會被所述使用者辨認(rèn)，通過從給定的一組這樣的表示式中選出一表示式，或是以一給定的符號來描述。
29.如權(quán)利要求16所述的計(jì)算機(jī)實(shí)作系統(tǒng)，其特征在于，對一HI-UIE.Y的所述輸入是由所述IES自動產(chǎn)生–所述輸入應(yīng)該為所述LAC.Z所述內(nèi)容以及所述表示式，表示所述IES的一輸入/輸出裝置上的一給定的AST的所述轉(zhuǎn)換的部分-其中所述表示式是所述IES實(shí)作所給定，或由一使用者用某給定的符號來給予所述IES。
30.如權(quán)利要求16所述的計(jì)算機(jī)實(shí)作系統(tǒng)，其特征在于，其動作A)是開始于“所述IES自動提示所述使用者-去致能UIE.Y表示式于B)，針對PTR-DS中的任何AST，其同等部分自動產(chǎn)生LAC.Z在實(shí)時模式中-去調(diào)用所述IES去重復(fù)地自動辨認(rèn)PTR-DS中另一未轉(zhuǎn)移AST以及用其執(zhí)行i.-iii.”。