(57)【特許請求の範囲】
【請求項１】
文書データベースから、ユーザが入力した検索式に該当する文書を検索する情報検索装置において、
様相論理で用いられる様相記号が付加された命題で表現された検索式が入力される入力手段と、
文書データベースを検索して、該入力手段により入力された検索式の命題を真とする文書集合を特定する文書集合特定手段と、
該文書集合特定手段により特定された文書集合の関連度を算出する関連度計算手段と、
前記文書集合特定手段により特定された文書集合と、該関連度計算手段により算出された関連度を基に、前記入力手段により入力された検索式の命題に対して、真となる命題の数と偽になる数の両方を評価基準にして、前記文書集合特定手段により特定された文書集合の階層位置を決定し、前記入力手段により入力された検索式に該当する文書集合を、階層的にランキングして出力する検索結果出力手段と、
該検索結果出力手段により出力された文書集合内の各文書に共通するキーワードを抽出する共通キーワード抽出手段と、
を備えることを特徴とする情報検索装置。
【請求項２】
複数の文書データベースから、ユーザが入力した検索式に該当する文書データベースを検索する情報検索装置において、
様相論理で用いられる様相記号が付加された命題で表現された検索式が入力される入力手段と、
複数の文書データベースを検索して、該入力手段により入力された検索式の命題を真とする文書データベースを特定する文書集合特定手段と、
（１）  前記命題に付加された様相記号が必須性記号であるとき、前記文書集合特定手段により特定された文書データベースに格納されている全ての文書で上記命題が真となる必須性の条件を、前記特定された文書データベースが満たすか否かを判定し、または、
（２）  前記命題に付加された様相記号が可能性記号であるとき、前記特定された文書データベースに格納されている少なくとも１つの文書で上記命題が真となる可能性の条件を、前記特定された文書データベースが満たすか否かを判定する必須性・可能性条件判定手段と、
該必須性・可能性条件判定手段により、前記必須性の条件または前記可能性の条件を満たすと判定された文書データベースについて、その名称を、様相記号を付加して出力する検索結果出力手段と、
を備えることを特徴とする情報検索装置。
【請求項３】
入力手段と文書集合特定手段と関連度計算手段と検索結果出力手段と抽出手段を有するコンピュータが、文書データベースから、ユーザが入力した検索式に該当する文書を検索する情報検索方法であって、
（ａ）  前記入力手段に、様相論理で用いられる様相記号が付加された命題で表現された検索式が入力され、
（ｂ）  前記文書集合特定手段が、文書データベースを検索して、該入力された検索式の命題を真とする文書集合を特定し、
（ｃ）  前記関連度計算手段が、該特定された文書集合の関連度を算出し、
（ｄ）  前記検索結果出力手段が、前記特定された文書集合と前記算出された関連度を基に、前記入力された検索式の命題に対して、真となる命題と偽になる命題の数の両方を評価基準にして、上記文書集合の階層位置を決定し、前記入力された検索式に該当する文書集合を、階層的にランキングして出力し、
（ｅ）  前記抽出手段が、前記出力された文書集合内の各文書に共通するキーワードを抽出する、
ことを特徴とする情報検索方法。
【請求項４】
入力手段と文書集合特定手段と必須性可能性条件判定手段と検索結果出力手段を有するコンピュータが、複数の文書データベースから、ユーザが入力した検索式に該当する文書を検索する情報検索方法であって、
（ａ）  前記入力手段に、様相論理で用いられる様相記号が付加された命題で表現された検索式が入力され、
（ｂ）  前記文書集合特定手段が、文書データベースを検索して、該入力された検索式の命題を真とする文書集合を特定し、
（ｃ）  前記必須性可能性条件判定手段が、（ｃ１）該命題に付加された様相記号が必須性記号であるとき、前記特定された文書データベースに格納されている全ての文書で上記命題が真となる必須性の条件を、前記特定された文書データベースが満たすか否かを判定し、または、（ｃ２）前記命題に付加された様相記号が可能性記号であるとき、前記特定された文書データベースに格納されている少なくとも１つの文書で上記命題が真となる可能性の条件を、前記特定された文書データベースが満たすか否かを判定し、
（ｄ）  前記検索結果出力手段が、前記必須性の条件または前記可能性の条件を満たすと判定された文書データベースについて、その名称を、様相記号を付加して出力する、
ことを特徴とする情報検索方法。
【請求項５】
文書データベースから、ユーザが入力した検索式に該当する文書を検索するコンピュータを、
様相論理で用いられる様相記号が付加された命題で表現された検索式が入力される入力手段、
文書データベースを検索して、該入力手段により入力された検索式の命題を真とする文書集合を特定する文書集合特定手段、
該文書集合特定手段により特定された文書集合の関連度を算出する関連度計算手段、
前記文書集合特定手段により特定された文書集合と前記関連度計算手段により算出された関連度を基に、前記入力手段により入力された検索式の命題に対して、真となる命題の数と偽になる命題の数の両方を評価基準にして、上記文書集合の階層位置を決定し、入力された検索式に該当する文書集合を、階層的にランキングして出力する検索結果出力手段、及び
該検索結果出力手段により出力された文書集合内の各文書に共通するキーワードを抽出する共通キーワード抽出手段、
として機能させるためのプログラムを記録したコンピュータ読み取り可能な記録媒体。
【請求項６】
複数の文書データベースから、ユーザが入力した検索式に該当する文書データベースを検索するコンピュータを、
様相論理で用いられる様相記号が付加された命題で表現された検索式が入力される入力手段、
複数の文書データベースを検索して、該入力手段により入力された検索式の命題を真とする文書データベースを特定する文書集合特定手段、
（１）前記命題に付加された様相記号が必須性記号であるとき、該文書集合特定手段により特定された文書データベースに格納されている全ての文書で上記命題が真となる条件を、前記特定された文書データベースが満たすか否かを判定し、または、（２）前記命題に付加された様相記号が可能性記号であるとき、前記特定された文書データベースに格納されている少なくとも１つの文書で前記命題が真となる可能性の条件を、前記特定された文書データベースが満たすか否かを判定する必須性・可能性条件判定手段、及び
該必須性・可能性条件判定手段により、前記必須性の条件または前記可能性の条件を満たすと判定された文書データベースについて、その名称を、様相記号を付加して出力する検索結果出力手段、
として機能させるプログラムを記録したコンピュータ読取可能な記録媒体。
【発明の詳細な説明】
【０００１】
【発明の属する技術分野】
本発明は、１または複数の文書データベースから、ユーザが所望する文書または文書データベースを検索する情報検索装置、情報検索方法及びその方法を実現するプログラムを記録した記録媒体に関する。
【０００２】
【従来の技術】
近年では、文書情報の電子化が急速に普及し、情報の共有化も進展している。このような文書の共有化は、一般に、データベースにより実現される。該データベースは、一般に、外部記憶装置に構築されるが、該外部記憶装置の記憶容量も、年々、拡大しており、このため、データベースに蓄積される文書の量も莫大な数になってきている。
【０００３】
このようなデータベースの検索方式として、従来、ブーリアン検索、非ブーリアン検索、該２つの検索を併用する検索（以下、併用型と呼ぶ）が使用されている。以下、上記３つの検索方式について、説明する。
【０００４】
ブーリアン検索とは、キーワードを含む文書（または文書集合）を“真”、キーワードを含まない文書（または文書集合）を“偽”とし、ユーザにより検索式として入力された論理式が真となる文書（または文書集合）を特定する方式である。該検索式には、複数のキーワードを、ＡＮＤ，ＯＲ，及びＮＡＮＤなどの論理記号で結合した論理式が使用される。
【０００５】
非ブーリアン検索は、一般のユーザでも容易に検索できるようにすることを目的にしたユーザ・フレンドリーな検索方式である。この非ブーリアン検索には、様々な方法が提案されている。例えば、“真”、“偽”の２値論理ではなく、多値論理を使用したファジー検索により検索を行う方法（例えば、特開平０６−１６２１０１号公報に開示されている発明）や、論理式ではなく、自然言語文を検索式として受け取る入力装置及び該入力装置を介して、自然言語文により検索する方法（例えば、特開平０３−１３０８７３号公報に開示されている発明）、さらには、該自然言語文による検索結果をランキングして表示する類似検索装置などが提案されている（例えば、特開平０３−１７２９６６号公報に開示されている発明）。通常のランキング検索も、非ブーリアン検索に分類される。
【０００６】
併用型としては、自然言語文からブーリアン検索用の論理式を作成する装置（例えば、特開平１０−１３４０７８号公報に開示されている発明）が提案されている。
また、ランキング検索のランキング順位を操作する手法として、ランキングされる文書の順位に階層を設けることを特徴とした検索システム（例えば、特開平０９−１５３０６６号公報に開示されている発明）が提案されている。このシステムは、ユーザの入力文から、“機能単位”と呼ばれる一種の構文を解析し、機能単位毎に、階層を設ける方式である。
【０００７】
【発明が解決しようとする課題】
しかしながら、上述した従来の検索方式及びランキング検索方式には、以下のような問題があった。
まず、ブーリアン検索の場合には、真偽の２値によって、検索式が評価されるため、検索条件が厳しくなる。このため、ユーザにとって、所望の文書（または文書集合）を特定する検索式を適切に作成するのが難しく、また、該検索式の作成にも熟練を要するという問題があった。
【０００８】
また、非ブーリアン検索や併用型においては、検索式と文書間の関連度はシステムによって決定されるようになっており、ユーザが該関連度を容易に変更できるようになっていなかった。この問題を補うものとして、検索にユーザの意図を反映させる目的で、キーワード間の重みを、ユーザが入力できる装置を備えた検索システム（（例えば、特開平０７−２２５７７２号公報に開示されている発明）も提案されているが、最終的なキーワードの重みは、検索システム内部の関連度計算機構によって決定されるため、検索結果がユーザの意図から外れたものとなってしまう危険性があった。
また、さらに、上記特開平０９−１５３０６６号公報に開示されている発明においては、ユーザの入力文の機能単位と関連文書の機能単位が、必ずしも一致するとは限らないという問題があった。
【０００９】
以上述べたように、ブーリアン検索では、真偽の２値によって検索式が評価されるため、検索の条件が厳しく、検索システムをユーザが有効に活用するためには、熟練する必要があった。また、このブーリアン検索の問題を解決しようと非ブーリアン検索や併用型では、検索式と文書間の関連度は、システムによって決定されるようになっており、ユーザが、容易に、ランキングされる文書の順位を変更できるものではなかった。また、自然言語を使用する非ブーリアン検索に内在する問題として、現在の自然言語処理技術は、まだ、未熟であり、自然言語情報だけからでは、ユーザの意図を十分に解析できないことが挙げられる。
【００１０】
上述した従来技術の問題をまとめると、以下のようになる。
１） ブーリアン検索では、適切な文書検索を行うためには、複雑な検索式を作成する必要があるため、ユーザが所望の検索を行えるようになるまでに時間を要する。換言するならば、初心者のユーザにとっては、有効活用が困難であり、熟練したユーザでなければ、有効活用できない。
２） 単純な非ブーリアン検索では、キーワードの出現回数が関連度を決定するため、ユーザの意図に反する文書が上位にランキングされてしまう場合がある。
３） また、非ブーリアン検索は、ユーザ入力に関して、以下の問題を抱えている。
【００１１】
（I） 自然言語による検索指定では、検索システムの関連度計算機構に対し、詳細な指定を行うことができない。このため、十分に、ユーザの意図を反映させた検索指定を行えない。
（II）各キーワードに重みを指定する検索方式では、検索システムで使用されている関連度計算式を、ユーザが十分に理解している必要がある。このため、一般のユーザにとって、非常に、利用しにくい。
【００１２】
ところで、キーワードに重みを指定する方式が、十分に、ユーザの意図を反映できない理由として、該重みの指定が、ユーザの直感に適合していないことが挙げられる。すなわち、従来の方式では、ユーザにより指定された重みの関連度に対する影響の度合いは、検索システムの設計者によって決定されており、該設計者の思想がユーザの認識と異なっている場合には、ユーザは、自分の意図が十分に反映されるような重みを、キーワードに指定することはできない。
【００１３】
また、通常の関連度計算機構では、キーワードの出現回数が関連度を決定する大きな要因となっているが、出現するキーワードの種類が多い文書または１つのキーワードが多く出現する文書の、いずれの方が関連度が高いのかを判定する手段を備えていない。しかしながら、上記２つの文書のどちらを優先するかは、ユーザの意図により決定されるものであると考えられる。このため、上記２つの文書のどちらが優先されるかは、検索式毎に、またはキーワード毎に異なるものとなるはずであるが、現在、この問題を考慮して設計された検索システムは存在しないのが実状である。
【００１４】
本発明の目的は、複雑な論理式に関する知識や検索システム内部の設計思想を知る必要がなく、ブーリアン検索と同等の記述能力を有し、さらに、ユーザの意図を容易にランキング結果に反映できる情報検索システムを提供することである。
【００１５】
【課題を解決するための手段】
以下に、本発明の各実施態様について説明する。尚、本発明において、「文書集合」という用語は、文書の集合を表す概念であり、複数の文書の集合を示す場合もあり、単一の文書を示す場合もある。すなわち、文書集合の要素は文書であり、文書集合は、１または複数の文書を要素とする集合である。尚、集合においては空集合もあるが、文書集合が空集合であるということは、文書データベースを検索した際に、該文書データベースから、検索式に該当する文書が１つも見つけられなかったということを意味する。
【００１６】
本発明の情報検索装置の第一態様は、文書データベースから、ユーザが入力した検索式に該当する文書を検索する情報検索装置を前提とし、以下の各手段を備える。
入力手段は、様相論理で用いられる様相記号が付加された命題で表現された検索式が入力させる。文書集合特定手段は、文書データベースを検索して、該検入力手段により入力された索式の命題を真とする文書集合を特定する。関連度計算手段は、該文書集合特定手段により特定された文書集合の関連度を算出する。検索結果出力手段は、前記文書集合特定手段により特定された文書集合と、該関連度計算手段により算出された関連度を基に、前記入力手段により入力された検索式の命題に対して、真となる命題の数と偽になる数の両方を評価基準にして、前記文書集合特定手段により特定された文書集合の階層位置を決定し、前記入力手段により入力された検索式に該当する文書集合を、階層的にランキングして出力する。共通キーワード抽出手段は、該検索結果出力手段により出力された文書集合内の各文書に共通するキーワードを抽出する。
【００１７】
上記構成の本発明の情報検索装置の第一の態様によれば、検索式の記述表現に、様相論理で用いられる様相記号を導入したので、ユーザの意図を検索式に反映させることが可能となる。また、様相記号を用いた検索式の作成は、ブーリアン検索の検索式の作成よりも、はるかに容易であり、ユーザは検索式の作成に要する負担が軽減される。また、様相記号の導入により、ユーザは、自分の直感に沿うような重みをキーワードに指定することができる。このため、ユーザは自分の意図を、検索式で表現することができ、システム側でも、ユーザの意図を検索式から知ることができる。
【００１８】
また、様相記号には、「全ての世界で真である」という必然性の概念を命題に付与する必須性記号と、「ある世界で真である」という可能性の概念を命題に付与する可能性記号があるが、ユーザは、必須性記号の使用により、検索結果となる文書集合を限定し、可能性記号の使用によりランキングの順位に大きな影響を及ぼすことができる。
【００１９】
また、前記検索結果出力手段が、入力された検索式内の命題に対して、真となる命題の数と偽になる命題の数の両方を評価基準にして、上記文書集合の階層位置を決定することにより、検索により得られ各文書集合を、階層的にランキングして、ユーザに提示することが可能になる。
【００２０】
また、さらに、前記検索結果出力手段が、同一階層に配置される複数の文書集合を、関連度が高い順からランキングすることにより、各階層内で、さらに、文書集合をランキングして、ユーザに提示することが可能になる。尚、この場合、該関連度は、例えば、検索式で指定されたキーワードの出現回数の多さに対応する。
【００２１】
また、ユーザが検索式により入力したキーワードとは無関係に、検索により得られた全ての文書に共通して含まれるとするキーワード、ランキングの上位に位置する文書全体に共通して含まれるとするキーワード、ランキングの下位に位置する文書全体に共通して含まれるとするキーワード等を、共通キーワード抽出手段により抽出することができる。
【００２２】
また、さらに、検索結果出力手段により、文書全体に共通して含まれるとするキーワードを必須性記号の付加して出力したり、ランキングの上位に位置する文書全体に共通して含まれるとするキーワードを可能性記号を付加して出力したり、さらには、ランキングの下位に位置する文書全体に共通して含まれるキーワードを可能性記号と否定記号を付加して出力することができる。これにより、ユーザは、自分が入力したキーワードとシステムから出力されたキーワードを比較・検討することができ、ユーザは、該検討結果に応じて、次に、入力すべきキーワードの候補の選択を決定できる。
【００２３】
本発明の情報検索装置の第二態様は、複数の文書データベースから、ユーザが入力した検索式に該当する文書データベースを検索する情報検索装置を前提とし、以下の各手段を備える。
入力手段は、様相論理で用いられる様相記号が付加された命題で表現された検索式が入力される。文書集合特定手段は、複数の文書データベースを検索して、該入力手段により入力された検索式の命題を真とする文書データベースを特定する。必須性・可能性条件判定手段は、（１）前記命題に付加された様相記号が必須性記号であるとき、前記文書集合特定手段により特定された文書データベースに格納されている全ての文書で上記命題が真となる必須性の条件を、前記特定された文書データベースが満たすか否かを判定し、または、（２）前記命題に付加された様相記号が可能性記号であるとき、前記特定された文書データベースに格納されている少なくとも１つの文書で上記命題が真となる可能性の条件を、前記特定された文書データベースが満たすか否かを判定する。検索結果出力手段は、該必須性・可能性条件判定手段により、前記必須性の条件または前記可能性の条件を満たすと判定された文書データベースについて、その名称を、様相記号を付加して出力する。
【００２４】
上記構成の本発明の情報検索装置の第二態様によれば、複数の文書データベースを検索するための検索式に、上述した様相論理で使用される様相記号を導入したので、ユーザが必要としている専門の文書データベース、または専門ではないが関連する文書データベースを判定することが可能になる。該専門のデータベースは、例えば、格納されている全ての文書で上記命題が真となる必須性の条件を、満たす文書データベースでる。また、該専門ではないが関連する文書データベースは、例えば、格納されている少なくとも１つの文書で上記命題が真となる可能性の条件を、満たす文書データベースである。
【００２５】
また、上記専門の文書データベースについて、その名称を、可能性記号を付加して出力することにより、ユーザに対し、ユーザが必要としている専門のデータベースを知らせることができる。
【００２６】
また、上記専門ではないが関連する文書データベースについて、その名称を、可能性記号を付加して出力することにより、ユーザに対し、ユーザにとって有益な文書データベースを知らせることができる。
【００２７】
本発明の情報検索方法の第一態様は、入力手段と文書集合特定手段と関連度計算手段と検索結果出力手段を有するコンピュータが、文書データベースから、ユーザが入力した検索式に該当する文書を検索する情報検索方法を前提とし、以下の（ａ）〜（ｅ）のステップを備える。
（ａ）  前記入力手段に、様相論理で用いられる様相記号が付加された命題で表現された検索式が入力され、
（ｂ） 前記文書集合特定手段が、文書データベースを検索して、該入力された検索式の命題を真とする文書集合を特定し、
（ｃ）  前記関連度計算手段が、該特定された文書集合の関連度を算出し、
（ｄ）  前記検索結果出力手段が、前記特定された文書集合と前記算出された関連度を基に、前記入力された検索式の命題に対して、真となる命題と偽になる命題の数の両方を評価基準にして、上記文書集合の階層位置を決定し、前記入力された検索式に該当する文書集合を、階層的にランキングして出力し、
（ｅ）  前記抽出手段が、前記出力された文書集合内の各文書に共通するキーワードを抽出する。
本発明の情報検索方法の第一態様は、上記本発明の情報検索装置の第一態様と同様な作用・効果を有する。
【００２８】
本発明の情報検索方法の第二態様は、入力手段と文書集合特定手段と必須性可能性条件判定手段と検索結果出力手段と抽出手段を有するコンピュータが、複数の文書データベースから、ユーザが入力した検索式に該当する文書を検索する情報検索方法を前提とし、以下のステップ（ａ）〜（ｄ）を備える。
（ａ）  前記入力手段に、様相論理で用いられる様相記号が付加された命題で表現された検索式が入力され、
（ｂ）  前記文書集合特定手段が、文書データベースを検索して、該入力された検索式の命題を真とする文書集合を特定し、
（ｃ）  前記必須性可能性条件判定手段が、（ｃ１）該命題に付加された様相記号が必須性記号であるとき、前記特定された文書データベースに格納されている全ての文書で上記命題が真となる必須性の条件を、前記特定された文書データベースが満たすか否かを判定し、または、（ｃ２）前記命題に付加された様相記号が可能性記号であるとき、前記特定された文書データベースに格納されている少なくとも１つの文書で上記命題が真となる可能性の条件を、前記特定された文書データベースが満たすか否かを判定し、
（ｄ）  前記検索結果出力手段が、前記必須性の条件または前記可能性の条件を満たすと判定された文書データベースについて、その名称を、様相記号を付加して出力する。
本発明の情報検索方法の第二態様は、上記情報検索装置の第二態様と同様な作用・効果を有する。
【００２９】
本発明の記録媒体の第一態様は、文書データベースから、ユーザが入力した検索式に該当する文書を検索するコンピュータを、
様相論理で用いられる様相記号が付加された命題で表現された検索式が入力される入力手段、
文書データベースを検索して、該入力手段により入力された検索式の命題を真とする文書集合を特定する文書集合特定手段、
該文書集合特定手段により特定された文書集合の関連度を算出する関連度計算手段、
前記文書集合特定手段により特定された文書集合と前記関連度計算手段により算出された関連度を基に、前記入力手段により入力された検索式の命題に対して、真となる命題の数と偽になる命題の数の両方を評価基準にして、上記文書集合の階層位置を決定し、入力された検索式に該当する文書集合を、階層的にランキングして出力する検索結果出力手段、及び
該検索結果出力手段により出力された文書集合内の各文書に共通するキーワードを抽出する共通キーワード抽出手段、
として機能させるためのプログラムを記録したコンピュータ読み取り可能な記録媒体である。
本発明の記録媒体の第一態様は、上記第情報検索装置の第一態様と同様な作用・効果を、コンピュータにより実行されることによって実現するプログラムを記録する。
【００３０】
本発明の記録媒体の第二態様は、複数の文書データベースから、ユーザが入力した検索式に該当する文書データベースを検索するコンピュータを、
様相論理で用いられる様相記号が付加された命題で表現された検索式が入力される入力手段、
複数の文書データベースを検索して、該入力手段により入力された検索式の命題を真とする文書データベースを特定する文書集合特定手段、
（１）前記命題に付加された様相記号が必須性記号であるとき、該文書集合特定手段により特定された文書データベースに格納されている全ての文書で上記命題が真となる条件を、前記特定された文書データベースが満たすか否かを判定し、または、（２）前記命題に付加された様相記号が可能性記号であるとき、前記特定された文書データベースに格納されている少なくとも１つの文書で前記命題が真となる可能性の条件を、前記特定された文書データベースが満たすか否かを判定する必須性・可能性条件判定手段、及び
該必須性・可能性条件判定手段により、前記必須性の条件または前記可能性の条件を満たすと判定された文書データベースについて、その名称を、様相記号を付加して出力する検索結果出力手段、
として機能させるプログラムを記録したコンピュータ読取可能な記録媒体である。
本発明の記録媒体の第二態様は、上記情報検索装置の第二態様と同様な作用・効果を、コンピュータにより実行されることによって実現するプログラムを記録する。
【００３１】
【発明の実施の形態】
以下、図面を参照しながら、本発明の実施形態を説明する。まず、本発明の実施形態の原理を説明する。
検索システムにおいて、検索式中のキーワードは、「そのキーワードを含んでいる」という命題に置き換えることができる。このとき、キーワードを含んでいる文書は「真」（Ｔｒｕｅ）の値を持ち、キーワードを含んでいない文書は「偽」（Ｆａｌｓｅ）の値を持つと考えることができる。この場合、それぞれの命題を、「ＡＮＤ」、「ＯＲ」、「ＮＯＴ」などの論理記号で結合し、該結合により表現された論理式を真とするような文書（または文書集合）を、検索結果とするのがブーリアン検索である。
【００３２】
これに対し、非ブーリアン検索は、検索式が命題の集合で与えられ、命題を真偽の２値ではなく多値で表すことにより、検索式と文書間の関連度を計算し、より大きな関連度を持つ文書の順に並べる手法であるといえる。
【００３３】
〔様相記号の導入〕本発明では、検索式の表現に、様相記号（Ｍｏｄａｌ Ｏｐｅｒａｔｏｒ）を，新たに導入する。ここで、該様相記号を使用する様相論理（Ｍｏｄｅｌ Ｌｏｇｉｃ）について説明する。
【００３４】
様相論理は、古典論理（Ｃｌａｓｓｉｃａｌ Ｌｏｇｉｃ）を拡張したものであり、様相論理の他に、時相論理（Ｍｏｄａｌ Ｌｏｇｉｃ）や認識論理（Ｅｐｉｓｔｅｍｉｃ Ｌｏｇｉｃ）がある。尚、古典論理とは、真偽の２値を取る論理である。
【００３５】
様相論理は、古典論理の拡張として、様相記号を導入した論理体系である。尚、様相論理という用語自体は、必然性記号（□）可能性記号（◇）の２つの様相記号を古典論理に導入した論理体系を指す（狭義的な意味で）。他に、時相論理、認識論理などのように、様相記号を使用する論理体系一般の総称にも使用される（広義的な意味で）。
【００３６】
狭義的な意味での様相論理では、可能世界（Ｐｏｓｓｉｂｌｅ Ｗｏｒｌｄ）という概念が導入され、ある命題Ａの真偽値は、可能世界の集合に対して相対的に解釈される。例えば、以下の２つの様相記号「□」、「◇」を用いて、必然性（Ｎｅｃｅｓｓｉｔｙ）と可能性（Ｐｏｓｓｉｂｉｌｉｔｙ）という概念が記述される。すなわち、例えば、
□Ａ：Ａは全ての世界において真である。
◇Ａ：Ａはある世界において真である。
のように命題Ａを定義することができる。
【００３７】
様相論理における「世界」は、実世界と、ある関係を成していると仮定され、この関係を、到達可能関係（Ａｃｃｅｓｓｉｂｉｌｉｔｙ Ｒｅｌａｔｉｏｎ）と呼ぶ。つまり、様相論理では、実世界から、ある到達可能関係によって到達できる全ての可能世界の中で、「全ての世界で真（必然性）」か、または「ある世界で真（可能性）」であるかが解釈される。
【００３８】
本発明の実施形態においては、様相論理において、□を必須性記号、◇を可能性記号と命名し、これらの記号が、
□：全ての世界で真である
◇：ある世界で真である
という意味（概念）を持つものとする。
【００３９】
そして、「検索結果」を「到達できる可能世界の集合」、「検索結果の中の一つの文書」を「一つの可能世界」であるとものとして、様相記号の必須性記号□、◇、及び否定記号¬を用いて、キーワードに関する検索に関して、以下（I） 〜（IV）のような意味付けを行う。
【００４０】
(I)   □キーワード：検索結果中の全ての文書がキーワードを含んでいる
(II） ◇キーワード：検索結果中のある文書がキーワードを含んでいる
(III) □¬キーワード：検索結果中の全ての文書がキーワードを含まない
(IV)  ◇¬キーワード：検索結果中のある文書がキーワードを含まない
【００４１】
本発明の実施形態では、上記(I) 〜(IV)の４つの記号が付加された命題の集合を、検索式として受取り、真となる命題を多く持ち、かつ偽となる命題を少なく持つ文書から、順に並べる（ソートする）ことにより、従来の非ブーリアン検索と同様に、検索結果をランキングにより表示する。また、複数の文書において、真偽の命題の数が同じになった場合には、キーワードの出現回数を基に、関連度を算出する。つまり、通常の関連度計算の他に、様相論理を用いることにより、関連度の計算方式を多段階にする。
【００４２】
様相論理の必須性（必然性）は「全ての世界で成立する」という命題であるため、必須性記号□を使用することにより、到達できる可能世界、つまり、検索結果として得られる文書集合を限定することができる。すなわち、必須性記号□は、従来のブーリアン検索の「ＡＮＤ」と同様の効果を持つ。
【００４３】
図１は、それぞれのキーワードを含む文書集合群と、各文書集合のランキングの順位との関係を示すベン図である。図１（ａ）の円１１はキーワード「Ａ」を含む文書の集合（文書集合）であり、円１２はキーワード「Ｂ」を含む文書集合であり、円１３はキーワード「Ｃ」を含む文書集合であり、円１４はキーワード「Ｄ」を含む文書集合である。
【００４４】
このような円１１〜１４で表された、それぞれ、キーワード「Ａ」、「Ｂ」、「Ｃ」、「Ｄ」を含む文書集合に対し、「□Ａ」，「◇Ｂ」，「◇¬Ｃ」，「□¬Ｄ」の４つの命題を含む検索式が与えられた場合の検索結果が、太枠で囲まれた部分（太枠部分）で示されている。
【００４５】
同図において、
0004021583.tif 000002
で表された集合１は「□Ａ」，「◇Ｂ」，「◇¬Ｃ」及び「□¬Ｄ」の全ての命題が真となる文書集合である。
0004021583.tif 000003
で表された集合２は「□Ａ」，「◇¬Ｃ」，「□¬Ｄ」の命題が真となるが「◇Ｂ」の命題が偽となる文書集合となる。
0004021583.tif 000004
で表された集合２’は「□Ａ」，「◇Ｂ」及び「□¬Ｄ」の命題が真となるが、「◇¬Ｃ」の命題が偽となる文書集合、
0004021583.tif 000005
で表された集合３は「□Ａ」、「□¬Ｄ」の命題が真となるが、「◇Ｂ」，「◇¬Ｃ」の命題が偽となる文書集合である。
【００４６】
本発明の実施形態においては、真の命題を多く持ち、かつ偽の命題を少なく持つ順に、文書集合をランキングする。上述したように、集合１は真の命題が４個、偽の命題が０個である（真偽値は４である）。また、集合２及び集合２’は、いずれも、真の命題が３個、偽の命題が１個である（真偽値は２である）。そして、集合３は、真の命題と偽の命題が、いずれも２個である（真偽値は０である）。尚、本実施形態で使用される、“真偽値”という用語は、文書集合をランキングするための尺度として利用される値を意味しており、ある文書集合を検索した際に、真の命題の数がｐ，偽の命題の数がｎであった場合、（ｐ−ｎ）の値に等しい。で表される。つまり、該真の命題の数から該偽の命題の数を引いた値を、本実施形態では真偽値と称している。尚、上記真偽値の計数方法は、これに限定されるものではなく、真となる命題と偽となる命題に、上記とは異なる値を割り当てるようにしてもよい。例えば、真となる命題にＶ１、偽となる命題にＶ２を割り当てるようにしてもよい（Ｖ１、Ｖ２は、例えば、任意の整数）。この場合、例えば、Ｖ１を正の整数、Ｖ２を負の整数とし、Ｖ１の絶対値がＶ２の絶対値よりも大きくなるようにしてもよい。また、Ｖ１、Ｖ２を、共に、正の整数とし、Ｖ１＞Ｖ２とするようにしてもよい。これら以外にも、各種方法が考えられうる。
【００４７】
この結果、図１の場合には、同図（ｂ）に示すように、集合１が最上位の階層２１に、続いて、集合２と集合２’がその次の階層２２に、そして、集合３が最下位の階層２３に属すように、ランキングされる。
【００４８】
このように、集合２と集合２’は、真の命題の数と偽の命題の数が同数となるため、同一の階層にランキングされるが、このような場合、キーワードの出現回数（または関連度）により、同一階層に属する複数の集合を、さらに、ランキングするようにすることも可能である。
【００４９】
［ユーザの直感と様相記号との対応付け］
本発明の実施形態では、さらに、様相記号とユーザの直感との対応付けを行う。
ユーザのキーワードに対する直感として、以下の(I)〜(VI)ようなものが考えられる。
(I)   検索結果となる文書に必ず含まれていて欲しいような重要なキーワードである。
(II)  検索結果となる文書に必ず含まれている必要はないが、１回でも含まれていた場合に関連性が上がるキーワードである。
(III) 検索結果となる文書に必ず含まれている必要はないが、複数含まれていた場合に関連性が上がるキーワードである。
(IV)  検索結果となる文書に含まれていてもよいが、複数含まれていた場合に関連性が下がるキーワードである。
(V)   検索結果となる文書に含まれていてもよいが、１回でも含まれていた場合に関連性が下がるキーワードである。
(VI)  検索結果となる文書中に必ず含まれていて欲しくないような不必要なキーワードである。
【００５０】
本発明の実施形態では、上記(I)〜(VI)の６つの直感を、様相記号を用いて、以下の(I)’〜(V)’（但し、(III)’の場合は、様相記号は使用しない）のような方法で表現する。
(I)’  必ず含まれていて欲しいキーワードについては、必須性記号「□」を付加することにより、検索結果中の全ての文書がキーワードを含んでいることを表現する。
(II)’  １回でも出現すれば関連性が上がるキーワードについては、可能性記号「◇」を付加することにより、検索結果中のある文書がキーワードを含んでいることを表現する。
(III)’ 複数回、出現すれば、関連性が上がるまたは関連性が下がるキーワードについては、無印、すなわち、様相記号を付加しない。この場合、関連性が上がるキーワードであれば正の重み、関連性が下がるキーワードなら負の重みを付ける。このようにして、様相論理による真偽の値とは無縁であり、通常の関連度計算のみに影響を与えるキーワードであることを表現する。
(IV)’ １回でも出現すれば関連性が下がるキーワードについては、可能性記号「◇」と否定記号「¬」を付加することにより、検索結果中の全ての文書がキーワードを含まないことを表現する。
(V)’   必ず含まれていて欲しくないキーワードについては、必須性記号「□」と否定記号「¬」を付加することにより、検索結果中の全ての文書がキーワードを含まないことを表現する。
【００５１】
本発明の実施形態においては、必須性記号□の使用は検索結果となる文書集合を限定し、可能性記号◇の使用はランキングの順位に大きな影響を与える。本発明の実施形態では、ユーザがこのような様相記号を、自由に、キーワード毎に指定できるため、従来の技術では備えていなっかった「出現するキーワードの種類数が多い文書の関連度が高いのか、それとも、１つのキーワードが多く出現する文書の関連度が高いのか」を判断する手段を備える検索システムを実現できる。
【００５２】
［検索結果の表示］
様相記号は、図１の説明で示したように、ランキングされる文書の順位の階層を明確にする特性を持っているため、検索結果の表示にも使用できる。すなわち、実際にランキングされた文書から、検索結果全体に共通するキーワード、ランキングの上位に共通するキーワード、及びランキングの下位に共通するキーワード等を抽出し、該抽出したキーワードを、必須性もしくは可能性を表す様相記号を付けて表示することで、ユーザは、自分の意図と検索システムが返答する結果との間の相違を、一目で、視覚的に、確認することができる。尚、表示以外にも、印字や音声出力など、ユーザが知覚可能な各種出力形態を利用できる。
【００５３】
図２は、このような検索結果の表示方法を説明するベン図である。同図は、検索結果からキーワードを抽出し、該抽出したキーワードを、必須性記号□、可能性記号◇を付加して表示した場合を示している。
【００５４】
同図（ａ）の太枠の外円３１が検索結果となる文書集合であり、該外円３１内の細枠の円３２〜３５が、それぞれ、「Ｂ」、「Ｃ」、「Ｄ」、「Ｅ」のキーワードが含まれている文書集合である。また、同図（ａ）において、太枠の外円３１内の上方の部分は上位にランキングされた文書、下方の部分は下位にランキングされた文書を表している。
【００５５】
したがって、同図（ａ）においては、キーワード「Ａ」は検索結果となる全ての文書に含まれており、キーワード「Ｂ」、「Ｃ」は上位にランキングされている文書にのみ含まれている。また、キーワード「Ｄ」、「Ｅ」は下位にランキングされている文書のみに含まれている。
【００５６】
このような検索結果が得られた場合、本発明の実施形態では、同図（ｂ）に示すように、キーワード「Ａ」には必須性記号□を、キーワード「Ｂ」、「Ｃ」には可能性記号◇を、キーワード「Ｄ」、「Ｅ」には可能性記号◇と否定記号¬を、それぞれ、付加して表示する。
【００５７】
この場合、抽出されるキーワードは、ユーザにより入力されたキーワードとは関係なく抽出される。このため、ユーザは、表示結果を見て、自分が入力したキーワードと、システムにより得られた実際のランキング結果に対応している様相記号付のキーワードとを比べることができ、見比べながら、ユーザは、次に入力すべきキーワードの候補を認識することができる。
【００５８】
ところで、今までの説明では、説明を簡略するために、１つのキーワードのみを含む命題の例についてのみ示したが、命題においては、キーワードだけでなく、ＡＮＤやＯＲにより表現される論理式に対しても、様相記号を付加することができるものとする。
【００５９】
図３は、上記原理に基づきデータベースを検索する情報検索装置１００のシステム構成を示すブロック図である。インターフェース１０２は、ユーザ１０１が検索式を入力したり、ユーザ１０１に検索結果等を出力するためのマン・マシン・インターフェースである。このインターフェース１０２は、例えば、表示装置、及びキーボードやマウス等の入力装置から成る。
【００６０】
検索式入力部１０４は、インターフェース１０２から、ユーザ１０１により入力された検索式を受け取る。該検索式は、命題の集合として与えられる。検索式入力部１０４は、受け取った検索式を文書集合特定部１０６に出力する。
【００６１】
文書集合特定部１０６は、検索式入力部１０４から受け取る検索式を解析し、該検索式内の命題の集合を満足する文書集合（該命題を満足する文書の集合）を、インデックス１０８を参照して特定する。そして、その特定した文書集合をワーク領域１１０に書き込む。このワーク領域１１０は、例えば、ＲＡＭ等のメモリに設けられる。
【００６２】
インデックス１０８は、予め、インデックス作成部１３０によって作成された、文書データベース１２０内の各文書１２２に含まれるキーワード等の情報である。また、該インデックス１０８には、上記キーワード以外に、例えば、該各文書１２２の名称及び識別子（文書識別子）等に関する情報も含まれる。このように、ユーザ１０１が使用する前に、予め、インデックス１０８を作成・保持しておく理由は、検索を高速化するためである。
【００６３】
インデックス作成部１３０は、文書管理部１１４を介して、文書データベース１２０を検索することにより、インデックス１０８を作成する。尚、図３において、インデックス作成部１３０を破線の矩形で示しているのは、インデックス作成部１３０が起動されるのは、ユーザ１０１が文書データベース１２０の検索を実行する前であることを明示するためである。
【００６４】
文書管理部１１４は、データベース管理システム（ＤＢＭＳ）等であり、文書データベース１２０を管理しており、文書データベース１２０に対する文書１２２の登録／削除や、クライアント（例えば、インデックス作成部１３０や共通キーワード抽出部１１８）からの依頼を受けて、文書データベース１２０内の各文書１２２の検索を実行し、その検索結果を、該クライアントに返す。
【００６５】
文書データベース１２０は、複数の文書１２２を格納しているデータベースであり、文書管理部１１４によって管理される。関連度計算部１１２は、インデックス１０８を参照しながら、文書集合特定部１０６によって書き込まれた、ワーク領域１１０内の文書集合に含まれる各文書について、関連度を算出し、該各文書の関連度をワーク領域１１０に書き込む。
【００６６】
関連度計算部１１２は、文書集合の関連度の算出（文書集合に含まれる各文書の関連度の算出）を、文書集合特定部１０６により、該文書集合がワーク領域１１０に書き込まれると同時に行う。
【００６７】
尚、本実施態様においては、例えば、特定された文書の実体ではなく、該文書の識別子（文書識別子）をワーク領域１１０に書き込む。これは、処理の高速化及びワーク領域１１０の記憶容量を削減するためである。このことにより、キャッシュメモリをワーク領域１１０に使用することが可能になる。
【００６８】
検索結果出力部１１６は、ワーク領域１１０内に格納されている文書集合に含まれる各文書を、同じくワーク領域１１０に格納されている該各文書の真偽値及び関連度を参照して、真偽値及び関連度の高い順にソートして、該ソート結果をワーク領域１１０に書き込む。
【００６９】
共通キーワード抽出部１１８は、ワーク領域１１０に格納されている上記ソートされた文書から構成される文書集合から、出力用のキーワードを抽出し、該抽出したキーワードを、検索結果出力部１１６に出力する。
【００７０】
共通キーワード抽出部１１８は、該出力用キーワードを抽出する際に、文書データベース１２０内の文書１２２へのアクセスを、文書管理部１１４に依頼し、該アクセス結果を文書管理部１１４から受け取り、該アクセス結果を基に該出力用キーワードを抽出する。
【００７１】
検索結果出力部１１６は、共通キーワード抽出部１１８から出力用キーワードを受け取ると、上記ソート結果と該出力用キーワードを、インターフェース１０２に出力する。
【００７２】
インターフェース１０２は、検索結果出力部１１６から上記ソート結果と上記出力用キーワードが入力されると、これらの情報を基に、ランキング検索結果とランキングされた文書に含まれる共通キーワードを、ユーザ１０１が知覚可能な形式で出力する。このとき、該共通キーワードは当該様相記号が付加されて表示される。
【００７３】
次に、上記図３の情報検索装置１００の動作を説明する。例えば、「検索技術における自然言語処理技術について知りたい。特に、日本語の自然言語処理は、検索分野でどのように利用されているのか。インターネット、イントラネット（特許検索サービスや論文検索サービス）の情報でもよい。あくまでも、検索技術がメインであり、機械翻訳がメインのソフトの情報はあまり欲しくない、仮名漢字変換などのワープロに関する技術の情報は対象外。」というユーザ１０１の検索要求を、様相記号を用いた命題で表現すると、以下の(I)〜(V)のようになる。
【００７４】
(I)   必ず含まれて欲しいキーワード
□検索、□自然言語処理
(II)  １回でも出現すれば関連性が上がるキーワード
◇日本語
(III) 複数回、出現すれば関連性が上がるキーワード
インターネット、イントラネット、特許検索、論文検索
(IV)  １回でも出現すれば関連性が下がるキーワード
◇¬機械翻訳
(V)   必ず含まれて欲しくないキーワード
□¬仮名漢字変換、□¬ワープロ
以下、上記(I)〜(V)の各命題を含む検索式が、ユーザ１０１によりインターフェース１０２を介して入力されたものとして、図３の情報検索装置１００の動作を、図４乃至図６を参照しながら説明する。
【００７５】
図４は、上記情報検索装置１００の本発明の要部に係わる動作の全体を示すフローチャートである。また、図５は、図４のフローチャートの実行による、ワーク領域１１０の処理を説明する図である。また、さらに、図６は図４のフローチャートのステップＳ２３の処理の詳細を示すフローチャートである。
【００７６】
図４のフローチャートの基本的なアルゴリズム及び関連度の計算方式は、本出願人が先に出願した特願平１０−２３０４７０号公報の発明で開示されているランキング処理と同様であるが、命題を様相記号に従ってソートする処理、真偽カウンタを設定する処理、真偽カウンタの値に従って文書識別子をソートする処理等が異なる。尚、該真偽カウンタは、上述した真偽値を計数するために使用されるカウンタである。
【００７７】
図４のアルゴリズムにおいては、ワーク領域１１０には１つの文書に対し、（文書識別子、関連度（部分関連度）、真偽カウンタ）の３種類の情報から成る組を格納する。
また、上記特願平１０−２３０４７０号公報の発明に開示されているように、該真偽カウンタを設けずに、真となる命題の共起関係により関連度を計算する手法を採用した場合には、図１に例示されているような、正確なランキングの階層は得られないが、代わりに、検索実行時のワーク領域１１０の使用記憶容量を抑制することができる。この場合、ワーク領域１１０には、１つの文書に対し、（文書識別子、関連度（部分関連度））の２種類の情報から成る組が格納される。また、関連度計算部１１２は、上記特願平１０−２３０４７０号公報の発明に開示されている方法やその他の評価関数等により、関連度（部分関連度）を算出する。
【００７８】
以下、図４を中心としながら上記情報検索装置１００の動作を説明する。まず、予め、ワーク領域１１０を、図５（ａ）に示すように初期化しておく（ステップＳ１）。次に、上記(I)〜(V)の各命題の集合からなる検索式を、様相記号の種類によってソートする。該検索式の場合には、□検索、□自然言語処理、◇日本語、インターネット、イントラネット、特許検索、論文検索、◇¬機械翻訳、□¬仮名漢字変換、□¬ワープロの順に、ソートされる。
【００７９】
続いて、検索式中の全ての命題について処理が終了したか判別し（ステップＳ３）、まだ、終了していなければ（ステップＳ３、ＮＯ）、該ソートされた命題の中から、未処理でかつソート順位が最も高い命題を選択し、該命題を真とする文書集合を特定する（ステップＳ４）。この場合、上記ソート結果にしたがって、まず、「□検索」という命題を真とする、キーワード「検索」を含む文書の集合（文書集合）が特定される。
【００８０】
次に、上記特定した命題に付いている様相記号が何であるか判断する（ステップＳ５）。そして、該様相記号が「□」であればステップＳ６に、「◇」であればステップＳ１１に、無印であればステップＳ１３に、「◇¬」であればステップＳ１５に、「□¬」であればステップＳ１７に移行する。この場合、「□検索」という命題が特定されたため、「□」であると判断され、ステップＳ６の処理に移る。
【００８１】
ステップＳ６では、ワーク領域１１０が空ならステップＳ４で特定された文書集合をワーク領域１１０に登録する。一方、ワーク領域１１０が空でないならば、ワーク領域１１０に格納されている文書集合とステップＳ４で特定された文書集合とのＡＮＤ集合を特定する。
【００８２】
この時点では、ワーク領域１１０は初期化された状態であり、空であるため、キーワードとして「検索」を含む文書集合がワーク領域１１０に登録される。この場合、「検索」を含む文書が、文書識別子が１番から１０００番までの文書のみであったとすると、ワーク領域１１０には、図５（ｂ）に示すように文書識別子が１番から１０００番までの各文書から成る文書集合が、ワーク領域１１０に格納される。
【００８３】
続いて、ステップＳ６で得られた文書集合に含まれる各文書に対して部分関連度が算出されると共に、該各文書の真偽カウンタの値が１つインクリメントされる（ステップＳ７）。この結果、図５（ｂ）に示すように、１番から１０００番までの文書識別子、該各文書識別子を有する各文書の部分関連度がワーク領域１１０に設定されると共に、同じくワーク領域１１０において、該各文書の真偽カウンタが“１”に設定される。
【００８４】
次に、ステップＳ６で得られた文書集合（この場合、該文書集合に含まれる各文書の文書識別子）だけをワーク領域１１０に格納する（ステップＳ８）。この場合、ワーク領域１１０の内容は変更されず、ワーク領域１１０の内容は、図５（ｂ）に示すようになる。
【００８５】
続いて、ワーク領域１１０が空であるか判別する（ステップＳ９）。ワーク領域１１０が空であれば（ステップＳ９、ＹＥＳ），ヒット件数は０件であるものとして（ステップＳ１０）、処理を終了するが、空でなければ（ステップＳ９、ＮＯ）、ステップＳ３に戻る。
【００８６】
この場合、ワーク領域１１０は空でないので、ステップＳ９の判別はＮＯとなり、ステップＳ３に戻る。ステップＳ３では、まだ、全ての命題に対する処理は終了していないので、ＮＯと判別され、ステップＳ４で、今度は、「□自然言語処理」という命題が選択され、該命題を真とする、キーワード「自然言語処理」を含む文書集合が特定される。そして、ステップＳ５で、該命題に付いている様相記号が「□」であると判断され、ステップＳ６に移行する。
【００８７】
この場合、文書識別子が１番から１０００番までの文書の中で、文書識別子が奇数である文書のみに「自然言語処理」が含まれているとすると、ＡＮＤ集合として、文書識別子が１番から１０００番までの文書の中から、文書識別子が奇数である文書から成る文書集合が得られる。
【００８８】
次に、ステップＳ７で、該文書識別子が奇数である各文書の部分関連度が算出されると共に、該各文書の真偽カウンタの値が１つインクリメントされる。続いて、ステップＳ８で、ステップＳ６で得られたＡＮＤ集合、すなわち、文書識別子が１番から１０００番で、かつ、文書識別子が奇数である文書から成る文書集合のみをワーク領域１１０に残す。
【００８９】
この結果、ワーク領域１１０の内容は、図５（ｃ）に示すようになる。すなわち、ワーク領域１１０には、１番から１０００番の文書識別子の中で、奇数の文書識別子（１、３、５、・・・９９９の文書識別子）のみが格納される共に、それらの各文書識別子に対応する真偽カウンタの値は“２”に設定される。また、該各文書識別子を有する文書の部分関連度が増加される。
【００９０】
次に、ステップＳ９でＮＯと判別され、再び、ステップＳ３に戻る。そして、上述(II)〜(VI)の各命題に対して、ステップＳ３以降の処理が行われる。すなわち、「◇日本語」、「インターネット」、「イントラネット」、「特許検索」、「論文検索」、「◇¬機械翻訳」、「□¬仮名漢字変換」、「□¬ワープロ」の順に、ステップＳ３以降の処理が行われる。この場合、ステップＳ３〜Ｓ５の処理おいては、ステップＳ３、４の処理は、上記全ての命題について共通であり、ステップＳ５の判断結果が、各命題に付けられた様相記号によって異なるだけである。
【００９１】
以下、ステップＳ４で選択される順に、上記各命題に対して行われる処理を説明する。ステップＳ４で、「◇日本語」という命題が選択されると、ステップＳ５で、該命題に付いている様相記号は「◇」であると判断され、ステップＳ１１に移行する。ステップＳ１１の処理は、上述したステップＳ６の処理と同様であり、ワーク領域１１０が空でない場合は、ワーク領域１１０に格納されている文書集合とステップＳ４で特定された「日本語」を含む文書集合の両方に含まれる集合（ＡＮＤ集合）を特定する。
【００９２】
この場合、文書識別子の下一桁が「１」〜「５」の文書のみに「日本語」が含まれるとすると、ステップＳ１１で、図５（ｃ）に示すワーク領域１１０に格納されている文書識別子を有する文書の中から、文書識別子の下一桁が「１」〜「５」の文書が特定される。そして、次に、該特定された各文書について、部分関連度が算出されると共に、該各文書の真偽カウンタの値が１つインクリメントされる（ステップＳ１２）。そして、ステップＳ３に戻る。この場合、ワーク領域１１０から除外される文書識別子は無い。
【００９３】
この結果、図５（ｄ）に示すように、ワーク領域１１０においては、文書識別子が「１」、「３」、及び「５」の部分関連度が増加されると共に、その真偽カウンタが１つインクリメントされ、該真偽カウンタの値は“３”に設定される。
【００９４】
ステップＳ３に戻り、ステップＳ４において、命題が「インターネット」、「イントラネット」、「特許検索」、「論文検索」の順に、選択され、ステップＳ５で、これらの命題に付いている様相記号は無い（無印）であると判断され、続いて、ステップＳ１３、Ｓ１４の処理が、順に、行われる。
【００９５】
ステップＳ１３の処理は、上述したステップＳ１１の処理と同様である。この場合、「インターネット」、「イントラネット」、「特許検索」、「論文検索」のいずれかを含む文書が、文書識別子の下一桁が「１」と「９」の文書であったとすると、ステップＳ１３で、図５（ｄ）に示すワーク領域１１０に格納されている文書識別子の中で、下一桁が「１」と「９」の文書識別子の文書の部分関連度が算出される。このとき、該文書の真偽カウンタは更新されない。
【００９６】
この結果、図５（ｅ）に示すように、ワーク領域１１０に格納されている文書識別子の中で、下一桁が「１」と「９」の文書識別子についてのみ、その部分関連度が増加される。また、この場合も、ワーク領域１１０から除外される文書識別子は無い。 ステップＳ１３の処理終了後、再び、ステップＳ３に戻る。そして、今度は、ステップＳ４で「◇¬機械翻訳」の命題が選択され、ステップＳ５で該命題に付いている様相記号が「◇¬」であると判断され、ステップＳ１５に移る。ステップＳ１５の処理は上述したステップＳ１１と同様の処理であり、ステップＳ４で特定された文書集合とワーク領域１１０に格納されている文書集合とのＡＮＤ集合をとる。
【００９７】
この場合、「機械翻訳」が含まれている文書が文書識別子が３の倍数である文書であるとすると、図５（ｅ）に示すワーク領域１１０に文書識別子が格納されている文書の中で、文書識別子が３の倍数である文書が該ＡＮＤ集合に含まれることになる。すなわち、文書識別子が、「３」、「９」、・・・「９９９」の文書である。
【００９８】
ステップＳ１５に続いて、該ＡＮＤ集合に含まれる各文書について、部分関連度が算出されると共に、真偽カウンタの値が１つデクリメントされる（ステップＳ１６）。
【００９９】
この結果、ワーク領域１１０の内容は、図５（ｆ）に示すようになり、「３」、「９」、・・・「９９９」の文書識別子を有する各文書の部分関連度が減少されると共に、該各文書の真偽カウンタの値が１つデクリメントされる。
【０１００】
ステップＳ１６の処理終了後、再び、ステップＳ３に戻る。そして、今度は、ステップＳ４で「□¬仮名漢字変換」の命題が選択され、ステップＳ５で該命題に付いている様相記号が「□¬」であると判断され、ステップＳ１７に移る。ステップＳ１７では、ステップＳ４で特定された文書集合とワーク領域１１０に文書識別子が格納されている文書集合とのＡＮＤ集合をとる。この場合、「□¬仮名漢字変換」を含む文書集合とワーク領域１１０に文書識別子が格納されている文書集合とのＡＮＤ集合をとる。
【０１０１】
ここで、「仮名漢字変換」を含む文書が、文書識別子が「５」の倍数である文書であるとすると、図５（ｆ）に示すワーク領域１１０に文書識別子が登録されている文書の中で、文書識別子が「５」、「１５」・・・「９９５」等の文書が該ＡＮＤ集合に含まれることになる。
【０１０２】
次に、ステップＳ１７で特定されたＡＮＤ集合に含まれる文書集合を、ワーク領域１１０から削除する（ステップＳ１８）。この結果、図５（ｇ）に示すように、ワーク領域１１０から文書識別子「５」、「１５」・・・「９９５」が削除される。
【０１０３】
続いて、ワーク領域１１０が空であるか判別し（ステップＳ１９）、空であれば（ステップＳ１９、ＹＥＳ）、ヒット件数は０件であるものとして（ステップＳ２０）、処理を終了するが、空でなければ（ステップＳ１９、ＮＯ）、再び、ステップＳ３に戻る。
【０１０４】
ステップＳ４では、今度は、「□¬ワープロ」の命題が選択され、この命題に対して、上述した「□¬機械翻訳」の命題と同様の処理が行われる。すなわち、ステップＳ５で命題に付いている様相記号が「□¬」であると判断され、ステップＳ１７、Ｓ１８の処理が行われる。
【０１０５】
この場合、「□¬ワープロ」を含む文書が、文書識別子が「７」の倍数の文書であるとすると、ステップＳ１７で、ＡＮＤ集合として、図５（ｆ）に示すワーク領域１１０に登録されている「７」、「２１」等の文書識別子を有する文書の集合が得られる。そして、ステップＳ１８で、ワーク領域１１０から該ＡＮＤ集合が削除される。この結果、ワーク領域１１０の内容は、図５（ｇ）に示すようになる。
【０１０６】
続いて、ステップＳ１９でワーク領域１１０が空でないと判別され、再び、ステップＳ３に戻る。ここで、ステップＳ３で、全ての命題に対して処理が終了したと判別され（ステップＳ３、ＹＥＳ）、ステップＳ２１に移る。
【０１０７】
ステップＳ２１では、ワーク領域１１０内の真偽カウンタを参照して、該真偽カウンタの値の大きい順に、文書識別子をソートする。続いて、該ソートされた文書識別子を、更に、ワーク領域１１０内の該文書識別子の部分関連度を参照して、該部分関連度の大きい順にソートする（ステップＳ２２）。
【０１０８】
この結果、検索された文書が、文書識別子によりランキングされる。そして、このようにして、最終的なランキング順位が得られてから、最後に、共通キーワード抽出部１１８により、検索結果として得られた文書集合に共通するキーワードが抽出され、（ステップＳ２３）、処理を終了する。
【０１０９】
例えば、上記検索結果において、「形態要素解析」が検索結果として得られた全ての文書に、「Ｎ−ｇｒａｍ分割」がランキングが上位の文書に、「カーソル移動」がランキングが下位の文書に含まれていた場合には、「形態要素解析」、「Ｎ−ｇｒａｍ分割」、及び「カーソル移動」の各共通キーワードが、「□形態要素解析」、「◇Ｎ−ｇｒａｍ分割」、及び「◇¬ カーソル移動」という、当該記号が付加された形式で、上記検索結果と共に表示される。
【０１１０】
次に、図６のフローチャートを参照しながら、図４のステップＳ２３の共通キーワード抽出処理を説明する。図６は、共通キーワード抽出部１１８の処理を説明するフローチャートである。
【０１１１】
共通キーワード抽出部１１８は、まず、ワーク領域１１０に格納されている検索結果（文書識別子）を参照して、検索により得られた文書件数分のバッファをワーク領域１１０内に用意する（ステップＳ２４）。 次に、ワーク領域１１０内に設定されている文書識別子に対応する文書を、文書管理部１１４を介して、文書データベース１２０から取り出し、これを、ワーク領域１１０もしくは他のメモリ領域（不図示）内に格納する（ステップＳ２５）。
【０１１２】
続いて、該取り出した各文書のキーワードを抽出する（ステップＳ２６）。次に、ステップＳ２６で抽出した全てのキーワードを、所定の規則に従って、ソートし、該ソート結果から重複しているキーワードを除外する（ステップＳ２７）。
【０１１３】
続いて、ステップＳ２７で得られたキーワードのソート結果から、ソート順に、キーワードを一つづつ取り出す。このとき、全てのキーワードに対して処理が終了したか、すなわち、該ソート結果から取り出すキーワードが無くなったかを判別する（ステップＳ２８）。
【０１１４】
キーワードが取り出せたならば、すなわち、全てのキーワードに対して処理を終了していないならば（ステップＳ２８、ＮＯ）、ステップＳ２９に移るが、全てのキーワードに対して処理を終了していれば（ステップＳ２８、ＹＥＳ），処理を終了する。
【０１１５】
ステップＳ２９では、全ての検索結果の中から１つの検索結果（１つの文書）を取り出し、該文書に、ステップＳ２８で取り出したキーワードが含まれているか調べる。そして、該文書が該キーワードを含んでいれば、該文書に対応するバッファにフラグを立てる（ステップＳ２９）。尚、ステップＳ２９では、例えば、ランキングが上位の文書から、順に、当該キーワードが含まれているか調べる。
【０１１６】
次に、ステップＳ２８で取り出したキーワードについて、全ての検索結果に対して処理を終了したか判別する。すなわち、ステップＳ２５で取り出された全ての検索結果（検索式による検索により得られた全ての文書）について、該キーワードが含まれているかを調べる検索処理が終了したかを判別する。（ステップＳ３０）。
【０１１７】
そして、全ての検索結果に対して処理を終了していなければ（ステップＳ３０、ＮＯ）、ステップＳ２９に戻って、次の検索結果（文書）を取り出す。以上のようにして、ステップＳ２９〜Ｓ３０の処理を繰り返し、ステップＳ２８で取り出したキーワードについて、前記全ての検索結果に対する検索が終了したと判別したならば（ステップＳ３０、ＹＥＳ）、ステップＳ２９の処理で立てられたフラグの位置を確認する（ステップＳ３１）。そして、該フラグが検索式の検索により得られた文書の集合（文書集合）の全体に出現しているならばステップＳ３２に、該フラグが該文書集合の上位に出現しているならばステップＳ３３に、該フラグが該文書集合の下位に出現しているならば、ステップＳ３４に、該フラグが上記３つの出現形態のいずれにも該当しないならばステップＳ３６に移行する。
【０１１８】
ステップＳ３２においては、ステップＳ２８で取り出したキーワードを、「□キーワード」の形式で出力する。ステップＳ３３では、該キーワードを「◇キーワード」の形式で出力する。ステップＳ３４では、該キーワードを「◇¬キーワード」の形式で出力する。ステップＳ３５では該キーワードを出力しない。
【０１１９】
上記ステップＳ３２、Ｓ３３，Ｓ３４，またはＳ３５の処理が終了したならば、ステップＳ２８に戻る。そして、ステップＳ２８で、上記ステップＳ２７で得られたソート結果から、次のキーワードを取り出し、該キーワードに対して、上述したステップＳ２９〜Ｓ３５の処理を行う。
【０１２０】
このようにして、ランキングされた文書から取り出されたキーワードについて、ステップＳ３２、Ｓ３３，Ｓ３４，またはＳ３５のいずれかの処理が行われる。そして、キーワードが検索により得られた文書集合全体（検索により得られた全ての文書）に含まれていれば「□キーワード」が、キーワードが該文書集合のランキングが上位の文書のみに含まれていれば「◇キーワード」が、キーワードがランキングが下位の文書のみに含まれていれば「◇¬キーワード」が出力される。
【０１２１】
このように、検索結果の表示時には。ランキングされた文書からキーワードを抽出し、検索結果である文書集合の全体、上位、及び下位の各集合毎に、共通して出現するキーワードを探索する。図６のフローチャートのステップＳ２４で用意されるバッファは、単にフラグを立てるために使用されるので、検索式により検索された１文書当たりに１ビットを用意すれば良い。また、ステップＳ２６で抽出するキーワードの数を制限することにより、処理の高速化を図ることが可能である。
【０１２２】
［複数の文書データベース（文書ＤＢ）の検索］
上記様相記号の概念は、上述した１つの文書データベースから関連する文書を検索するランキング検索のみならず、複数の文書データベースから関連する文書データベースを検索する文書データベース検索にも使用できる。
【０１２３】
すなわち、それぞれの文書データベースにおいて、「検索式に対して関連している文書」を「可能世界の集合」、「文書データベース中の１つの文書」を「１つの可能世界」とすることにより、様相記号の必須性記号□、可能性記号◇、及び否定記号¬を用いて、命題に以下(I)〜(IV)のような意味（概念）を持たせる。
【０１２４】
(I)   □命題：全ての文書で、命題が真となる文書データベースである
(II)  ◇命題：ある文書で、命題が真となる文書データベースである
(III) □¬命題：全ての文書で、命題が偽となる文書データベースである
(IV)  ◇¬：ある文書で、命題が偽となる文書データベースである
つまり、例えば、「□命題」が真である文書データベースは、その命題の分野の専門データベースであり、「□命題」が偽であるが「◇命題」が真である文書データベースは、専門ではないが関連した文書も含むデータベースであるものと捉える。
【０１２５】
このように、文書データベース検索において、様相記号を導入することにより、ある分野に対する専門の文書データベースや、専門ではないが関連する文書データベースなどを検索できるようになる。
【０１２６】
次に、上記複数の文書データベース検索の原理を適用した、本発明の第２の実施形態の情報検索装置である複数文書データベース検索装置（以後、複数文書ＤＢ検索装置と記載）２００について説明する。図７は、該複数文書ＤＢ検索装置２００のシステム構成を示すブロック図である。尚、同図においては、複数の文書データベース及び該複数の文書データベースを管理する文書管理部が省略されている。
【０１２７】
この複数文書ＤＢ検索装置２００のシステム構成は、上述した図３の情報検索装置１００の構成と同様であるが、複数の文書データベース（不図示）を検索対象とするため、各文書データベース毎に、インデックス２０８が設けられており、インデックス２０８が文書データベースの数と同数存在すること、共通キーワード抽出部１１８の代わりに、必須性・可能性条件判定部２１９が設けられていることが、該情報検索装置１００の構成と異なっている。
【０１２８】
図７の複数文書ＤＢ検索装置２００において、図３の情報検索装置１００の構成要素と同一名称の構成要素、すなわち、インターフェース２０２、検索入力部２０４、文書集合特定部２０６、ワーク領域２１０、関連度計算部２１２、及び検索結果出力部２１６は、該情報検索装置１００の検索式入力部１０４、文書集合特定部１０６、ワーク領域１１０、関連度計算部１１２、及び検索結果出力部１１６が備える機能を有する。
【０１２９】
また、図７には図示していないが、処理の高速化のために、複数文書ＤＢ検索装置２００内には、情報検索装置１００と同様に、インデックス作成部が設けている。このインデックス作成部は、予め（システムの立ち上げ時等において）、前記文書管理部を介して、複数の文書データベースを検索し、各文書データベースからキーワードを抽出し、該各文書データベースのインデックス２０８を生成する。このインデックス２０８には、上記キーワード以外に、例えば、各文書データベースに格納されている総文書件数、各文書データベースの名称及び識別子（文書識別子）等も含まれる。
【０１３０】
インターフェース２０２は、ユーザ２０１が検索式を入力するための入力装置、及び、ユーザが知覚可能な形態で、検索結果を出力する出力装置である。検索入力部２０４は、インターフェース２０２から、ユーザ２０１により入力された検索式（命題の集合）を受け取り、これを、文書集合特定部２０６に出力する。
【０１３１】
文書集合特定部２０６は、検索式入力部２０４から入力される検索式を解析し、各文書データベースに対応するインデックス２０８を参照し、文書集合特定部１０６と同様の処理を、各文書データベース毎に行う。また、文書集合特定部２０６は、個々の文書データベース毎に命題が真となる文書の件数を計数し、該個々の文書データベース毎の計数値（命題が真となる文書の件数）をワーク領域２１０に書き込む。
【０１３２】
関連度計算部２１２は、該ワーク領域２１０に書き込まれた個々の文書データベース毎に、それらに含まれる文書の関連度を算出し、個々の文書データベース毎に、それらに含まれる文書の関連度をワーク領域２１０に書き込む。このようなワーク領域１１０に書き込まれる個々の文書データベースの関連度情報を評価することにより、関連度の高い順から、文書データベースをランキング表示するようにすることも可能である。
【０１３３】
検索結果出力部２１６は、必須性・可能性条件判定部２１９から検索結果を入力し、該検索結果をインターフェース１０２を介して、ユーザ２０１が知覚可能な形態で出力する。また、個別のデータベース検索の場合には、関連度計算部２１２によってワーク領域２１０に書き込まれた、当該文書データベースにおいて検索された個々の文書の関連度を参照して、該文書データベース内の該各文書を、関連度の高い順からソートし、該ソート結果を基に、該各文書のランキング結果を、インターフェース２０２を介して、ユーザ２０１が知覚可能な形態で出力する。
【０１３４】
複数文書ＤＢ検索装置２００の特有の構成要素である、必須性・可能性条件判定部２１９の機能の詳細は、後述する。上記のような構成となっているため、複数文書ＤＢ検索装置２００は、情報検索装置１００が有している１つの文書データベースに対する検索機能に加え、複数の文書データベースに対する検索機能を備えている。すなわち、いずれの文書データベースが、ユーザが求める専門の文書データベースであるか、または専門ではないが関連する文書データベースである等を特定する機能を備えている。
【０１３５】
また、複数文書ＤＢ検索装置２００が、情報検索装置１００の共通キーワード抽出部１１８と同様な構成要素を備えるような構成とすることも可能である。このような構成にすれば、検索結果出力部２１６が、情報検索装置１００の検索結果出力部１１６と同様に、様相記号が付加された共通キーワードを、検索結果と共に出力することが可能となる。
【０１３６】
次に、上記複数文書ＤＢ検索装置２００の動作を、図８のフローチャートを参照しながら説明する。このフローチャートのアルゴリズムの基本的な処理の流れは、以下の通りである。
【０１３７】
すなわち、個々の文書データベースにおいて、ブーリアン検索または非ブーリアン検索を行い、検索式内の命題を真とする文書の件数を取得する。そして、検索式となる命題が、必須性記号が付いた命題である場合には、文書データベースの総文書件数と比較し、該命題が該文書データベースの全ての文書で真となるか判定する（これを、「必須性の条件」と呼ぶことにする）。一方、検索式となる命題が可能性記号が付いた命題である場合には、命題を真とする文書が、文書データベース内に少なくとも１つあるかを判定する（これを、「可能性の条件」と呼ぶことにする）。
【０１３８】
尚、図８のフローチャートのアルゴリズムにおいては、ユーザ２０１が「可能性記号が付いた命題」を入力した場合であっても、上記「必須性の条件」を満たす文書データベースが存在する場合には、この文書データベースをユーザ２０１に知らせるために、「□文書データベース名」を出力するようにしている（ステップＳ４７、Ｓ４８）。
【０１３９】
上記「必須性の条件」が厳しすぎる場合には、「必須性の条件」を、「命題を真とする文書の件数の文書データベースの総文書件数に対する割合」、または「個々の文書データベースにおいて非ブーリアン検索を行い、上位にランキングされた文書の全てが真となるか」などに変更し、該変更された「必須性の条件」を判定するようにする。尚、このような変更条件は、検索を実行する前に、予め、設定しておくようにする。また、「可能性の条件」が厳しすぎる場合にも、同様な方法を適用することができる。
【０１４０】
検索結果を表示する際には、基本的には、各命題に付いた様相記号を、文書データベースの名称（文書データベース名）に付加して出力する。この場合、「必須性の条件」または「可能性の条件」を満足しない文書データベースは、検索結果として表示されない。また、可能性◇が付いた命題に対する検索結果であっても、上述したように、「必須性の条件」を満足している文書データベースが存在すれば、必須性記号「□」を、該文書データベースの名称（文書データベース名）に付加して出力する。
【０１４１】
次に、上記処理の流れの詳細を、図８のフローチャートを参照しながら説明する。まず、上記「可能性の条件」及び「必須性の条件」を設定する（ステップＳ４１）。次に、全ての文書データベースの検索処理が終了したか判別する（ステップＳ４２）。そして、全ての文書データベースの検索処理が終了していれば（ステップＳ４２、ＹＥＳ），処理を終了するが、まだ、全ての文書データベースについて検索処理が終了していなければ（ステップＳ４２、ＮＯ），未検索の文書データベースを１つ選択し、該文書データベースに対して、入力された命題を真とする文書を、ブーリアン検索または非ブーリアン検索により検索する（ステップＳ４３）。
【０１４２】
次に、該入力された命題に付いた記号が、必須性記号「□」または可能性記号「◇」であるか判断する（ステップＳ４４）。そして、必須性記号「□」であれば、必須性・可能性条件判定部２１９が、ステップＳ４３の検索結果を基に、ステップＳ４３で検索した文書データベースが「必須性の条件」を満たすか判定する（ステップＳ４５）。そして、必須性・可能性条件判定部２１９により、「必須性の条件」を満たすと判定された場合には（ステップＳ４５、ＹＥＳ），該文書データベースの名称（文書データベース名）に必須性記号□が付加することにより、「□文書データベース名」を出力し（ステップＳ４６）、ステップＳ４２に戻る。
【０１４３】
一方、ステップＳ４５で「必須性の条件」を満たさないと判定された場合には（ステップＳ４６、ＮＯ），直ちに、ステップＳ４２に戻る。 また、ステップＳ４４で、上記命題の記号が可能性記号「◇」であると判断されれば、必須性・可能性条件判定部２１９が、ステップＳ４３の検索結果を基に、ステップＳ４３で検索した文書データベースが「必須性の条件」を満たすか判定する（ステップＳ４７）。そして、必須性・可能性条件判定部２１９により、「必須性の条件」を満たすと判定されれば、該文書データベースの名称（文書データベース名）に必須性記号□を付加することにより、「□文書データベース名」を出力し（ステップＳ４８）、ステップＳ４２に戻る。
【０１４４】
一方、ステップＳ４７で、「必須性の条件」を満たさないと判定されれば（ステップＳ４７，ＮＯ），次に、必須性・可能性条件判定部２１９が、ステップＳ４３の検索結果を基に、ステップＳ４３で検索した文書データベースが「可能性の条件」を満たすか判定する（ステップＳ４９）。
【０１４５】
そして、「可能性の条件」を満たすと判定されれば（ステップＳ４９、ＹＥＳ）、該文書データベースの名称（文書データベース名）に可能性記号◇を付加することにより、「◇文書データベース名」を出力し（ステップＳ５０）、ステップＳ４２に戻る。
【０１４６】
一方、ステップＳ４９で、「可能性の条件」を満たさないと判定された場合には（ステップＳ５０、Ｎ０）、直ちに、ステップＳ４２に戻る。以上のようにして、システム内の全ての文書データベースに対して、上述したステップＳ４３〜Ｓ５０の処理が行われる。そして、該全ての文書データベースに対して、該ステップＳ４３〜Ｓ５０の処理が終了すると、ステップＳ４２で、該全ての文書データベースに対して、該処理が終了したと判別され（ステップＳ４２、ＹＥＳ）、処理を終了する。
【０１４７】
次に、上記複数文書ＤＢ検索装置２００が、図８のフローチャートのアルゴリズムを実行することにより行われる処理の具体例を説明する。例えば、下記(I)〜(IV)に示すような４つの文書データベースが、システム内に存在したとする。
(I)   「化学データベース」：化学、化合物の専門のデータベース。アルコールの話題も多く含まれる（１００件以上）。
(II)  「医学データベース」：医学、薬の専門データベース。化合物及びアルコールの話題も多少含んでいる（１００件以下）。
(III) 「お酒データベース」：アルコール専門のデータベース。化合物の話題は全く含まれない。
(IV)  「車データベース」 ：車専門のデータベース。化合物の話題は多少含まれるが、アルコールの話題は全く含まれない。
ここで、検索式として「□化合物」の命題が入力された場合には、「化合物」に関する専門のデータベースは「化学データベース」のみなので、ステップＳ４６で「□化学データベース」が、検索結果として出力される。
【０１４８】
また、検索式として「◇化合物」の命題が入力された場合には、「化合物」の話題を含んでいる文書データベースは「化学データベース」、「医学データベース」、及び「車データベース」であり、しかも、「化学データベース」は「化合物」の専門データベースでもあるので、ステップＳ４８で「□化学データベース」が、ステップＳ５０で「◇医学データベース」及び「◇車データベース」が、検索結果として出力される。
【０１４９】
次に、「必須性の条件」として、「ランキングの上位１００件」が設定された場合の動作例を示す。検索式として「◇アルコール」の命題が入力されると、上記「必須性の条件」が設定されていないならば、ステップＳ４８で「◇化学データベース」及び「◇医学データベース」が、ステップＳ４８で「□お酒データベース」が検索結果として出力される。しかし、この場合、必須性の条件として、「ランキングの上位１００件」が設定されており、「化学データベース」がこの必須性の条件を満たしているため、ステップＳ４７で「化学データベース」がこの必須性の条件を満たしていると判定される。この結果、ステップＳ５０で「◇医学データベース」が、ステップＳ４８で「□化学データベース」及び「□お酒データベース」が検索結果として出力される。
【０１５０】
ところで、必須性の条件及び可能性の条件を、「文書データベース内のヒット件数の割合」で指定するようにしてもよい。例えば、上述したように、検索式として「◇アルコール」の命題が入力された場合、必須性の条件として「文書データベース内の半数以上の文書に含まれる」が、予め、設定されていたとすると、化学データベース内の文書数に応じて、出力される検索結果が異なる。すなわち、化学データベース内の文書数が２００件以下ならば、「化学データベース」の検索結果として、ステップＳ４７の判定がＹＥＳとなるので、ステップＳ４８で「□化学データベース」が出力されるが、化学データベース内の文書数が２００件より多いならば、ステップＳ４７の判定がＮＯとなるので、ステップＳ５０で「◇化学データベース」が出力されることになる。
【０１５１】
図９は、上記第１及び第２の実施形態の各構成要素の機能を、プログラムの実行により実現するコンピュータ３００のハードウェア構成を示すブロック図である。
該コンピュータ３００は、ＣＰＵ３０１と、該ＣＰＵ３００とバス３０９によって接続されたＲＯＭ３０２，ＲＡＭ３０３，外部記憶装置３０４、記録媒体駆動装置３０５、入出力装置３０７、及び通信インターフェース３０８から構成される。
【０１５２】
ＣＰＵ３０１は、バス３０９を介して上記各構成要素３０２〜３０８にアクセス可能であり、システム全体を制御する。本発明の実施形態のアルゴリズムを実現するプログラムは、例えば、ＲＯＭ３０２、外部記憶装置３０４、または、可搬記録媒体３０６に格納される。
ＲＯＭ３０２や外部記憶装置３０４に格納された上記プログラムは、ＲＡＭ３０３上に、ＣＰＵ３０１が実行可能な形式に展開されて、ＣＰＵ３０１により実行される。また、可搬記録媒体３０６に格納されている上記プログラムは、該可搬記録媒体３０６が記録媒体駆動装置３０５に装着されることにより、記録媒体駆動装置３０５により読み取られ、ＲＡＭ３０３上に、ＣＰＵ３０１が実行可能な形式に展開されて、ＣＰＵ３０１により実行される。
【０１５３】
また、上記プログラムは、コンピュータ３００とネットワーク４００を介して接続された情報提供者５００が保有していてもよく、この場合には、通信インタフェース４００が、ネットワーク４００を介して、情報提供者５００が保有していている上記プログラムを、外部記憶装置３０４にダウンロードする。そして、この外部記憶装置３０４にダウンロードされた上記プログラムは、上述した方法により、ＣＰＵ３０１により実行される。
【０１５４】
入出力装置は、ユーザ１０１、２０１がコンピュータ３００に検索式を入力するために使用される入力装置、及びコンピュータ３００が上記プログラムを実行することによって得た検索結果や様相記号が付加された共通キーワード等を出力する出力装置である。
外部記憶装置３０４は、文書データベース１２０や複数の文書データベースを格納する。また、インデックス１０８、２０８も格納する。尚、インデックス１０８、２０８は、ＲＡＭ３０３に格納されてもよい。ＲＡＭ３０３には、ワーク領域１１０、２１０や前記バッファ等が確保される。
【０１５５】
また、情報提供者５００が、上記プログラムを実行可能なコンピュータ、及び文書データベース１２０及び／または複数の文書データベースを備えている場合には、ユーザ１０１、２０１が入出力装置３０７から、上記プログラムを遠隔実行するためのコマンドを入力することにより、通信インターフェース３０８及びネットワーク４００を介して、上記プログラムを、情報提供者５００が保有するコンピュータで遠隔実行させることも可能である。この場合、情報提供者５００が保有するコンピュータで得られた検索結果様相記号が付加された共通キーワード等は、コンピュータ３００が、ネットワーク４００及び通信インターフェース３０８を介して受信することが可能であり、該受信された検索結果は入出力装置３０７から、ユーザ１０１、２０１が知覚可能な形式で出力される。
【０１５６】
なお、可搬記録媒体３０６は、フロッピー（登録商標）ディスク、ＣＤ−ＲＯＭ，ＣＤ−ＲＡＭ、各種規格のＤＶＤ，光磁気記録方式もしくは相変化型の光ディスク、ＩＣカード等である。また、外部記憶装置３０４は、ハードディスクやディスクアレイ等である。また、入出力装置３０７は、キーボードやマウス等のポインティング・デバイス、及びＣＲＴディスプレイ、もしくは液晶ディスプレイ、プラズマ・ディスプレイ、有機ＥＬ（Ｅｌｅｃｔｒｏ Ｌｕｍｉｎｅｓｅｎｃｅ）ディスプレイ等の薄型ディスプレイである。
また、ネットワーク４００は、ＬＡＮ、ＭＡＮ、ＷＡＮ、もしくはインターネット等である。
【０１５７】
【発明の効果】
以上、説明したように、本発明によれば、検索式に様相記号を導入することにより、従来のブーリアン検索及び非ブーリアン検索と同等の記述能力を持ち、かつユーザの直感を簡略化して表現可能な検索式を、ユーザに提供することができる。そして、このことにより、ユーザは、自分の意図を、従来技術のような大きな負担を強いられることなく、はるかに、容易に、検索式として表現することができる。
【０１５８】
また、ユーザにより自由に指定される、様相記号付の命題の真偽値を計数することにより、ランキングされる文書の順位に階層を設定し、該真偽値によるランキングと通常のランキングとを分けて評価するため、ユーザは、容易に、ランキングの順位を指定することが可能になる。
【０１５９】
また、さらに、実際にランキングされた文書から、必須性及び／または可能性を持つ命題を抽出し、該抽出結果をユーザに表示するので、ユーザは、自分の入力した命題と実際の検索結果から抽出される命題とを見比べて、比較・検討することにより、次に、入力すべき命題の候補を認識することができる。
【０１６０】
また、さらに、複数の文書データベースの検索において、必須性記号付の命題及び／または可能性記号付の命題の真偽値を評価することにより、専門の文書データベースであるか、または専門ではないが関連する文書で文書データベースであるか等を、特定することができる。
【０１６１】
また、さらに、検索結果として、必須性記号付の文書データベース名、及び／または可能性記号付の文書データベース名を出力するので、ユーザは、検索された文書データベースが専門データベースであるか、または関連データベースであるのかを、直ちに（該出力が表示や印字等の場合には、一目で）、認識することができる。
【図面の簡単な説明】
【図１】  必須性記号及び可能性記号を付加したキーワードを含む文書群とランキング順位との関係を示すベン図である。
【図２】  実際のランキング結果から抽出されるキーワードと様相記号との関係を示した図である。
【図３】  本発明の第１の実施形態の情報検索装置のシステム構成を示すブロック図である。
【図４】  上記情報検索装置の本発明に係わる要部の全体動作を説明するフローチャートである。
【図５】  図４のフローチャートの処理により行われる、ワーク領域の内容の時間的推移の具体例を示す図である。
【図６】  図４のフローチャートの共通キーワード抽出処理の詳細を示すフローチャートである。
【図７】  本発明の第２の実施形態の情報検索装置である複数文書データベース検索装置のシステム構成を示すブロック図である。
【図８】  上記複数文書データベース検索装置により行われる、複数の文書データベースの検索処理を示すフローチャートである。
【図９】  上記第１及び第２の実施形態を実現するコンピュータのハードウェア構成を示すブロック図である。
【符号の説明】
１１〜１４、３２〜３５      円
２１      最上位の階層
２２      最上位の次の階層
２３      最下位の階層
３１      外円
１００      情報検索装置
１０２      インターフェース
１０４      検索式入力部
１０６      文書集合特定部
１０８      インデックス
１１０      ワーク領域
１１２      関連度計算部
１１４      文書管理部
１１６      検索結果出力部
１１８      共通キーワード抽出部
１２０      文書データベース
１２２      文書
２００      複数文書ＤＢ検索装置
２０２      インターフェース
２０４      検索式入力部
２０８      インデックス
２１０      ワーク領域
２１２      関連度計算部
２１６      検索結果出力部
２１９      必須性・可能性条件判定部
３００      コンピュータ
３０１      ＣＰＵ
３０２      ＲＯＭ
３０３      ＲＡＭ
３０４      外部記憶装置
３０５      記録媒体駆動装置
３０６      可搬記録媒体
３０７      入出力装置
３０８      通信インターフェース
４００      ネットワーク
５００      情報提供業者
【図１】
0004021583.tif 000006
【図２】
0004021583.tif 000007
【図３】
0004021583.tif 000008
【図４】
0004021583.tif 000009
【図５】
0004021583.tif 000010
【図６】
0004021583.tif 000011
【図７】
0004021583.tif 000012
【図８】
0004021583.tif 000013
【図９】
0004021583.tif 000014