. 0實(shí)施的含義，但是其BID-KR對(duì) 于確定由其TT. 0實(shí)施的準(zhǔn)確的創(chuàng)造性/發(fā)明性并且基于此準(zhǔn)確地識(shí)別其pmgp (例如專利 合格性）方面常常是不可或缺的。
[0118] vi)關(guān)于?了1?/1'1'.0的歸一化被視為不影響口8，即/111成立：1?1'&8)::=?8。原 因在于，對(duì)于所有ps構(gòu)思的先驗(yàn)知識(shí)，也必須假設(shè)它們所有的posc-RT是已知的。否則僅 基于ps構(gòu)思，即Q ples= 0的TT可能通過(guò)posc-RT變得Q ples>0,與pics的概念沖突。這將 在其他地方詳細(xì)研宄。
[0119] viDPTR的AD-KR的必要性是兩方面的：首先，較之?？赡艿膬H使用其〇-KR2)'3)的 情況，即用于指明這些用語(yǔ)的準(zhǔn)確含義，它們對(duì)于從doc. i5^更準(zhǔn)確地得到它們的TT. i是 必不可缺的。其次，它們提供了用于系統(tǒng)地檢索PTR的BID-C及其vC的元素的唯一指南， 如通過(guò)它們的分解去除AD-C的不足 7)1-在法律上所需的那樣。
[0120] 定理2:如果TT. 0是可歸一化的，則其相對(duì)于RS的創(chuàng)造性M高度是相對(duì)于V歸一 化的不變量。
[0121] 也就是說(shuō)，TT. 0是PTR中的η-ρ= >
[0122] .) Qplcs (RT0/ (PTR)) = Qplcs (RT0;/ (PTR)) V RT0r，RT0"A
[0123] :)Qplcs-PS (RT0/ (PTR)) Qplcs-PS (RT0;/ (PTR)) ,VRT0 ；，RT〇"。
[0124] 證駔:僅需要證明第一不變量.），因?yàn)橄鄬?duì).）超出的：）是平凡的。通過(guò)利用定 理1表明總是… ples=Q" pl&，.）的證明基于對(duì)數(shù)值Qples的歸納。
[0125] 通過(guò)E2/M'9)L^對(duì)于RT〇' 成立，BID，-TT.0= {BID，-cr-C.O. jn|l 彡η彡N, 1彡 jn 彡 Jn, Σ κ NJn= J} ·
[0126] 使得標(biāo)為壓 BID' -AC:: =〈BID，-Cac-L jn|l彡n彡N，1彡 i彡 I，1彡 jn<Jn, Σ1?； n《NJn=J>·，
[0127] 以及 BID，-Qac:: =〈BID，-ANCAc.i. jn|l彡η彡N，1彡 i彡1，1 彡 jn<Jn:2li；ni；N Jn= J>，
[0128] 從而 BID ^ -ANCac. i. jn::=如果（BID ^ -CAc. i. jn= BID r _C. 0· j n)，貝Ij BID，-Aag. i.jn，
[0129] 否則BID' -NCag. i. jn，如pose人員9)i判定的那樣。
[0130] 隨后對(duì)于 RT?，成立 Q，plcs= Σ κ NminvAC I {NCac. i. jn| !彡 jn彡 J J I · <A>
[0131] 在下文中省略的歸納證明開(kāi)始于表明在所有KR( =VPTRii)中具有 Qplcs(PTR)=O 的 VPTR 具有假設(shè)（*)::=彐 PTFTA3RT，：Qplcs(PTR' ) =Q' plcs>l" 暗不與定理 1 沖突。V ples=〇 意味著 3〇:_A(^ eposc+pa' *，〇-A(^ / mod(O-CCr )ants TT. Or，即對(duì)于該 0-AC'，通過(guò) <A> 使 | {BID' -cr-C}。^ } | = 0 成立， 即BID' -TT.0所基于的VBID' -C被ps+pa' -c預(yù)期，同時(shí)根據(jù)⑷，有VRT"AVAC "e ps+pa' *使I {BID" -cr-C}AC" I彡1成立。這與定理1沖突。
[0132] 現(xiàn)在假設(shè)VRTAVAC，Qplc;s<K，使Qplcs=Q' plcsVKT 成立，并且（**)"3RT Λ 彐RT"Q" plcs= Κ+Γ'，隨后根據(jù) Q， plcs= K，有：3K -AC，e ps+pa，*，K-AC，/ mod (K-CC，)Mts TT. 0 '，即對(duì)于該 K-AC '，通過(guò) <Α> 使 | {BID，_c_C廣Ac，| = Κ， 即BID' -ΤΤ.0所基于的V其他BIC' -C被ps+pa' -C預(yù)期，同時(shí)根據(jù)（**)，由VRT "Λ AC" e pS+pa" * 使 I {BID" -cr-C}AG"彡 K+1 成立。這與定理 1 沖突。
[0133] 證明終了
[0134] 宙理3:TT. 0是PTR中唯一 BID可縮減的*)[ΒΝ]= >對(duì)于TT. 0,以上.）和：）性質(zhì) 也成立。
[0135] 證明：由于TT. 0的唯一可縮減性/可重寫性，對(duì)于BID-KR彐僅單個(gè)1Q)RT°= >.) 和：）。證明終了
[0136] 注釋6: -旦對(duì)于PTR，BID-KR被發(fā)展并且被pose人員批準(zhǔn)，PTR的TL 0相對(duì)于其 RS的可確定的創(chuàng)造性/發(fā)明性高度不會(huì)受到PTR的另一 BID' -KR的3的威脅。不變性：）便 于檢查所有（即少量）RT°，檢查對(duì)于它們中的一個(gè)是否存在如TQplc;s路徑，在該Q plc;s路徑 上pmpg(即§ §1014)s^'9)5_)需要/證明當(dāng)確定PTR的ΤΤ.0相對(duì)于其現(xiàn)有技術(shù)RS的pmgp 高度時(shí)，一些其Qples創(chuàng)造性/發(fā)明性構(gòu)思必須不被計(jì)入。如果過(guò)多的創(chuàng)造性/發(fā)明性構(gòu)思 被這樣"貶值"，則這可能致使TT. 0是不適合專利的m9)氣定理3簡(jiǎn)單地陳述了存在 用于針對(duì)PTR/TT. 0評(píng)定相對(duì)于所有KR/RT°的不變性.）和：）的其他方式，盡管其前提可 能在以后難于檢查，即在撰寫權(quán)利要求時(shí)必須被先驗(yàn)建立，同時(shí)這些定理1和2非常易于在 以后還檢查或許所有實(shí)際出現(xiàn)的PTR問(wèn)題。
[0137] IV. PTR-DS、用于牛成其的PE2E服備以及使用其的應(yīng)用
[0138] IES中的PTR的PTR-DS的目的（作為一個(gè)應(yīng)用系統(tǒng)設(shè)想PTR-DS用于其使用） 在于使得后者能夠通過(guò)從PTR-DS自動(dòng)地得到關(guān)于K(PTR)的任何項(xiàng)的所有法律上相關(guān)的信 息來(lái)立即回答關(guān)于K(PTR)中的該項(xiàng)的查詢。也就是說(shuō)，PTR-DS應(yīng)使使用其的IES能夠針 對(duì)PTR的文字實(shí)時(shí)討論中牽涉的人員補(bǔ)償由于其短時(shí)記憶的有限能力引起的其能力不足， 以立即正確地和完整地呈現(xiàn)關(guān)于對(duì)K(PTR)中的任何項(xiàng)的任何問(wèn)題的所有答案。在任何時(shí) 亥IJ IES將了解哪個(gè)項(xiàng)是所討論的，例如通過(guò)在聲音上監(jiān)控該文字實(shí)時(shí)討論并且在其中執(zhí)行 實(shí)時(shí)措詞測(cè)定。為此：
[0139] ·1. IES中心應(yīng)對(duì)FSTP創(chuàng)新模型10)的知識(shí)表示的分析打底術(shù)語(yǔ)/概念/功能并且 從章節(jié)V.公開(kāi)的SoMUI首先得到"僅pics FSTP-Dc3c3'并且隨后通過(guò)pmgp對(duì)其進(jìn)行過(guò)濾并 因而得到FSTP-DSc3 4)也就是說(shuō)，其逐步地、交互地和迭代地將PTR的初始o(jì)-KR(PTR)變 換成其最終BID-KR (PTR) (仍不是其PTR-DS)。為此，該機(jī)器將PTR-PS (例如基于FSTP 測(cè)試）應(yīng)用于SoMUI的MUI. i項(xiàng)（由2. IES中心提供給它）。除了由公開(kāi)TT. i的doc. i提 供的MUI. i之外，SoMUI還包括由文獻(xiàn)提供的所有MUI. i，其描述.）概念專利系統(tǒng)NPS，以 及：）在所討論的PTR分析中要使用的p〇SC4)i (2)5)S即用戶潛在地要修改/使用/注解的所 有MUI. i。這樣v_，l. IES中心使其用戶能夠例如通過(guò)對(duì)"TSII信息項(xiàng)總集合"進(jìn)行如下的 識(shí)別、確定和添加（如果仍未在其中）來(lái)確定TSII，其在功能上是PTR-DS，SoMUIgTSl 1:
[0140] i)由doc. iv_，0彡i彡I公開(kāi)，即在其O-KR中的所有元素及它們的謂詞的非正式 性質(zhì)，
[0141] ii)所有元素的AD-plcs關(guān)系#)'3)'4)，每個(gè)關(guān)系被表示為謂詞?，
[0142] iii)將AD-plcs關(guān)系，又稱AD謂詞分解成BID謂詞的連結(jié)，即暗示它 們的獨(dú)立性的評(píng)定所需的創(chuàng)造性/發(fā)明性BID構(gòu)思的最大集合，
[0143] iv)正如由PTR的技術(shù)次要BID-plcs事實(shí)描述的PTR的TT. 0相對(duì)于其現(xiàn) 有技術(shù)RS實(shí)施的最小的創(chuàng)造性/發(fā)明性，
[0144] V)作為pe或npe41-并且從iv)PTR的技術(shù)次要pmgp事實(shí)得到的所有BID構(gòu) 思的質(zhì)量，
[0145] vi)對(duì)于可從TSII的所有元素得到的并且導(dǎo)致TSII的所有元素的給定應(yīng)用有用 的所有論證鏈，
[0146] vii)提供針對(duì)TSII的所有元素的即時(shí)接入的所有鏈接。
[0147] ·2. IES中心被分成機(jī)器D和E(跳過(guò)IES細(xì)節(jié)），反映由步驟應(yīng)對(duì)的許多 不同的主題內(nèi)容，其應(yīng)對(duì).）根據(jù)用戶請(qǐng)求生成PTR-DS以及：）辨別和答復(fù)關(guān)于PTR的其所 有查詢所需的實(shí)際功能。也就是說(shuō)，首先，用于將用戶給定信息輸入到1.中心的功能，用于 使后者從該信息得到所有信息項(xiàng)i)-vii)，并且其次，用于立即辨別關(guān)于PTR的所有應(yīng)用查 詢并且按用戶給定表示立即答復(fù)它們。兩者都是依賴應(yīng)用的并且需要與應(yīng)用用戶交互，用 于適當(dāng)?shù)厣蒚SII的所有元素并且使得它們立即適當(dāng)?shù)厥强沙尸F(xiàn)的。
[0148] 圖1至3說(shuō)明了這兩個(gè)IES中心如何針對(duì)其K(PTR)，即各個(gè)KR(PTR)變換，示例性 地在概念上使生成，即分別使用PTR-DS時(shí)牽涉的總共5個(gè)機(jī)器A-E成為整體。
[0149] 圖1示出了 IES的互聯(lián)網(wǎng)使用。平凡的是，IES還可以局部地，例如在PC或LAN等 上使用，這樣其包括（部分）FSTP中心系統(tǒng)。箭頭指示功能調(diào)用。
[0150] 圖2示出了 IES的內(nèi)部服務(wù)提供的示例性整體架構(gòu)。"通用呈現(xiàn)系統(tǒng)"包括底層的 軟件平臺(tái)（稱為術(shù)語(yǔ)"使用分級(jí)"，并且包括操作系統(tǒng)和計(jì)算機(jī)硬件，參見(jiàn)下圖3)。在IES內(nèi) 部這些服務(wù)由2. KR(PTR)變換中心提供，其包括機(jī)器A-C。其實(shí)現(xiàn)了多種現(xiàn)有的并且因而不 兼容但是不可或缺地聯(lián)合使用的技術(shù)信息/標(biāo)記/通信/存儲(chǔ)/調(diào)取/輸入/輸出系統(tǒng)的 集成使用，該集成使用利用它們的先前存在技術(shù)接口，從而機(jī)器
[0151] A提供"文獻(xiàn)信息詳列"服務(wù)，即"PTR知識(shí)識(shí)別、詳列和標(biāo)記"服務(wù)。因此，其被 稱為"PTR校準(zhǔn)機(jī)"，基于通常的IT并且潛在地從IES外部提供，例如由"PE2E高端服務(wù)"提 供（如下文通過(guò)圖3a-d說(shuō)明的。）
[0152] B實(shí)現(xiàn)"基于PTR-PS的即時(shí)查詢辨別/回答"服務(wù)，即"PTR即時(shí)q/a機(jī)"。其可以 由兩個(gè)數(shù)據(jù)庫(kù)系統(tǒng)支持，即IADBS和RDBS'它們?cè)贗ES針對(duì)PTR的校準(zhǔn)/排練期間被搭建 并填充。換言之，其例如與用戶交互地從TSII生成PTR-DS (要求保護(hù)的發(fā)明V之一），用 于例如經(jīng)由IES (要求保護(hù)的發(fā)明V中的另一個(gè)）的機(jī)器C使用，或者由具有PTR事實(shí)的某 種q/a系統(tǒng)的任何其他非IES使用，以被外部用戶，例如人類理解。已知的PTR-PS的示例 是FSTP測(cè)試系統(tǒng) ?。
[0153] C提供"用戶/KR(PTR) "通信服務(wù)，即是IES的"PTR-I/0機(jī)"。
[0154] · l.KR+K(PTR)變換中心，包括機(jī)器D-E，從而機(jī)器
[0155] D提供"基于PTR-PS的技術(shù)基礎(chǔ)正式事實(shí)識(shí)別"服務(wù)，并且被稱為"PTR初始排練 機(jī)"，因?yàn)槠溆糜趯TR的（到此時(shí)已校準(zhǔn)的）技術(shù)基礎(chǔ)非正式事實(shí)（KR)變換成其技術(shù)基 礎(chǔ)正式事實(shí)并且首要將它們呈遞給E。
[0156] E提供"基于PTR-PS的技術(shù)主要和次要正式事實(shí)確定"服務(wù)，并且被稱為"PTR最 終排練機(jī)"，因?yàn)槠溆糜趯TR的技術(shù)基礎(chǔ)正式事實(shí)（KR以及K)變換成其技術(shù)主要和次要 正式事實(shí)m. 1'111.3.2,并且首要將它們呈遞給B。
[0157] 所有5個(gè)機(jī)器可在任何時(shí)間執(zhí)行，即IES可以處于校準(zhǔn)、排練和/或查詢模式。所 有它們的以上功能描述僅是粗略的示例性概述，正如隨后呈現(xiàn)的那樣。
[0158] 圖3a至d概述了在PTR校準(zhǔn)機(jī)A的服務(wù)部分地被一些非IES服務(wù)，例如未來(lái)的 PE2E高端服務(wù)（"PE2E"）或者另一標(biāo)記服務(wù)替換的情況下的內(nèi)部IES服務(wù)提供的整體架 構(gòu)；盡管當(dāng)前沒(méi)有功能設(shè)計(jì)關(guān)注于滿足例如發(fā)明人或?qū)彶閱T在對(duì)發(fā)明進(jìn)行工作時(shí)的需求， 但是有良好的原因來(lái)預(yù)期這將很快顯著改變。
[0159] 圖3a示出了使用PE2E作為其基礎(chǔ)的IES的PTR校準(zhǔn)機(jī)A，從而PTRKR機(jī)器額外地 向PE2E的使用提供FSTP用戶指南。在圖3b中PE2E服務(wù)如其自身那樣，即沒(méi)有任何額外 的IES用戶指南，被傳遞給用戶。圖3c和3d示出了 PE2E服務(wù)調(diào)用IES服務(wù)，從而PE2E的 這些IES調(diào)用將作為復(fù)合系統(tǒng)引用前者，即直接引用從IES中選擇的一些機(jī)器中的各個(gè)機(jī) 器。在所有情況下PE2E服務(wù)通過(guò)PTR-DS/IES服務(wù)擴(kuò)展，中期無(wú)論如何需要在PE2E之上該 高端功能，這四個(gè)架構(gòu)3a至d之間的區(qū)別在于，這些服務(wù)對(duì)于PE2E服務(wù)用戶可以在不同程 度上使用。
[0160] PE2E服務(wù)和PTR-DS服務(wù)之間的主要區(qū)別簡(jiǎn)要總結(jié)如下：
[0161] ?兩個(gè)基于專利法/案例的PTR-DS服務(wù)是語(yǔ)義的/實(shí)用的，即面對(duì)各個(gè)實(shí)時(shí)查詢 /回答，應(yīng)對(duì)兩種不同的KR功能，較之PE2E服務(wù)具有高得多的法律質(zhì)量，即各個(gè)可用性質(zhì) 量。更準(zhǔn)確地，在借助于PE2E標(biāo)記PTR，使得其提供章節(jié)V.的ΜΠ 之后，可以在該標(biāo)記的 PTR之上提供PTR-DS服務(wù)，并且其能夠在高得多的法律級(jí)別上即時(shí)地語(yǔ)義地/實(shí)用地遞送 基于專利法/案例的服務(wù)，這兩個(gè)方面甚至都未被PE2E服務(wù)解決。
[0162] ?基于最高法院的案例和新的基礎(chǔ)認(rèn)識(shí)論和KR洞察#)'4)'1，這兩個(gè)PTR-DS服務(wù) 都不能在沒(méi)有FSTP技術(shù)的情況下被設(shè)計(jì)或僅被想象。它們實(shí)現(xiàn)了世界范圍內(nèi)唯一的遠(yuǎn)達(dá) 能力以及在法律上可靠的分析標(biāo)記發(fā)明及其現(xiàn)有技術(shù)的技術(shù)，甚至實(shí)現(xiàn)了關(guān)于PTR的所有 法律問(wèn)題的實(shí)時(shí)回答。
[0163] 圖3e澄清了所有情況下的IES的（內(nèi)部"三明治結(jié)構(gòu)化的"）整體"使用分級(jí)"： 查詢和FSTP呈現(xiàn)機(jī)器/服務(wù)B和C總是可以僅使用排練機(jī)器/服務(wù)D和E已提供給它們 的功能，D和E總是可以僅使用校準(zhǔn)機(jī)器/服務(wù)A已提供給D的功能，從而這些服務(wù)的使用 正常將迭代地和交互地進(jìn)行，并且它們的執(zhí)行可以在時(shí)間上重疊。
[0164] 實(shí)現(xiàn)極為高級(jí)的IT服務(wù)，諸如PTR-DS服務(wù)的世界范圍的使用時(shí)的關(guān)鍵點(diǎn)是，易于 熟悉該服務(wù)并且易于被該服務(wù)支持。兩者強(qiáng)烈依賴于向用戶提供PTR-DS服務(wù)的"接入服 務(wù)"，這里是IES服務(wù)。因此最終的注意在于IES的PTR-I/0機(jī)C。首先：在PTR-DS服務(wù)的 控制下，其可以根據(jù)IES所處的任何狀態(tài)來(lái)檢查任何用戶動(dòng)作的資格和/或動(dòng)機(jī)，即對(duì)用戶 請(qǐng)求提示該動(dòng)作。也就是說(shuō)，在任一以上模式中和/或在PTR的任何KR中，而且在正在使 用其他服務(wù)，諸如PE2E服務(wù)時(shí)，IES服務(wù)的用戶可以被其A/GW安全地但是無(wú)感情地引導(dǎo)， 被PTR-DS服務(wù)控制。從而，經(jīng)由IES的A/GUI，PTR-DS服務(wù)可以在任何時(shí)間自動(dòng)地和/或 交互地并且以用戶詳細(xì)控制的方式向用戶說(shuō)明相關(guān)的專利法/案例/審查/KR(包括各個(gè) 技術(shù)的/認(rèn)識(shí)論的/數(shù)學(xué)的）背景。例如，在技術(shù)基礎(chǔ)非正式事實(shí)僅為（所牽涉的文獻(xiàn)提