【誤訳訂正書】
【提出日】平成30年7月23日(2018.7.23)
【誤訳訂正１】
【訂正対象書類名】特許請求の範囲
【訂正対象項目名】全文
【訂正方法】変更
【訂正の内容】
【特許請求の範囲】
【請求項１】
実行することにより、
少なくともプロセッサ、プロセッサで実行可能な方法のコードを格納するメモリ、ＩＥＳ（Innovation Expert System）ユーザとのＩＥＳの対話を行うための少なくとも１つのＩ／Ｏ装置、ＩＥＳの動作に関するデータが格納されるメモリ、及び、「ユーザインターフェイスエンティティ、ＵＩＥ（User Interface Entity）」を有し、前記ＵＩＥは、ＵＩＥ：：＝｛＜ＫＲ−ＵＩＥ、ＨＩ−ＵＩＥ、ＩＣ−ＵＩＥ＞．Ｙ｜Ｙ∈ＹＵＩＥ｝を含む、「イノベーションエキスパートシステム、IES（Innovation Expert System）」を実行し、
前記メモリに格納されたＦＳＴＰＦＦＯＬＬＩＮ‐テストによって決定された所定の「ＰＴＲデータ構造、ＰＴＲＦＦＯＬＬＩＮ‐ＤＳ（PTR Data Structure）」と、「論証可能サブテスト、前記メモリに格納されたＡＳＴ（Arguable Subtest）」∈ＦＳＴＰＦＦＯＬＬＩＮ‐テスト（将来の「ＦＦＯＬＬＩＮ」を除く）と、に対して、「法的文法項連鎖、ＬＡＣ（legal argument chain）の集合を生成かつカスタマイズするコンフィグモードにおいて、
但し、｛ＬＡＣ｝：：＝｛ＬＡＣＡＳＴ．Ｚ｜ＬＡＣＡＳＴ．ＺはＴＴ．０がＡＳＴ∀Ｚ∈ＺＡＳＴを通過することを論証する｝であり、よって、∀Ｚ∈ＺＡＳＴ⊂ＹＵＩＥは、ＡＳＴを有するＫＲ−ＵＩＥ．Ｚ、ユーザにより入力されるＨＩ−ＵＩＥ．Ｚ及びユーザにより決定されるＩＣ−ＵＩＥ．Ｚを保持し、
リアルタイムモードでは、起動及び／又はカスタマイズされたＬＡＣＡＳＴ．Ｚ、Ｚ∈ＺＡＳＴを提起し、
前記ＩＥＳによって実行された場合、前記ＩＥＳがコンフィグモードの場合には動作Ａ）を、前記ＩＥＳがリアルタイムモードの場合には動作B）を、繰り返し連続して、完全に、かつ任意のＩＥＳユーザに対して実行し、
前記ＩＥＳの動作Ａ）及びＢ）は、下記の通りであり、
Ａ）
ｉ．前記ＩＥＳは、既に存在するＬＡＣＡＳＴ又はＬＡＣに変換されるＡＳＴ∈ＦＳＴＰ‐テスト（ＰＴＲ）に対するＺ∈ＺＡＳＴを自動的に認識し、
ｉｉ．前記認識したＫＲ‐ＵＩＥ．Ｚに前記ＡＳＴを入力し、このＡＳＴがどのＩ／Ｏ装置上のものであるかを表現するものをそのＨＩ‐ＵＩＥ．Ｚに入力し、前記ＡＳＴの前記表現においてユーザがどの対話制御を有するかをそのＩＣ‐ＵＩＥに入力するように、自動的にユーザに促し、
ｉｉｉ．少なくとも１つの他のＩＥＳユーザのＩ／Ｏ装置と通信する少なくとも１つのＩＥＳユーザからの情報を自動的に受け付け、
ｉｖ．ＩＥＳユーザの要求に応じて、前記ＩＥＳユーザのＩＥＳモードを前記リアルタイムモードに切り替え、
Ｂ） 
ｉ．ＬＡＣ∈｛ＬＡＣＡＳＴ｝を自動的に認識し、
ｉｉ．自動的にＡＳＴを認識し、そして自動的にＬＡＣ∈｛ＬＡＣＡＳＴ｝を認識し、
ｉｉｉ．前記ＬＡＣを決定するにあたり、Ａ）のｉｉ．において定義されるように又は前もって定義されるようにＬＡＣを表現し、
ｉｖ．少なくとも１つの他のＩＥＳユーザのＩ／Ｏ装置と通信する少なくとも１つのＩＥＳユーザからの情報を自動的に受け付け、
ｖ．ＩＥＳユーザの要求に応じて、前記ＩＥＳユーザのＩＥＳモードを前記コンフィグモードに切り替える、
コンピュータ実装方法。
【請求項２】
前記した表現の所定のＩＥＳ集合から前記表現を選択すること、及び、所定のＩＥＳ表記法で前記表現を記述することのいずれかにより、前記ＩＥＳが要求するユーザ入力の表現がユーザによって認識される、
請求項１に記載のコンピュータ実装方法。
【請求項３】
前記した表現の所定のＩＥＳ集合から前記表現を選択すること、及び、所定のＩＥＳ表記法で前記表現を記述することのいずれかにより、少なくとも１つのＩＥＳユーザの使用に供するために出力されるＩＥＳの表現が、ユーザによって認識される、
請求項１に記載のコンピュータ実装方法。
【請求項４】
ユーザ入力は、少なくともＫＲ−ＵＩＥ．Ｙ、ＨＩ−ＵＩＥ．Ｙ又はＩＣ−ＵＩＥ．Ｙの一部を自動的又はユーザと対話的に生成又は修正するＩＥＳの機能を切り替える、
請求項１に記載のコンピュータ実装方法。
【請求項５】
前記ＩＥＳは、ＵＩＥ．Ｙについて、ＵＩＥ．Ｙ又はＵＩＥ．Ｙのステップを更にステップに分割し、かつ、このような再分割を除去する能力をユーザに提供し、
ＵＩＥ．Ｙを更に分割又は除去する動作は、ユーザ又はＩＥＳユーザに制御された前記ＩＥＳによって決定され、Ａ）及びＢ）で定義された任意の動作がステップに適用される、
請求項１に記載のコンピュータ実装方法。
【請求項６】
少なくとも１つのＡＳＴは、ＩＥＳユーザによって完全に入力され、又は、ＩＥＳユーザとの間で対話的に又は自動的に、ＩＥＳユーザによって認識された少なくとも１つのＰＴＲ‐ＤＳから前記ＩＥＳによって導かれる、
請求項１に記載のコンピュータ実装方法。
【請求項７】
前記ＰＴＲ−ＤＳは、ＩＥＳユーザによって部分的に入力、修正又は検証され、
もし不十分である場合には、前記ＰＴＲ−ＤＳは、ＩＥＳユーザとの間で対話的な前記ＩＥＳによって完成される、
請求項１に記載のコンピュータ実装方法。
【請求項８】
前記ＦＦＯＬＬＩＮは、前記ＰＴＲ‐ＤＳによって提供され、又は、ＦＦＯＬＬＮの所定のＩＥＳ集合からＦＦＯＬＬＮを選択して、所定のＰＴＲのＴＴ．０のｉｎＣによって、選択したＦＦＯＬＬＮをＦＦＯＬＬＩＮとして完成させること、及び、所定のＩＥＳ記述法にて前記ＦＦＯＬＬＩＮ又はＦＦＯＬＬＮを記述することのいずれかによって、ユーザによって入力される、
請求項１に記載のコンピュータ実装方法。
【請求項９】
ＩＥＳユーザは文書によりＳＰＬを制限し、テストの下でのＴＴ．０への追加的な制限は、前記ＩＥＳにより与えられる記述法のよって記述され、
前記ＩＥＳは、制限の結果の集合がＦＦＯＬの性質が保たれることをチェックする、
請求項１に記載のコンピュータ実装方法。
【請求項１０】
ＩＥＳユーザは、ＩＥＳの所定の手続によって、ＰＴＲ‐ＤＳ及び係属するＴＴ．０テストによって用いられるＵＩＥの少なくとも１つの部分をマークアップし、かつ、任意の前記部分を認識及び認証するのと同様に、前記したＩＥＳ工程によって前記ＩＥＳにその用途を監視させるように、認証可能な方法で署名し、
その使用に関するログファイルに書き出し、
その使用を瞬間的に、又は、ＩＥＳユーザが構築可能な所定のＩＥＳイベントが生じたかを、ＩＥＳユーザに通知する、
請求項１に記載のコンピュータ実装方法。
【請求項１１】
ＩＥＳユーザは、前記ＩＥＳの現実の状態を認識し、異なる前記認識した状態の間を切り替えることで、前記ＩＥＳによって提供される記述法にてＩＥＳユーザによって構成されるように表現された両方の状態の差異の記述を、前記ＩＥＳから取得する、
請求項１に記載のコンピュータ実装方法。
【請求項１２】
ＩＥＳユーザは、そのＩ／ＥＭを変更する前記ＩＥＳとの直近の対話を取り消す、
請求項１に記載のコンピュータ実装方法。
【請求項１３】
ＩＥＳユーザは、少なくとも１つの他のＩＥＳユーザをＩＥＳユーザとの間の少なくとも１つの対話に対して有効／無効にする、
請求項１に記載のコンピュータ実装方法。
【請求項１４】
ＩＥＳユーザは、前記ＩＥＳによって提供される部分の集合からＩＥＳユーザが選択可能な、又は、前記ＩＥＳによって提供される記述法にてＩＥＳユーザによって記述された、前記ＩＥＳの前記表現の一部を少なくとも２つのＩＥＳユーザに同期させる、
請求項１に記載のコンピュータ実装方法。
【請求項１５】
ＩＥＳユーザは、前記ＩＥＳによって提供される部分の集合からＩＥＳユーザが選択可能な、又は、前記ＩＥＳによって提供される記述法にてＩＥＳユーザによって記述された、前記ＴＴ．０に対する前記ＩＥＳの実行期間のログファイルの一部を要求する、
請求項１に記載のコンピュータ実装方法。
【請求項１６】
実行することにより、
少なくともプロセッサ、プロセッサで実行可能な方法のコードを格納するメモリ、ＩＥＳ（Innovation Expert System）ユーザとのＩＥＳの対話を行うための少なくとも１つのＩ／Ｏ装置、ＩＥＳの動作に関するデータが格納されるメモリ、及び、「ユーザインターフェイスエンティティ、ＵＩＥ（User Interface Entity）」を有し、前記ＵＩＥは、ＵＩＥ：：＝｛＜ＫＲ−ＵＩＥ、ＨＩ−ＵＩＥ、ＩＣ−ＵＩＥ＞．Ｙ｜Ｙ∈ＹＵＩＥ｝を含む、「イノベーションエキスパートシステム、IES（Innovation Expert System）」を実行し、
前記メモリに格納されたＦＳＴＰＦＦＯＬＬＩＮ‐テストによって決定された所定の「ＰＴＲデータ構造、ＰＴＲＦＦＯＬＬＩＮ‐ＤＳ（PTR Data Structure）」と、前記メモリに格納された「論証可能サブテスト、ＡＳＴ（Arguable Subtest）」∈ＦＳＴＰＦＦＯＬＬＩＮ‐テスト（将来の「ＦＦＯＬＬＩＮ」を除く）と、に対して、「法的文法項連鎖、ＬＡＣ（legal argument chain）の集合を生成かつカスタマイズするコンフィグモードにおいて、
但し、｛ＬＡＣ｝：：＝｛ＬＡＣＡＳＴ．Ｚ｜ＬＡＣＡＳＴ．ＺはＴＴ．０がＡＳＴ∀Ｚ∈ＺＡＳＴを通過することを論証する｝であり、よって、∀Ｚ∈ＺＡＳＴ⊂ＹＵＩＥは、ＡＳＴを有するＫＲ−ＵＩＥ．Ｚ、ユーザにより入力されるＨＩ−ＵＩＥ．Ｚ及びユーザにより決定されるＩＣ−ＵＩＥ．Ｚを保持し、
リアルタイムモードでは、起動及び／又はカスタマイズされたＬＡＣＡＳＴ．Ｚ、Ｚ∈ＺＡＳＴを提起し、
前記ＩＥＳによって実行された場合、前記ＩＥＳがコンフィグモードの場合には動作Ａ）を、前記ＩＥＳがリアルタイムモードの場合には動作B）を、繰り返し連続して、完全に、かつ任意のＩＥＳユーザに対して実行し、
前記ＩＥＳの動作Ａ）及びＢ）は、下記の通りであり、
Ａ）
ｉ．前記ＩＥＳは、既に存在するＬＡＣＡＳＴ又はＬＡＣに変換されるＡＳＴ∈ＦＳＴＰ‐テスト（ＰＴＲ）に対するＺ∈ＺＡＳＴを自動的に認識し、
ｉｉ．前記認識したＫＲ‐−ＵＩＥ．Ｚに前記ＡＳＴを入力し、このＡＳＴがどのＩ／Ｏ装置上のものであるかを表現するものをそのＨＩ‐ＵＩＥ．Ｚに入力し、前記ＡＳＴの前記表現においてユーザがどの対話制御を有するかをそのＩＣ−ＵＩＥに入力するように、自動的にユーザに促し、
ｉｉｉ．少なくとも１つの他のＩＥＳユーザのＩ／Ｏ装置と通信する少なくとも１つのＩＥＳユーザからの情報を自動的に受け付け、
ｉｖ．ＩＥＳユーザの要求に応じて、前記ＩＥＳユーザのＩＥＳモードを前記リアルタイムモードに切り替え、
Ｂ） 
ｉ．ＬＡＣ∈｛ＬＡＣＡＳＴ｝を自動的に認識し、
ｉｉ．自動的にＡＳＴを認識し、そして自動的にＬＡＣ∈｛ＬＡＣＡＳＴ｝を認識し、
ｉｉｉ．前記ＬＡＣを決定するにあたり、Ａ）のｉｉ．において定義されるように又は前もって定義されるようにＬＡＣを表現し、
ｉｖ．少なくとも１つの他のＩＥＳユーザのＩ／Ｏ装置と通信する少なくとも１つのＩＥＳユーザからの情報を自動的に受け付け、
ｖ．ＩＥＳユーザの要求に応じて、前記ＩＥＳユーザのＩＥＳモードを前記コンフィグモードに切り替える、
コンピュータ実装システム。
【請求項１７】
前記した表現の所定のＩＥＳ集合から前記表現を選択すること、及び、所定のＩＥＳ表記法で前記表現を記述することのいずれかにより、前記ＩＥＳが要求するユーザ入力の表現がユーザによって認識される、
請求項１６に記載のコンピュータ実装システム。
【請求項１８】
前記した表現の所定のＩＥＳ集合から前記表現を選択すること、及び、所定のＩＥＳ表記法で前記表現を記述することのいずれかにより、少なくとも１つのＩＥＳユーザの使用に供するために出力されるＩＥＳの表現が、ユーザによって認識される、
請求項１６に記載のコンピュータ実装システム。
【請求項１９】
ユーザ入力は、少なくともＫＲ−ＵＩＥ．Ｙ、ＨＩ−ＵＩＥ．Ｙ又はＩＣ−ＵＩＥ．Ｙの一部を自動的又はユーザと対話的に生成又は修正するＩＥＳの機能を切り替える、
請求項１６に記載のコンピュータ実装システム。
【請求項２０】
前記ＩＥＳは、ＵＩＥ．Ｙについて、ＵＩＥ．Ｙ又はＵＩＥ．Ｙのステップを更にステップに分割し、かつ、このような再分割を除去する能力をユーザに提供し、
ＵＩＥ．Ｙを更に分割又は除去する動作は、ユーザ又はＩＥＳユーザに制御された前記ＩＥＳによって決定され、Ａ）及びＢ）で定義された任意の動作がステップに適用される、
請求項１６に記載のコンピュータ実装システム。
【請求項２１】
少なくとも１つのＡＳＴは、ＩＥＳユーザによって完全に入力され、又は、ＩＥＳユーザとの間で対話的に又は自動的に、ＩＥＳユーザによって認識された少なくとも１つのＰＴＲ‐ＤＳから前記ＩＥＳによって導かれる、
請求項１６に記載のコンピュータ実装システム。
【請求項２２】
前記ＰＴＲ‐ＤＳは、ＩＥＳユーザによって部分的に入力、修正又は検証され、
もし不十分である場合には、前記ＰＴＲ−ＤＳは、ＩＥＳユーザとの間で対話的な前記ＩＥＳによって完成される、
請求項１６に記載のコンピュータ実装システム。
【請求項２３】
前記ＦＦＯＬＬＩＮは、前記ＰＴＲ‐ＤＳによって提供され、又は、ＦＦＯＬＬＮの所定のＩＥＳ集合からＦＦＯＬＬＮを選択して、所定のＰＴＲのＴＴ．０のｉｎＣによって、選択したＦＦＯＬＬＮをＦＦＯＬＬＩＮとして完成させること、及び、所定のＩＥＳ記述法にて前記ＦＦＯＬＬＩＮ又はＦＦＯＬＬＮを記述することのいずれかによって、ユーザによって入力される、
請求項１６に記載のコンピュータ実装システム。
【請求項２４】
ＩＥＳユーザは文書によりＳＰＬを制限し、テストの下でのＴＴ．０への追加的な制限は、前記ＩＥＳにより与えられる記述法のよって記述され、
前記ＩＥＳは、制限の結果の集合がＦＦＯＬの性質が保たれることをチェックする、
請求項１６に記載のコンピュータ実装システム。
【請求項２５】
ＩＥＳユーザは、ＩＥＳの所定の手続によって、ＰＴＲ‐ＤＳ及び係属するＴＴ．０テストによって用いられるＵＩＥの少なくとも１つの部分をマークアップし、かつ、任意の前記部分を認識及び認証するのと同様に、前記したＩＥＳ工程によって前記ＩＥＳにその用途を監視させるように、認証可能な方法で署名し、
その使用に関するログファイルに書き出し、
その使用を瞬間的に、又は、ＩＥＳユーザが構築可能な所定のＩＥＳイベントが生じたかを、ＩＥＳユーザに通知する、
請求項１６に記載のコンピュータ実装システム。
【請求項２６】
ＩＥＳユーザは、前記ＩＥＳの現実の状態を認識し、異なる前記認識した状態の間を切り替えることで、前記ＩＥＳによって提供される記述法にてＩＥＳユーザによって構成されるように表現された両方の状態の差異の記述を、前記ＩＥＳから取得する、
請求項１６に記載のコンピュータ実装システム。
【請求項２７】
ＩＥＳユーザは、そのＩ／ＥＭを変更する前記ＩＥＳとの直近の対話を取り消す、
請求項１６に記載のコンピュータ実装システム。
【請求項２８】
ＩＥＳユーザは、少なくとも１つの他のＩＥＳユーザをＩＥＳユーザとの間の少なくとも１つの対話に対して有効／無効にする、
請求項１６に記載のコンピュータ実装システム。
【請求項２９】
ＩＥＳユーザは、前記ＩＥＳによって提供される部分の集合からＩＥＳユーザが選択可能な、又は、前記ＩＥＳによって提供される記述法にてＩＥＳユーザによって記述された、前記ＩＥＳの前記表現の一部を少なくとも２つのＩＥＳユーザに同期させる、
請求項１６に記載のコンピュータ実装システム。
【請求項３０】
ＩＥＳユーザは、前記ＩＥＳによって提供される部分の集合からＩＥＳユーザが選択可能な、又は、前記ＩＥＳによって提供される記述法にてＩＥＳユーザによって記述された、前記ＴＴ．０に対する前記ＩＥＳの実行期間のログファイルの一部を要求する、
請求項１６に記載のコンピュータ実装システム。
【誤訳訂正２】
【訂正対象書類名】明細書
【訂正対象項目名】００２７
【訂正方法】変更
【訂正の内容】
【００２７】
ＩＥＳのＵＩＥは、それぞれ分離され、同調して用いられるコンフィグ／リアルタイムモードにおいて、ＵＩＥ．Ｙ，Ｙ＝１，２，．．．，から構成される。各ＵＩＥ．Ｙは、知識表現「ＫＲ−ＵＩＥ．Ｙ」、人的相互作用「ＨＩ−ＵＩＥ．Ｙ」、相互作用制御「ＩＣ−ＵＩＥ．Ｙ」エンティティを有する。
【誤訳訂正３】
【訂正対象書類名】明細書
【訂正対象項目名】００２８
【訂正方法】変更
【訂正の内容】
【００２８】
ＩＥＳ又はそのユーザは、それらの間で「相互作用」を起動する。