供的）元素的性質(zhì)的顯性的和隱性的公開內(nèi)容的提及時(shí)，PTR-DS服務(wù)已提供的技術(shù)基礎(chǔ)正 式事實(shí)（由初始排練機(jī)編譯）執(zhí)行嚴(yán)格的PTR理解，而這不能以其他方式保證。由PTR-DS 服務(wù)即時(shí)呈現(xiàn)的PTR^的這種KR變換也可以由pose人員批準(zhǔn)，并且因此克服了各種懷 疑，這在現(xiàn)今正常情況下是不可能的。實(shí)際上，許多用戶甚至不應(yīng)自身混合該背景信息（這 在現(xiàn)今是不可或缺的），因?yàn)榻Y(jié)果可能是不可預(yù)知的。因此，甚至（專利）律師也受益于該 PTR-DS服務(wù)，因?yàn)镮ES等基于PTR-DS的系統(tǒng)的這種支持，以及因此的優(yōu)點(diǎn)和質(zhì)量。
[0165] V.牛成PTR-DS的方法/裝詈以及IES裝詈
[0166] 借助于下面所列的18個(gè)附圖提供了要求保護(hù)的發(fā)明，即針對(duì)給定的PTR生成 PTR-DS并且在其之上生成IES的進(jìn)一步細(xì)節(jié)的公開內(nèi)容。這7個(gè)附圖1至3首先重申了在 可能的PTR-DS生成準(zhǔn)備期間一方面使用PTR-DS生成系統(tǒng)的IES和另一方面PE2E服務(wù)的 未來版本之間的協(xié)作。隨后應(yīng)對(duì)11個(gè)附圖4至6以及它們的說明的章節(jié)以能夠?qū)崿F(xiàn)的方 式公開了要求保護(hù)的發(fā)明。
[0167] 圖1示出了經(jīng)由互聯(lián)網(wǎng)的IES/FSTP系統(tǒng)的示例性使用（參見章節(jié)IV.)
[0168] 圖2示出了 IES/FSTP系統(tǒng)的示例性實(shí)現(xiàn)（參見章節(jié)IV.)
[0169] 圖3a示出了使用某種PE2E服務(wù)的IES/FSTP系統(tǒng)的示例性實(shí)現(xiàn)（參見章節(jié)IV.)
[0170] 圖3b概述了如圖3的、但是將某種PE2E服務(wù)暴露于用戶的IES/FSTP系統(tǒng)（參見 章節(jié)IV.)
[0171] 圖3c概述了如圖3的、但是暴露某種更多的PE2E的IES/FSTP系統(tǒng)（參見章節(jié) IV.)
[0172] 圖3d概述了如圖3的、當(dāng)被PE2E服務(wù)使用時(shí)的IES/FSTP系統(tǒng)（參見章節(jié)IV.)
[0173] 圖3e示出了 IES/FSTP系統(tǒng)的"三明治結(jié)構(gòu)化的"使用分級(jí)（參見章節(jié)IV.)
[0174] 圖4a示出了 IES的任務(wù)欄編譯頁(yè)面的示意性屏幕截圖（參見下文）
[0175] 圖4b示出了針對(duì)PTR-DS生成器的初始錄入頁(yè)面的示意性屏幕截圖（參見下文）
[0176] 圖5a示出了 MUI. 0項(xiàng)和所生成的TT. 0/i. CT項(xiàng)之間的關(guān)系結(jié)構(gòu)（參見下文）
[0177] 圖5b示出了 MUI. CT項(xiàng)和所生成的TT. 0/i. CT項(xiàng)之間的關(guān)系結(jié)構(gòu)（參見下文）
[0178] 圖5c示出了 MUI. CT項(xiàng)和所生成的TT. i/i. CT項(xiàng)之間的關(guān)系結(jié)構(gòu)（參見下文）
[0179] 圖5d示出了向圖5c添加 Qples-AC項(xiàng)（參見下文）
[0180] 圖5e示出了向圖5a添加確定Qples-AC項(xiàng)的RTtl項(xiàng)（參見下文）
[0181] 圖5f示出了向圖5c添加確定Qples-AC項(xiàng)的RTtl項(xiàng)（參見下文）
[0182] 圖6a提供了關(guān)于IES如何使其用戶能夠接入0-/AD-/BID-KR、"模型KR"和"doc 導(dǎo)航KR"中的其當(dāng)前關(guān)注的項(xiàng)的概述（參見下文）
[0183] 圖6b示出了 PTR的ANC矩陣（參見下文）
[0184] 圖6c示出了 IES如何使其用戶能夠針對(duì)任何BID-cr-C遍覽其牽涉的所有測(cè)試的 論證鏈（參見下文）
[0185] 圖4/6中的⑶I使用的項(xiàng)名稱是特定PTR分析，S卩' 453專利?的項(xiàng)名稱。
[0186] 在章節(jié)III. 3中已描述了針對(duì)給定PTR的PTR-DS的生成處理底層的基礎(chǔ)哲學(xué)，分 成其面向子章節(jié)III. 3. 1和子章節(jié)III. 3. 2的一般原理4)^，其介紹并且詳細(xì)說明了"構(gòu) 思"的簡(jiǎn)明IT概念。它們的尾注4M)常引用PTR的FSTP分析 4)^9)氣即其"FSTP測(cè)試"?， 其屬于功能上等同的算法類別并且經(jīng)歷未決的專利申請(qǐng)。這里公開的本專利申請(qǐng)的發(fā)明假 設(shè)熟悉針對(duì)這里討論的PTR首先執(zhí)行其FSTP分析。
[0187] 因此對(duì)于本章節(jié)V.，保持在其子章節(jié)中公開
[0188] ：LI要求保護(hù)的發(fā)明方法，即各個(gè)系統(tǒng)的所有細(xì)節(jié)，以及在
[0189] Xj中公開由；Ll中說明的要求保護(hù)的發(fā)明實(shí)施的BID-cr-C的總集合的特定子 集，并且在
[0190] Xj中概述這些權(quán)利要求的用語對(duì)這些構(gòu)思的使用實(shí)際上前攝地旨示權(quán) 利要求滿足在§ § 112, 102, 101，and 103(如ftn4)i(1_8)'9)^中聲明的）下闡述的要求的原 因。專利申請(qǐng)的說明書及其權(quán)利要求的用語中的這種前攝指示，即它們二者滿足由這4個(gè) § §闡述的要求，是雛形（novum)，因?yàn)樵趥鹘y(tǒng)上此二者迄今為止不太注重法律問題，即迄 今為止對(duì)于這4個(gè)§ §提供不太多的透明性。
[0191] 因此，新型的對(duì);Ll-Xj中的法律指示的注意將顯然便于PTO和最終法院對(duì)要求 保護(hù)的發(fā)明的審查，即例示以上聲明的"范例改變"。
[0192] 在下文中，PTR后綴"CT"常常被拋棄，因?yàn)檫@不能被誤用，即為了便利。
[0193] Xa-要求保護(hù)的發(fā)明：生成PTR-DS和IES要求保護(hù)的發(fā)明解決了從在論證專利 時(shí)使用數(shù)據(jù)庫(kù)系統(tǒng)獲知的問題。即，不能針對(duì)關(guān)于PTR的任何查詢實(shí)時(shí)地遞送正確的和完 整的回答。也就是說，所生成的發(fā)明性PTR-DS連同發(fā)明性IES -起是PTR專家系統(tǒng)，更準(zhǔn) 確地是實(shí)時(shí)PTR查詢解釋/回答機(jī)器。PTR-DS自身使得能夠在其之上與IES無關(guān)地搭建由 PTR-DS控制的全部范圍的極為不同的專家系統(tǒng)（ES)。任何這樣的PTR-ES將使用PTR-DS 并且因此可以知曉
[0194] ?給定的特定"背景CT"的PTRCT的信息的標(biāo)記項(xiàng)（MUI)之間的所有關(guān)系，唯一地 存在有限的許多這種關(guān)系。通過對(duì)于專利業(yè)務(wù)從業(yè)者的任何法律上有意義的/有幫助的方 式，這些關(guān)系使所有doc. i (即主題內(nèi)容）項(xiàng)與PTRct實(shí)施的所有doc. CT (例如法律）項(xiàng)相 關(guān)（即，聯(lián)合考慮所有專利法及其案例/審查指導(dǎo)等以及例如標(biāo)準(zhǔn)等，縮寫為"背景"）9)^。
[0195] ·關(guān)于這@關(guān)系的所有合理杳詢，再次地唯一地存在有限的許多這種杳詢(例如， 以給定的對(duì)于ES特定的呈現(xiàn)語言，或者通過SQL等），因此即時(shí)辨別任何這樣的查詢，并且 正確地和完整地即時(shí)回答它（以用戶可選擇的表示）。
[0196] 在編譯器技術(shù)方面，關(guān)于給定PTR的PTR-DS包括：非發(fā)明性查詢剖析器（如可以 由編譯器-編譯器，諸如YACC生成），發(fā)明性語義例程，其生成和調(diào)取針對(duì)所有查詢的回答 的搭建塊，是定義由幾乎平凡的BID-cr-C建模的限制的項(xiàng)（即，在下文和在V. 2中描述了 這些例程的語義，即它們?cè)谕瓿蓵r(shí)執(zhí)行的操作），以及按數(shù)據(jù)結(jié)構(gòu)PTR-DS的PTR的發(fā)明呈 現(xiàn)。語義例程能夠在PTR-DS生成期間在它們與用戶交互地建立K(PTR-DS)，使得其包含關(guān) 于潛在正被查詢的PTR的所有技術(shù)和法律信息之后，從該P(yáng)TR-DS即時(shí)調(diào)取該信息。這些語 義例程的語義（鏈接到編譯器-編譯器生成的查詢解釋器，如從編譯器技術(shù)獲知的，用于使 得解釋器能夠?qū)崟r(shí)地遞送所查詢的信息）并且因此在下文中更詳細(xì)地說明它們的協(xié)作，正 如IES的功能實(shí)現(xiàn)那樣。
[0197] 對(duì)于任何現(xiàn)實(shí)PTR，（i)其PTR-DS的生成僅對(duì)于執(zhí)行發(fā)明的方法的計(jì)算機(jī)實(shí)現(xiàn)是 可能的，并且（ii)PTR-DS僅用于控制執(zhí)行ES的計(jì)算機(jī)。這二者的行為確實(shí)超過任何人的 能力，歸因于
[0198] (i)在搭建PTR-DS期間要絕對(duì)可靠地生成和管理的大量的項(xiàng)，如果在沒有計(jì)算機(jī) 控制的情況下生成PTR-DS，則其正確性和完整性是無法證實(shí)的，但是
[0199] (ii)首先，在回答針對(duì)該P(yáng)TR提出的任意查詢時(shí)使用該大量的詳細(xì)信息的實(shí)時(shí)需 要，從而這些查詢常常暗示完全不能實(shí)時(shí)回答的法律的和/或技術(shù)的問題，盡管它們不需 要應(yīng)對(duì)大量信息，除非在早先的耗時(shí)處理中已確定答案并且隨后存儲(chǔ)在PTR-DS中以備以 后查詢實(shí)時(shí)使用。
[0200] 從其永久地和完整地即時(shí)調(diào)取顯件地和/或隱性地查詢的內(nèi)容的這種不可避免 的大量信息常常是每小時(shí)上萬個(gè)項(xiàng)，其中調(diào)取的大部分僅用于潛在使用，并且特別地許多 查詢完全不能即時(shí)回答，是所出現(xiàn)的要徹底分析的問題，需要用于實(shí)現(xiàn)要求保護(hù)的發(fā)明的 能力的預(yù)備措施，以即時(shí)地和永久地遞送關(guān)于在PTR討論/論證期間將要來臨的任何查詢 的所有正確的和完整的回答。這些預(yù)備措施是：前攝地甄選所有有意義的問題并且預(yù)先確 定它們的所有答案并且存儲(chǔ)在PTR-DS中，因此實(shí)現(xiàn)該查詢信息的即時(shí)遞送，否則不可避免 地僅能夠非實(shí)時(shí)地遞送，特別是在這些答案潛在地在論證鏈u中要被poposc的選擇確認(rèn) m_3_2D4/N4的情況下。在未來，這些確認(rèn)將進(jìn)一步被自動(dòng)化確認(rèn)生成替換替換，其當(dāng)前是語義 檢索的主題，即在本專利申請(qǐng)中未被詳細(xì)說明。
[0201] 也就是說，針對(duì)任何PTR生成其PTR-DS并且使用PTR-DS高效地實(shí)現(xiàn)IES的要求 保護(hù)的發(fā)明兩者一起能夠即時(shí)回答關(guān)于PTR的TT. 0的任何技術(shù)的或法律的查詢，無疑不僅 僅是可由人執(zhí)行的自動(dòng)化處理。但是，這些發(fā)明對(duì)這些處理進(jìn)行變換，諸如以使得計(jì)算機(jī)能 夠自動(dòng)地提供比人能夠遞送的更強(qiáng)大的服務(wù)。即，為了由PTR-DS控制ES的計(jì)算機(jī)，使得ES 永久地在關(guān)于PTR的任何論證中實(shí)時(shí)地針對(duì)永久地即將來臨的合理查詢中的任一查詢，完 整地和正確地提供各個(gè)答案。這隨后被用戶、PTO或法院評(píng)估?，F(xiàn)在可實(shí)時(shí)接入的PTR的 所有這些技術(shù)和法律事實(shí)迄今為止不是實(shí)時(shí)可獲得的。因此FSTP可以替選地代表"事實(shí)甄 選和變換成實(shí)時(shí)呈現(xiàn)"。
[0202] 下面的框示出了明顯可執(zhí)行的算法，其公開了生成PTR-DS的要求保護(hù)的發(fā)明的 任何實(shí)施例要執(zhí)行的關(guān)鍵步驟，其是3個(gè)要求保護(hù)的發(fā)明的TT. 0的公共核心。其描述了 其元素的性質(zhì)，是以如下方式用戶（或自動(dòng)地）可生成的不同類別的集合：通過BID-cr-C 對(duì)象?'9)@限制這些集合的元素。這些在其中被粗體字母標(biāo)記。任何這樣的BID-cr-C 在其中在""后面在行中被定義，讀作"限制這里生成的集合以具有其后描述的性質(zhì)"，如 果具有尾標(biāo)記"x)"，則也被各個(gè)"X)分部"在行外說明。其中使用的BID-cr-C屬于所討論 的PTR ct或者要求保護(hù)的發(fā)明，如在掌握u中說明的哲學(xué)之后在u中將變得更為清楚和明 顯的。
[0203] 該算法是權(quán)利要求2的注釋復(fù)本；因此其拋棄了權(quán)利要求1的前序部分。替代地， 其通過顯性地命名這些元素的BID-cr-C 9)u來強(qiáng)調(diào)要求保護(hù)的發(fā)明的元素的性質(zhì)。也就 是說，除權(quán)利要求2中更有限的接入構(gòu)思之外，這些元素以及它們的性質(zhì)在結(jié)構(gòu)上在兩個(gè) 權(quán)利要求中相同，權(quán)利要求2唯一地通過不同的用語描述它們。因此所提供的術(shù)語冗余便 于掌握由BID-cr-C?描述的限制/性質(zhì)，要求保護(hù)的發(fā)明基于（特別是權(quán)利要求的用 語），并且其在這里提供的公開內(nèi)容明顯是可實(shí)現(xiàn)的。
[0204] 通過圖5的可視化，子章節(jié)a)_c)詳細(xì)描述了這些發(fā)明元素及其性質(zhì)/構(gòu)思 9) 1. -2.，u僅總結(jié)了它們。圖6隨后圖示了發(fā)明的IES對(duì)它們的實(shí)際使用。
[0205]
【主權(quán)項(xiàng)】
1. 一種計(jì)算機(jī)實(shí)現(xiàn)的方法，用于針對(duì)"TT. O和RS的問題PTRCT"生成由專家系統(tǒng)使用 的數(shù)據(jù)結(jié)構(gòu)"PTRCT_DS"，執(zhí)行所述方法的計(jì)算機(jī)系統(tǒng)具有用于生成PTR ct-DS的處理器和用 于存儲(chǔ)PTRct-DS的存儲(chǔ)器，所述方法包括： ?接收公開技術(shù)教導(dǎo)TT. O的具有信息的標(biāo)記項(xiàng)（"doc. O-MUI"）的文獻(xiàn).0,接收公開 技術(shù)教導(dǎo)TT. i的具有doc. i-ΜΠ 的文獻(xiàn).i的參考文獻(xiàn)集合RS，i = 1，2, 3,…，并且將所有 文獻(xiàn).i，i = 0, 1，2,…，以及它們的MUI寫入PTRct-DS中，任何一個(gè)doc. i-ΜΠ 被稱為"主 題內(nèi)容項(xiàng)"； ?接收背景文獻(xiàn)，即文獻(xiàn).CT，其包括權(quán)威針對(duì)doc. CT-MUI的用語的指導(dǎo)（諸如35 USC § § 112/102/103/101的用語），并且將文獻(xiàn).CT及其MUI寫入PTRgt-DS中，任何一個(gè) doc. CT-ΜΠ 被稱為"法律項(xiàng)"； 以及，如所述方法的以下步驟確定的，通過執(zhí)行該方法進(jìn)一步創(chuàng)建兩種類別的項(xiàng)： (a) 識(shí)別doc. 0的所述權(quán)利要求的TT. 0的 .1 一個(gè)元素，并且生成包括它的集合，并且將所述集合寫入到PTRct-DS中； .2所述元素的性質(zhì)，并且生成包括它的集合，并且將所述集合寫入到PTRct-DS中； .3至少一個(gè)創(chuàng)造性二元獨(dú)立構(gòu)思，使得它們的鏡像謂詞的連結(jié)描述所述性質(zhì)，針對(duì)每 個(gè)創(chuàng)造性二元獨(dú)立構(gòu)思并且唯一針對(duì)該創(chuàng)造性二元獨(dú)立構(gòu)思生成包括它的集合，并且將任 何所述集合寫入到PTRct-DS中； (b) 針對(duì)在（a)中生成的任何集合，生成公開其元素的doc. 0-ΜΠ 的集合并且將所述集 合寫入到PTRct-DS中； (c) 針對(duì)在（b)中生成的任何集合，生成裁定其的I. CT的集合并且將所述集合寫入到 PTRct-DS 中； 針對(duì)任何doc. i，i>0,重復(fù)步驟（d)至（f)，并且其中對(duì)于與在（a). 1或（a). 3中生成 的內(nèi)容對(duì)等的任何項(xiàng)： (d) 生成TT. i的包括如下元素的集合：與步驟（a). 1中的內(nèi)容對(duì)等的元素，條件是該 對(duì)等元素不存在，將其替換為偽對(duì)等元素；或者與步驟（a). 3中的內(nèi)容對(duì)等的TT. i的二元 獨(dú)立構(gòu)思，條件是其不存在或者不等于其在TT. 0中的對(duì)等物，將其替換為偽對(duì)等構(gòu)思，以 及將所述集合寫入到PTRct-DS中； (e) 針對(duì)在（d)中生成的任何集合，生成在doc. i中公開在（d)中被替換的項(xiàng)的doc. i-ΜΠ 的集合并且將所述集合寫入到PTRct-DS中； (f) 針對(duì)在（e)中生成的任何集合，生成裁定其的I. CT的集合并且將所述集合寫入到 PTRct-DS 中； (g) 基于（d)的替換生成所有預(yù)期組合的集合并且將其寫入到PTRct-DS中； (h) 針對(duì)在（g)中生成的任何AC，生成Q個(gè)I-CC的最短序列的集合，使得ACAiod(Q-CC) ants TT. 0,并且將所述集合寫入到PTRct-DS中； (i) 針對(duì)在（h)中生成的Q個(gè)I-CC的任何序列，生成裁定其的I. CT的集合，并且將所 述集合寫入到PTRct-DS中； (j) 針對(duì)在（a)至⑴中生成的集合，生成關(guān)于測(cè)試T的論證鏈的集合，所述論證鏈的 串聯(lián)表示測(cè)試T，從而任何鏈被限于包括來自（a)至（i)的集合作為鏈接，所述鏈接通過自 然語言片段粘合在一起， (k)針對(duì)在（a)至（j)中生成的任何集合，生成實(shí)時(shí)接入集合，條件是需要確保該集合 的調(diào)取和呈現(xiàn)在實(shí)時(shí)對(duì)話中被終結(jié)，并且將所述集合寫入到PTRct-DS中。
2. 根據(jù)權(quán)利要求1的方法，其中，其生成的集合具有由其BID-cr-C在（a)至（k)中描 述的性質(zhì)： (a) (a) · I "AD-TT. O 構(gòu)思" ξ其包括 a) 元素 X. 0. n，或者 b) 謂詞AD-毛0· n，1彡η彡N，以及 (a) · 2 "BID-TT. 0構(gòu)思"三其包括 a) BID-C. 0· kn，l 彡 kn 彡 Κη，Σ1??η??Ν Kn= K 彡 N，使得 b) (a) · 1的任何AD-X. 0· η是BID-C. 0· kn的鏡像謂詞BID- ￡· 0· kn的連結(jié)， (b