【手続補正書】
【提出日】平成18年11月1日(2006.11.1)
【手続補正１】
【補正対象書類名】特許請求の範囲
【補正対象項目名】全文
【補正方法】変更
【補正の内容】
【特許請求の範囲】
【請求項１】
情報サーベイを実行する方法であって、
計算システムを使用してサーベイ・ニッチを変換し、変換されたサーベイ・ニッチを生成することと、
前記計算システムを使用して、前記変換されたサーベイ・ニッチ内のエンティティの少なくとも１つの特徴付けられたパーティションを識別することとを含む方法。
【請求項２】
クロスオーバー演算子と突然変異演算子を含む演算子の前記グループから選択された演算子を適用することにより前記サーベイ・ニッチを変換することと、
特徴付けられたパーティションを前記サーベイ・ニッチに属すエンティティの種として形成し、表すこととを含む請求項１に記載の方法。
【請求項３】
前記演算子は、さらに、無作為演算子、非無作為演算子、一部無作為演算子を含む演算子のグループから選択される請求項１に記載の方法。
【請求項４】
任意の並べ替えの述語により前記サーベイ・ニッチを定義することを含む請求項１に記載の方法。
【請求項５】
サーベイ・モニタを前記サーベイ・ニッチに関連付けることを含む請求項１に記載の方法。
【請求項６】
前記変換されたサーベイ・ニッチ内のエンティティの前記少なくとも１つの特徴付けられたパーティションを形成し、サーベイ・ラティス要素として表すこととを含む請求項１に記載の方法。
【請求項７】
前記形成し表すことは、前記サーベイ・ラティスの最大／主要な充足可能な要素を形成することと、前記サーベイ・ラティスの非最大／非主要な充足可能な要素を形成することと、前記サーベイ・ラティスの最小の充足不可能な要素を形成することと、前記サーベイ・ラティスの非最小の充足不可能な要素を形成することとを含むオペレーションのグループから選択された少なくとも１つのオペレーションを含む請求項６に記載の方法。
【請求項８】
述語の前記変換された集合がそれ自体充足可能でないように述語の集合を変換することを含む請求項１に記載の方法。
【請求項９】
特定の又は一般的な縮約、特定の又は一般的な拡張、前記サーベイ・ニッチの特定の又は一般的なシフトを含むグループから変換目標を達成するために前記サーベイ・ニッチを変換することを含む請求項１に記載の方法。
【請求項１０】
サーベイ・ラティスを述語ラティスの特殊化として生成する方法。
【請求項１１】
述語ラティスを形成する方法であって、
それぞれの述語の充足可能性について１つ又は複数の事実を識別することと、
証拠要点別に前記１つ又は複数の事実をグループ化して事実の１つ又は複数のグループを生成することと、
充足された述語の数で事実の前記１つ又は複数のグループを並べ替えることと、
事実の前記１つ又は複数のグループから事実の重複するグループを除去することと、
事実の前記１つ又は複数のグループのグループ包摂関係／支配権を前記ラティスの順序一部分として使用することとを含む方法。
【請求項１２】
述語ラティスの最大の充足可能な要素を形成する、事実の前記１つ又は複数のグループから被包摂／主要グループを除去することを含む請求項１１に記載の方法。
【請求項１３】
述語ラティス要素を表現する方法であって、
計算システムを使用して、述語ラティスの原子である述語を厳密な順序にすることと、
前記計算システムを使用して前記厳密な順序により述語ラティス要素を述語に関連付けて、前記関連付けられた述語ラティス要素が前記述語を包摂するようにすることとを含む方法。
【請求項１４】
述語ラティス要素にインデックス・エントリを関連付けて、前記述語ラティス要素が前記インデックス・エントリを包摂するようにすることによりインデックスを増強する方法。
【請求項１５】
述語ラティス要素に概念構造の構成要素を関連付けて、前記述語ラティス要素が前記概念構造の前記構成要素を包摂するようにすることにより概念構造を増強する方法。
【請求項１６】
述語ラティス要素にカテゴリ・システムのカテゴリを関連付けて、前記述語ラティス要素が前記カテゴリ・システムの前記カテゴリを包摂するようにすることによりカテゴリ・システムを増強する方法。
【請求項１７】
述語ラティス要素にデータベース・システムの属性を関連付けて、前記述語ラティス要素が前記データベース・システムの前記属性を包摂するようにすることによりデータベース・システムを増強する方法。
【請求項１８】
サーベイ・ラティス要素がインデックス、概念構造、データベース、カテゴリ・システムを含むソースのグループからのソースに基づくデータ構造。
【請求項１９】
述語ラティス要素で増強された情報構造のシステムであって、前記情報構造はインデックス、概念構造、データベース、カテゴリ・システムを含むグループに属すシステム。
【請求項２０】
情報サーベイを実行するシステムであって、
前記サーベイ・ニッチに関連付けられている複数の情報エンティティを識別する情報資源マネージャと、
少なくとも１つの世代のサーベイ・ニッチを管理するサーベイ・ニッチ・マネージャと、
前記サーベイ・ニッチに関連付けられた少なくとも１つの特徴付けられたパーティションを識別するパーティション・マネージャと、
前記サーベイ・ニッチの変換を管理する変換マネージャとを備えるシステム。
【請求項２１】
前記パーティション・マネージャは、サーベイ・ラティス要素を生成するサーベイ・ラティスマネージャである請求項２０に記載のシステム。
【請求項２２】
ユーザが情報資源をサーベイできるようにするユーザ・インターフェースであって、
ユーザ入力を捕捉し、サーベイ・ニッチを初期化する手段と、
複数の特徴付けられたパーティションを前記ユーザに提示する表示手段とを備えるユーザ・インターフェース。
【請求項２３】
前記サーベイ・ニッチを修正するためのユーザ入力を捕捉する手段と、
前記サーベイ・ニッチを初期化する述語をユーザが供給するための手段と、
前記サーベイ・ニッチを初期化するエンティティ例をユーザが供給するための手段と、
前記サーベイ・ニッチの前記変換をトリガする手段と、
前記複数の特徴付けられたパーティションからユーザが選択を行えるようにする手段と、
新しいサーベイ・ニッチ及びその特徴付けられたパーティションを、前記複数の特徴付けられたパーティションからユーザが選択した結果に従って識別するため反復する手段と、
前記特徴付けられたパーティションに関連付けられている前記情報資源から少なくとも１つのエンティティを提示し、ユーザが前記エンティティにアクセスできるようにする手段と、
新しいサーベイ・ニッチ及びその特徴付けられたパーティションを、前記複数の特徴付けられたパーティションに含まれる前記エンティティからユーザが選択した結果に従って識別するため反復する手段と、
前記複数の特徴付けられたパーティションから前記特徴付けられたパーティション間のトレードオフを評価するためのユーザ相互作用をサポートする手段であって、トレードオフの前記評価は、前記複数の特徴付けられたパーティションから前記特徴付けられたパーティションの比較と対照を含む手段と、
前記ユーザが前記情報サーベイを管理し、永続できるようにする手段と、
前記ユーザが前記サーベイ・ニッチを管理し、永続できるようにする手段と、
サーベイ・モニタを管理し、提示し、前記ユーザが前記複数の特徴付けられたパーティション及びそのエンティティに関する追加情報を得られるようにする手段と、
前記複数のサーベイ・ニッチ述語及びサーベイ・モニタに対する複数のメタデータ修飾子を管理する手段と、
前記サーベイ・ニッチを変換するために使用される変換メカニズムをユーザが制御するための手段とからなるグループから選択された少なくとも１つの手段を備える請求項２２に記載のユーザ・インターフェース。
【請求項２４】
前記インターフェースは、少なくとも１つのサーベイ・ラティス要素を提示する手段を備える請求項２２に記載のユーザ・インターフェース。