線(xiàn)"比喻進(jìn)行數(shù)學(xué)上的討 論，這里：合理性被人們創(chuàng)造/用于人們。在幾何上其是"合理關(guān)系"的簇的"切線(xiàn)簇"'其 從"無(wú)合理關(guān)系"簇 4)，即從"現(xiàn)今的合理性達(dá)不到"分離。他/她也不需要探宄后繼工作的 數(shù)學(xué)細(xì)節(jié)4)Κ他/她要掌握的全部是關(guān)于PTR及其K(PTR)的隨后的定義。從而定義/注 釋1-6使得能夠掌握"在科學(xué)上純凈的"專(zhuān)利技術(shù)的該實(shí)用側(cè)面。
[0085] 定義1:如果創(chuàng)造了獨(dú)立的cr-C，則"觀點(diǎn)"被稱(chēng)為"獨(dú)立的"，這里："cr-獨(dú)立"。
[0086] 注釋1:獨(dú)立的前綴"cr",即觀點(diǎn)/構(gòu)思的獨(dú)立性的更廣概念的這一限制，用于提 醒缺乏所有NPS使用的"智力措施"4)^ ω、"發(fā)明性措施"4)^(ii)、"獨(dú)立觀點(diǎn)"、"發(fā)明性措施" 等的自然語(yǔ)言術(shù)語(yǔ) 2)'3)的概念的準(zhǔn)確性。相反，這里如在這些術(shù)語(yǔ)/概念中最高法院的案例 使用的"獨(dú)立"的含義適于在數(shù)學(xué)上定義1(0。也就是說(shuō)，"cr-獨(dú)立性"又稱(chēng)"ind"關(guān)系的下 面的定義2指明當(dāng)談及獨(dú)立觀點(diǎn)/措施/構(gòu)思等時(shí)最高法院的案例4)1的準(zhǔn)確的含義。由 于他們的案例，似不存在該術(shù)語(yǔ)的其他合理的 #)含義。
[0087] 宙義 2:如果(C，e {BID-C} Λ 1-dC '的 CC) : ·) Λ F U川)-C!C'i ￡= AV('F 出丨丨)-r|￡A:){BID-C}\C'乒{{BID-C}\C，}\C，mod(l-cc)}，其中"β" 代表 C 的 鏡像謂詞9) I. -2.。設(shè)"缸" ：：=1Μ，則IBID-C}被稱(chēng)為"ini"。
[0088] 注釋2:最高法院的術(shù)語(yǔ)"獨(dú)立" ?(5)'9^的含義的該數(shù)學(xué)定義僅對(duì)BID構(gòu)思 成立，因?yàn)樵S多AD-C4)i (5)'7k'9)hi的概念上的模糊性。的定義寫(xiě)到，對(duì)于任 何￡_，如下成立：.）其將ΤΤ.0限制添加到由{BID-C}\C定義的內(nèi)容，并且：） C · i, C" · i e Qplcs-AC Λ使 dC' · i，即 C' · i 的定義修改 1-CC. i:C' . i/mod(I-CC)ant C' · 0 = >C" · i/mod(I-CC) ant C" · 09)1八兩者都沒(méi)有 ant伸 dC' · i 修改 1-CC 之前的 存在的關(guān)系。
[0089] 特別地，PTR可以具有不同的最大ind{BID-cr-C} 〇并且，TT. 0的最大 ini {BID-cr-C}相對(duì)于其PTR的一個(gè)或若干個(gè)pose以及該P(yáng)TR的RS被定義，TT. i潛在地 施加該影響。
[0090] 所有下面的陳述，例如關(guān)于相對(duì)于PTR問(wèn)題的所有歸一化KR的不變性的定理2，經(jīng) 歷ind{BID-cr-C}的pose人員確認(rèn)，隨后他們的剩余證據(jù)是無(wú)爭(zhēng)議的數(shù)學(xué)。法院應(yīng)從不跨 越關(guān)于pose人員的pose事實(shí)的該宣誓的紅線(xiàn)，除非法院證明其各自的pose專(zhuān)家意見(jiàn)。不 幸的是，該紅線(xiàn)偶爾被法院跨越，帶來(lái)慘重的結(jié)果 ?。
[0091] 宙義 3:對(duì)于 KR(PTR)，設(shè)"USSCov (KR(PTR)) "是其被 INDKR(PTR)有限 U (C. i)子集 USSindKK(p?覆蓋的文獻(xiàn)式的范圍：U K indKK(PTK)i； indKr(Ptr) {USSindKK(p?)} = U v('FKR(p?) U(C)。
[0092] Z 被稱(chēng)為 IUSSind"，(ρτκ)}和 IUSSindz"，(ρτκ)}之間的"表示變換 RT"，條件是 Z 是 Z' -KR(PTR)對(duì) z" -KR(PTR)的 0-/AD-或 AD-/BID雙射 Λ Vze{〇，AD，BID}，對(duì)于 0彡i彡成立：
[0093] z-KR(TT. i) = U ν7-(ν;?=7-κκ(??.Γ>| U(z-C. i)被 MUIn1. i，1 彡 m 彡 Mi Λ BID-KR(TT. i) =u M JU(BID-cr-C. i. j)公開(kāi)。
[0094] 注釋3:如果被背景證明，則可以跳討o/AD/BID/KR。對(duì)于i>0 6)1，可以使U(z-C. i)平凡化。K(PTR)的表示變換的這種描述表明，o-PTR常常但非總是識(shí)別TT. 0的所討論 的權(quán)利要求的元素 ulaX. 〇. η?？傊?，最終確定的X. 0. η未經(jīng)歷AD-/BID-RT。也就是說(shuō)，這 些雙射僅執(zhí)行元素性質(zhì)的RT (由P基于C描述，反之亦然9)^^)。
[0095] 分析PTRu^并且忽略其〇-/AD-KR(PTR)的錯(cuò)雜性常常是誤導(dǎo)的 4)1(5_8)'7)\因 此，為了在科學(xué)上確定例如其ο-ΤΤ. 0相對(duì)于其現(xiàn)有技術(shù)o-RS的創(chuàng)造性高度的事實(shí)，隨意 的〇-/AD-cr-C的法律模糊性（例如，關(guān)于它們的獨(dú)立性的法律模糊性，在PTR的〇-/AD-KR 7) 中幾乎不能檢測(cè)到）必須通過(guò)針對(duì)附加的和"法律上純凈的" 9^BID-cr-C的公開(kāi)內(nèi) 容彌選doc. 0而被去除，BID-cr-C在語(yǔ)義上細(xì)化9)ΜΤ. 0的〇-/AD-cr-C。僅這種認(rèn)可 的〇-/AD-cr-C在知識(shí)工程和IT方面是正確的并且在法律上 4)'9^是可靠的，即在法律上在 "pics"和"pmgp"方面1不易出錯(cuò)。下面的兩個(gè)點(diǎn)句詳細(xì)說(shuō)明了這兩個(gè)Z，即AD-RT和 BID-RT (簡(jiǎn)稱(chēng)為"AD"和"BID"）。對(duì)于TT. 0, AD將法律上常誤解的非正式的/文本的/圖 形的USS(〇-KR(TT. 0))的集合變換成正式的然而法律上誤導(dǎo)的USS(AD-KR(TT. 0))， 隨后僅BID將該集合變換成法律上純凈的9^USS (BID-KR(TT. 0))的集合。從而B(niǎo)ID實(shí)現(xiàn)/ 評(píng)定由VCTR建立的TT. 0的各個(gè)可能的{BID-cr-C}的獨(dú)立性。
[0096] ?在WO 2012/022612Seeti°n II A1中詳細(xì)描述了開(kāi)始分析PTR的TT. 0的剛提及的重 要的第一步驟AD。AD結(jié)束于遞送TT. 0的技術(shù)基礎(chǔ)正式AD-X. i. 其僅是隨意識(shí) 別的，即在使用復(fù)合構(gòu)思4^(1_8)^'9)1時(shí)常常仍然是模糊的/易錯(cuò)的。該"AD雙射"必須不 能改變由doc. i，0彡i彡I描述的o-KR(PTR)問(wèn)題，兩邊僅使用模糊定義的C、它們的USS 和它們的語(yǔ)義。也就是說(shuō)，TT. 0的o-KR模糊性對(duì)于其AD-KR也成立，雖然已顯著降低。換 言之，AD-RT將doc. 0公開(kāi)的文字的/圖形的原始事實(shí)，即最終所有的和準(zhǔn)確的事實(shí)，盡管 最初僅是模糊的非正式技術(shù)基礎(chǔ)事實(shí)變換成某種不太模糊的事實(shí)，作為正式技術(shù)主要 事實(shí)UL1，但仍然在法律上常是易錯(cuò)的。然而，任何這樣的形式化使得能夠在最初時(shí)還定義 模糊的BID-RT，這最終使得能夠（因?yàn)樗鼈冋膶?shí)現(xiàn)簡(jiǎn)單性）準(zhǔn)確地確定TT. 0的法律上 純凈的事實(shí)。即，任何這樣的形式化便于最終將復(fù)合C和￡(對(duì)復(fù)合主要事實(shí)建模）分解成 "更細(xì)化的"技術(shù)上準(zhǔn)確的和法律上純凈的BID-cr-Cs/BID-cr-￡s 9)L^。再一次，任何這樣 的AD和BID需要由poposc確認(rèn)。
[0097] · BID的逆BID4還通過(guò)其{BID-cr-C}及其USS({BID-cr-C})準(zhǔn)確地定義 其USS (AD-KR (TT. 0))和它們包括的BID-cr-C，這轉(zhuǎn)而使得能夠準(zhǔn)確地定義AD4以及 USS(〇-KR(TT· 0))和它們包括的BID-cr-C，這整體上建立了該AD〇BID的{o-cr-C}，又稱(chēng) CRTDD5/N5。doc. 0可以公開(kāi)不同的{BID-cr-C}，這使得能夠據(jù)此細(xì)化AD和BID。在整體上， o-KR(PTR)的AD確定AD-K (PTR)并且將由doc. 0公開(kāi)的關(guān)于o-KR (PTR)的知識(shí)添加到通過(guò) poposc從后者得到的內(nèi)容；并且BID確定BID-K(PTR)并且再次添加到關(guān)于通過(guò)poposc從 后者得到的AD-K (PTR)的知識(shí)。
[0098] 將 I {BID-cr-C. j} I = J 和 BID-cr-C. j 標(biāo)為"BID-C. 0· jn"，條件是其屬于 X. 0· n， 導(dǎo)致了 21SnSN Jn=J, U 1?；η?；Νυ liUni；JnU(BID-C.O· jn) =BID(USSC〇V(AD-KR(TT.O)))， 并且因此 BID-KR(TT.O) = {U(BID-cr-C.O.j)|l 彡 j 彡 J} = {{(x，T)| Vx e BID-1 (BID-cr-C. 0· j)} U {(X，F(xiàn)) I Vx] e BID-1 (BID-cr-C. 0· j)} 11 彡 j 彡 J}。PTR 的 總BID表示BID-PTR包括（1+1)個(gè)這樣的J子集的集合，每個(gè)J子集包括一對(duì)（x，T)集合 和（X，F(xiàn))集合，稱(chēng)為（各個(gè)BID-cr-C)的T-/F-集合。也就是說(shuō)，對(duì)于PTR，BID-TT. i包括 對(duì)于RS特定的J子集的集合，其中至少一個(gè)辛TT. 0的對(duì)等子集。AD和BID是各個(gè)U (C)之 間的雙射，沒(méi)有U(C)的元素之間的雙射"BID*"。該BID*是公知的"坐標(biāo)系變換"，這里是 〇-PTR、AD-PTR和BID*-PTR之間的變換。即，定義3是該公知概念的真正一般化，因?yàn)槠錇?PTR留下了實(shí)現(xiàn)這種額外的雙射BID*的空間。
[0099] 定在一些情況下，表述"彐…"、''...e…"、"V..."、"ind等需要 由pose人員確認(rèn)隨后這由后綴"c"表示，例如"3 c"、"e。"、"％"、"!^。"、"=。"等。
[0100] 注釋4:在數(shù)學(xué)中，D0SC人員的該額外確認(rèn)的類(lèi)例由額外的公理提供，這些確認(rèn)不 需要包括以上相關(guān)普通技能/創(chuàng)造性"above-posc"，對(duì)公開(kāi)內(nèi)容的詳細(xì)研宄 5)1S即不需要 超出pose。也就是說(shuō)，意味著該陳述的成立需要分立的公理，即各個(gè)pose確認(rèn)。在數(shù)學(xué)中， 對(duì)于整個(gè)數(shù)學(xué)理論世界，可能僅需要一次這種額外的公理，諸如歐拉幾何的平行公理，它們 中的大部分不再回到該公理。這里對(duì)于任何陳述可能需要pose的該額外確認(rèn)。因此，這些 重復(fù)的pose確認(rèn)定義了其自身的小世界，其中關(guān)于PTR的各個(gè)陳述是真實(shí)的。在下文中， 假設(shè)確保"。"認(rèn)可的術(shù)語(yǔ)，即是公理。
[0101] 宙義5:對(duì)于PTR，RT是應(yīng)用于PTR或其TT. 0 9)1的串聯(lián)BID〇AD，稱(chēng)為PTR/ TT. 0 到 BID-PTR/-TT. 0,又稱(chēng) PTR〇/TT. 0?的（KR-) "歸一化 RT ?"，是"完整 RT，CRT"。
[0102] 對(duì)于PTR，Vc. AD的子集到VcRTo的滿(mǎn)射映射被稱(chēng)為PTR的"?Α"關(guān)系。對(duì)于 PTR及其{RT°}，"歸一化同形"如下定義：
[0103] Vc AD 3C UsciBID (這樣 PTR 被稱(chēng)為"可歸一化的")Λ VADS AD"使 AD，-TT. 0 S AD" -ΤΤ.Ο?11)成立。
[0104] PTR被稱(chēng)為"非慣常的η-ρ"。
[0105] 引理 1:對(duì)于 n-p PTR 平凡地 3僅 I O-TT. Ο/mod )(參見(jiàn) ftn5)[)。
[0106] 宙理 1:對(duì)于 n-p PTR = > V {BID-cr-C}是呈。
[0107] JOE：假設(shè)是假的暗示 3RT〇 '，RT°"具有{BID，-cr-C}，{BID "-cr-C} : {BID ' -cr-Cl-^ {BID " -cr_C} = > = >〇 ' -TT. {BID r -cr-C}-N_^_{BID" -cr-ClS o" -TT. 0 = >3〇r -TT. 0,〇;/ -TT-Oior -TT. -TT. 0 = >與引理I相反。證明終了
[0108] 注釋5:注釋i)-vii)有助于理解前面的定義以及他們?cè)赑TR的FSTP分析中的使 用。
[0109] ?當(dāng)開(kāi)始PTR的FSTP分析時(shí)，常常不能準(zhǔn)確地確定5) a. AD和BID的雙射D3,即， 其開(kāi)始于"模糊定義的雙射的" AD-/BID-RT0,又稱(chēng)TT. 0的歸一化D3/N3,并且隨后，對(duì)于 i>〇,同樣模糊定義的雙射的AD-/BID-RT0 (TT. i)。更詳細(xì)地：
[0110] ?盡管BID用于將AD-KR (PTR)的初始模糊的語(yǔ)義（如通過(guò)MUI. i原始標(biāo)記doc. i從而直觀地向這些MUI. i分配"標(biāo)記類(lèi)型"對(duì)等"元語(yǔ)義"的人員感覺(jué)的那樣，即如當(dāng)這樣 在最初時(shí)通過(guò)ΜΠ 改進(jìn)o-KR(PTR)并且從其得到AD-KR(PTR)時(shí)感覺(jué)的那樣）細(xì)化成（對(duì) 于RS特定的）準(zhǔn)確的BID-KR(PTR)，其由"法律上純凈的" 9^BID-Cr-C,創(chuàng)造性/發(fā)明性構(gòu) 思（如最高法院需要的那樣4)，9)H準(zhǔn)確地/在數(shù)學(xué)上建模，
[0111] ?在PTR分析的早期階段，當(dāng)不存在TT. 0,即通過(guò)構(gòu)思的清楚語(yǔ)義表示時(shí)，AD用 于提供該BID的基礎(chǔ)，即AD在其通過(guò)MUI標(biāo)記之前從o-KR(PTR)開(kāi)始，但是隨后明顯被該 MUIiv支持。設(shè)計(jì)用于識(shí)別準(zhǔn)確的BID-cr-C的這種基礎(chǔ)開(kāi)始于識(shí)別信息V的要"標(biāo)記的項(xiàng) MUI"（ = doc. i中的語(yǔ)義單位，在最初時(shí)與剛描述的元語(yǔ)義相關(guān)聯(lián)），其最終將逐步Μ'9)α 實(shí)施由生成關(guān)于該P(yáng)TR的PTR-DS的系統(tǒng)用戶(hù)分配給BID-X. i. j的準(zhǔn)確的語(yǔ)義。在將準(zhǔn)確 語(yǔ)義分配給"MUI "之前，它們?cè)诜缮喜槐硎局匾Z(yǔ)義，而僅是在法律上無(wú)用的元語(yǔ)義。
[0112] ?重新考慮前面的步驟：例如，在用于生成PTR-DS的IES的用戶(hù)在最初時(shí)找到PTR 的該模糊的RT?之后，他/她必須使其BIN -X. 0. j，又稱(chēng)BID-￡ 0. j9)U準(zhǔn)確（被pose 人員確認(rèn)），暗示其保證該{BID' -cr-￡}在法律上是純凈的9^(其他C的含義是無(wú)關(guān) 的）。由于這些BID' -cr-￡的智力簡(jiǎn)單性7)!-'9)Li，這總是可能的。一旦定義了這些精確 的BID-X. 0. j，BID是準(zhǔn)確可逆的，因而準(zhǔn)確地確定TT. 0的AD-X. 0. 這在以上引理 1中結(jié)束，n-p PTR的所討論的權(quán)利要求/專(zhuān)利僅具有單個(gè)O-TT. 0/mod(^ ) 10>〇
[0113] 在AD-RT和BID-RT之間存在基礎(chǔ)上的不同：在被doc. 0公開(kāi)的情況下，通過(guò) 潛在地明顯不同的（盡管是模糊的）如果被pose M/M確認(rèn)），AD-RT實(shí)現(xiàn)了 PTR的潛在地多樣的"AD(重新）構(gòu)思"機(jī)會(huì)。相反，BID-RT僅實(shí)現(xiàn)了已選擇的、常常模糊 的AD-C的"AD構(gòu)思細(xì)化"，成為法律上 9)&純凈的Y/N-BID-cr-C。也就是說(shuō)，BID不能改變 由PTR的AD實(shí)施的模糊判定。
[0114] ii)如果對(duì)于 ο-IT· i 3C，則 BID-TT. i = > 3C 迎 AD-TT. i (例如 BID-TT. i)。反 之不需要成立：對(duì)于TT. i，歸一化需要完全不存在，或者僅對(duì)于一些其BID-cr-C存在，它們 在法律上是純凈的，特別是對(duì)于i = 0。
[0115] Iiil盡管這里忽略了非慣常的、不可歸一化的或非唯一的TT. 0,但是FSTP技術(shù)顯 然也可以處理它們。在TT. 0的發(fā)明或?qū)＠麜r(shí)間，這些不足常?？梢酝ㄟ^(guò)doc. 0的不適宜的 用語(yǔ)和/或在邏輯上適當(dāng)清除來(lái)避免。
[0116] M-些0-/AD-/BID謂詞常常不僅^。，而且甚至對(duì)于若干RTtl是相同的。
[0117] il盡管PTR的AD-KR便于更準(zhǔn)確地描述由其TT