(57)【特許請求の範囲】
【請求項１】
前提パック済み知識表現および結論パック済み知識表現を決定するパック済み知識表現マネージャと、
前記知識表現マネージャによって決定された、前記前提パック済み知識表現と前記結論パック済み知識表現との間で対応するコンセプトを整合するコンセプト整合マネージャと、
前記コンセプト整合マネージャによって、前記前提パック済み知識表現および前記結論のパック済み知識表現のコンセプトが整合された、起源に関して、用語にマークが付けられた和集合を決定し、比較のために関連性のあるパック済みの知識表現用語を置き換え、複数の内含／矛盾規則にもとづいて用語を削除し、内含および矛盾を示す結果を表示装置に表示するかもしくは記憶装置に記憶する内含／矛盾マネージャと、
を備え、
前記複数の内含／矛盾規則にもとづいて用語を削除することは、
インスタンス化可能性関係を決定し、
前記インスタンス化可能性関係において、用語がコンテキストでインスタンス化可能であるということは、該コンテキストにおいて該用語のコンセプト説明を満たすオブジェクトが存在するということであり、
前記インスタンス化可能性関係において、用語がコンテキストでインスタンス化不可であるということは、該用語のコンセプト説明を満たすオブジェクトが存在しないということであり、
前記インスタンス化可能性関係にもとづいて、前記結論パック済み知識表現に由来する用語から用語を削除する、
ことを含む、
テキストの中の内含および矛盾を示すシステム。
【請求項２】
知識表現が、存在論からの階層コンセプト情報要素と、コンセプト要素およびコンセプト要素インスタンス間の関係性を指定する関係性要素と、を含む請求項１に記載のシステム。
【請求項３】
前記前提パック済み知識表現と結論パック済み知識表現との間でコンテキストを整合するコンテキスト整合回路をさらに備える、請求項１に記載のシステム。
【請求項４】
前提用語及び結論用語が和集合において結合される請求項１に記載のシステム。
【請求項５】
内含された用語及び矛盾する用語の内の少なくとも一つにマークが付けられる、または表示される請求項１に記載のシステム。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は情報検索に関する。
【背景技術】
【０００２】
内含は、ある要素を別の要素から引き出すことができることを示す関係性を説明する。語順及び単語の共起性によりテキストが複数の見解の影響を受けやすくなる可能性があるため、テキスト間の内含は複雑である。例えば、英語では同じ単語または句を1つの文中の異なる場所に置くことにより複数の見解つまり解釈が生じる。テキストをパックされた知識表現に符号化することによってこれらの問題に対処しようと試みた研究者もいた。該パックされた知識表現は単一の表現の中のテキストに複数の見解の符号化を提供する。
【特許文献１】米国特許第５，４３８，５１１号明細書
【特許文献２】米国特許第７，１７１，４０３号明細書
【非特許文献１】Ｊ．マックスウェルおよびＲ．カプラン（Ｊ．ＭａｘｗｅｌｌおよびＲ．Ｋａｐｌａｎ）、「離接語制約充足のための一方法(A method for disjunctive constraint satisfaction)」、Ｍ．トミタ編集・構文解析技術における目下の問題(M.Tomita (ed) Current Issues in Parsing Technology)、１９９１年
【発明の開示】
【発明が解決しようとする課題】
【０００３】
該パックされた知識表現はこれらの複数の見解を符号化できるが、従来の言語学的な処理では内含及び矛盾を検出するために依然としてアンパックすることが必要である。
【課題を解決するための手段】
【０００４】
したがって、パックされた知識表現の中で内含及び矛盾を検出するためのシステム及び方法は有用であろう。本発明によるシステム及び方法は、内含及び矛盾を検出するためにパックされた知識のコンテキスト化された（ｃｏｎｔｅｘｔｅｄ）和集合に作用することを提供する。本発明によるシステム及び方法は、前提のテキスト及び結論のテキストのためのパックされた構造を決定する。パックされた知識表現を決定するために書き直し規則がパックされた構造に適用される。該知識表現は、用語を示すコンセプト及び／または用語を示すコンテキストの間の関係性についての事実を備える。パックされた構造のためのコンセプト整合が決定される。コンテキストを示す用語の整合も実行され、前提のパックされた知識表現と、結論のパックされた知識表現との和集合が決定される。和集合の用語は、前提テキスト及び結論テキスト内でのそれらの起源に関してマークを付けられている。前提と結論の中の用語の比較は、前提と結論の間で用語を代用する、整合テーブル等を使用することによって容易になる。本発明による多様な実施形態は、結論の用語を前提の対応する用語で置換する。包摂と特定性、インスタンス化可能性（ｉｎｓｔａｎｔｉａｂｉｌｉｔｙ）、空間−時間及びパックされた書き直し規則に基づいた関係性が、内含された用語を削除し、和集合の中の矛盾する事実にマークを付けるためにコンテキストを示す事実と関連して適用される。
【発明を実施するための最良の形態】
【０００５】
図１は本発明による内含及び矛盾検出システム１００の例示的な概要を示している。内含及び矛盾検出システム１００は、文書１０００から１０１０へのアクセスを提供する情報レポジトリ２００に、及び通信がイネーブルされているパーソナルコンピュータ３００に通信リンク９９を介して接続されている。
【０００６】
一つの例示的な実施形態では、通信がイネーブルされたパーソナルコンピュータ３００のユーザは文書集合体１０００から１０１０に関して質問をする。クエリーは通信リンク９９上を内含及び矛盾検出システム１００に転送される。内含及び矛盾検出システム１００はプロキシの機能を果たす。それは、第一のサーチを使用して該質問に関連する文書の部分集合を選択する。サーチ結果からの該関連文書１０００から１０１０は通信リンク９９を介して取り出される。内含及び矛盾検出システム１００は、関連する文書のあらゆる文が質問によって内含されているか、あるいは矛盾しているのかを判断する。すなわち、内含及び矛盾検出システム１００は、質問と結び付いたパックされた構造と、サーチ検索文書１０００から１０１０の中の文または他の構造と結び付いた複数のパックされた構造との間の内含及び矛盾を決定する。
【０００７】
例えば、一実施形態では、質問に対して内含されたテキストを含む文書の関連性つまりランク付けは、質問に関連性のある回答を示す可能性が高いとして強化されたプロミネンス（ｐｒｏｍｉｎｅｎｃｅ）を与えられる。矛盾する用語の関連性は同様に調整される。ランク付けされたサーチ結果は、次に要すればユーザに表示される。
【０００８】
図２は本発明に従って内含を検出するための例示的な方法及び検出のフローチャートである。プロセスはステップS１００で開始し、すぐにステップＳ２００に続行する。ステップＳ２００では、前提テキストが選択される。質問及び回答を対象とする多様な実施形態では、前提テキストは通常、文書の一部分、あるいは情報レポジトリの他の要素である。前提テキストはユーザによって入力されてもよいし、文書から選択されてもよいし、あるいは入力方法または選択方法を使用して入力されてもよい。前提テキストが選択された後で、制御はステップＳ３００に続行する。
【０００９】
ステップＳ３００では、結論テキストが選択される。質問の回答を対象とする実施形態では、該結論テキストは通常、ユーザによって提起されるか、文書から選択されるか、あるいは任意の入力方法または選択方法を使用して入力される質問である。いったん前提テキスト及び結論テキストが決定されると、制御はステップＳ４００に続行する。
【００１０】
ステップＳ４００では、前提テキスト及び結論テキストのためにパック構造が決定される。パッキングは数多くの代替表現を簡潔に符号化する方法である。パック構造を決定することについては、非特許文献１および特許文献１においてさらに論じられている。非特許文献１および特許文献１は、その全体が参照によって本明細書に組み込まれる。パックされた表現は、選択空間及び選択ラベルが付けられた表現を含む。選択空間は、選択ラベルが互いにどのように関連付けられているのかを詳説するブーリアン及び／またはツリーである。表現のそれぞれの部分が、表現が適用する選択空間の部分を示すためにラベルを付けられる。計算効率のために、選択空間は、選択ラベルの任意のブーリアン組み合わせの満足度が効率的にチェックできる自由選択形式で維持される。
【００１１】
Ｘｅｒｏｘ言語環境（Ｘｅｒｏｘ  Ｌｉｎｇｕｉｓｔｉｃ  Ｅｎｖｉｒｏｎｍｅｎｔ）（ＸＬＥ）の解析システムを活用する実施形態では、パック構造はパックされたｆ−構造である。しかしながら、テキストのためのパック構造を決定する公知の方法または後に作成される方法は、本発明の精神または範囲から逸脱することなく使用されてよい。パック構造が決定された後、制御はステップＳ５００に続行する。
【００１２】
ステップＳ５００では、パック知識表現書き直し規則が決定される。該規則はメモリ、データベースまたは他の記憶装置媒体から取り出されてよい。パック知識表現書き直し規則は、ＷｏｒｄＮｅｔ（登録）等の階層存在論にパック構造に含まれているコンセプトを相互参照することによってパック構造をパック知識表現に変換する。パック書き直し規則はＡ，＋Ｂ，−Ｃ＝＝＞Ｄという形である。この規則は、Ａ及びＢと一致する事実があるかどうかを確かめ、Ｄと一致する事実がないことを保証するために入力事実の集合を検査する。一致が当てはまるそれぞれの状況で、Ａに一致する事実は事実の集合から削除され、事実Ｂは適所に残され、事実Ｄが追加される。したがって、書き直し規則は、一般的には、右側に一致する出力を生じさせるために、矢印の左側に一致する入力を費やす作成規則である。パック済み書き直しシステムは出力された事実のパックされた集合を生成するために入力された事実のパックされた集合にこれらの規則を適用する。パック知識表現書き直し規則が決定されてから、制御はステップＳ６００に続行する。
【００１３】
知識表現書き直し規則は、ステップＳ６００でパックされた知識表現を作成するためにパック構造に適用される。パック知識表現はＣｙｃＬ、Ｋｎｏｗｌｅｄｇｅ  Ｍａｃｈｉｎｅ、ＤＡＭＬ＋ＯＩＬまたは他の知識表現であってよい。いったんパックされた知識表現が作成されると、制御はステップＳ７００に続く。
【００１４】
ステップＳ７００では、コンセプト整合がパック知識表現について決定される。整合は、同様な用語が知識表現間で比較されることを保証する。例示的な一実施形態では、コンセプトは前提テキスト及び結論テキストから用語を抽出することによって整合される。前提知識表現の各用語は、結論知識表現の用語と組にされる。ＷｏｒｄＮｅｔ（登録）または他の存在論の同義語及び／または上位語が、それぞれの用語の組み合わせの整合スコアを決定するために使用される。閾値整合スコアを超える組の整合スコアは有望な整合として選択される。質問に回答する実施形態では、質問または前提テキストに含まれる情報は、最も有望な用語組み合わせを精緻化する、あるいは決定するために利用されてもよい。有望な用語の組は、あまり有望ではない用語の組が、より有望な用語の組の後に検討される、役割の数に基づいて要すればランク付けされる。コンセプト整合が決定された後で、制御はステップＳ８００に続く。
【００１５】
コンテキスト整合は、ステップＳ８００でパックされた知識表現ごとに決定される。コンテキスト用語はコンセプトと結び付けられ、コンセプト用語を組にし、ランク付けする方法がコンテキスト用語に適用される。コンテキスト整合が決定された後、制御はステップＳ９００に続行する。
【００１６】
ステップＳ９００では、内含及び矛盾検出パック書き直し規則の集合が選択される。該規則はメモリ、データベースまたは他の記憶構造から取り出されてよい。いったん該規則が決定されると、制御はステップＳ１０００に続く。
【００１７】
ステップＳ９００で決定された内含及び矛盾検出パック書き直し規則は、ステップＳ１０００でコンセプトとコンテキストが整合された、パック知識表現に適用される。前提パック知識表現及び結論パック知識表現の結合が決定される。パック内含規則及びパック矛盾規則は、削減または排除が可能であるパックされた知識表現の用語と事実の間の包摂、序数、インスタンス化可能性（ｉｎｓｔａｎｔｉａｂｉｌｉｔｙ）、及び空間−時間関係を決定する。
【００１８】
一つのコンセプトは、それがオブジェクトのさらに一般的なクラスを参照する場合に別のコンセプトを包摂する。コンセプトＣ１を満たすオブジェクトの集合がＣ２を満たすオブジェクトの集合を含む場合には、Ｃ１がＣ２を包摂する。代わりの専門用語：Ｃ２はＣ１よりさらに特定的であり、Ｃ１はＣ２よりさらに一般的である。一つの式は、それが当てはまる状況のより一般的な集合を参照する場合、別の式を包摂する。内含は、パックされた内含及び矛盾検出規則を適用した後に結合の中の結論のパックされた知識表現からのあらゆる事実の欠如によって示される。
【００１９】
矛盾マーカがパックされた知識表現の矛盾する用語を示すために追加される。結論テキストが質問を示している場合、前提テキストは該質問に対する候補回答である可能性がある。前提テキストまたは候補回答テキストが内含される場合には、それが質問に肯定的な回答である可能性が高い。したがって多様な実施形態では、従来のｔｆ−ｉｄｆサーチは初期選択テキストに適用される。内含及び矛盾検出はサーチ結果をランク付けする、及び／または順序付けるために適用される。内含されないし、矛盾もしていないとしてマークを付けられるサーチ結果のテキストはランキングでの検討から排除される。ランク付けし直された結果が次にユーザに返される。内含及び矛盾を検出した後、制御はステップＳ１１００に続行し、プロセスは終了する。
【００２０】
図３は、本発明の一態様によるコンセプト整合の拡大フローチャートである。プロセスはステップ７００で開始し、すぐにステップ７１０に移動する。ステップ７１０では、コンセプト及びコンテキストを示す用語の前提チャートが決定される。例示的な一実施形態では、前提パック知識表現の各コンセプトがチャートに挿入される。コンテキストを示す用語もチャートに入れられる。前提チャートが作成された後、制御は、プロセスが結論チャートを作成するために第二のパック知識表現と繰り返されるステップＳ７２０に続行する。次に制御はステップＳ７３０に続行する。
【００２１】
ステップＳ７３０では、サブコンセプト（ｓｕｂｃｏｎｃｅｐｔ）用語はコンセプトごとにチャートに追加される。ＷｏｒｄＮｅｔまたは他の存在論的なリソースが、各用語と結び付けられた上位語のリストに基づいてサブコンセプトの集合を決定するために使用される。多様な他の実施形態では、サブコンセプトは、Ｃｙｃ等の外部システムから引き出される。サブコンセプト用語を前提チャートと結論チャートに追加した後、制御はステップＳ７４０に続行する。
【００２２】
サブコンセプト用語は、ステップＳ７４０でコンテキスト用語ごとに前提チャート及び結論チャートに追加される。各コンテキスト用語は、通常はコンテキストを紹介する節の先頭に立つ動詞から派生する特徴的なコンセプト用語と結び付けられている。結び付けられている先頭のコンセプト用語のためのサブコンテキストはコンテキスト用語をマークするために使用される。サブコンセプト用語がコンテキスト用語ごとに追加された後、制御はステップＳ７５０に続行する。
【００２３】
ステップＳ７５０では、前提パック知識表現の中の用語の整合スコアの集合が、結論パック知識表現の中の用語と対照して計算される。該整合スコアは、用語がどの程度コンセプト的に重複するのかを示す。したがって、ＷｏｒｄＮｅｔ存在論を活用する実施形態では、前提パック知識表現の用語と結び付けられる上位語の集合と、結論パック知識表現の用語と結び付けられる上位語の集合の間の重複が１組の整合スコアを決定するために使用される。重複する項目の重み付け及び他の方法も該整合スコアを決定する、及び／またはさらに調整するために使用できる。整合スコアが決定された後で、制御はステップＳ７６０に続行する。
【００２４】
用語組の集合は、ステップＳ７６０でその整合スコアに基づいて選択される。多様な実施形態では、閾値がユーザインプットから決定される、あるいはメモリから取り出される。閾値を超える整合スコアと結び付けられる用語組は、整合された用語組として選択される。用語組み合わせの各集合は、前提テキストのあらゆるコンセプト用語またはコンテキスト用語を、結論テキストのなんらかのコンセプト用語またはコンテキスト用語と整合する。整合の複数の集合が考えられ、整合集合は個々の用語の組み合わせの整合スコアによって決定される最良優先順序でランク付けされる。用語組が選択された後、制御はステップＳ７７０へ続行し、即座に図２のステップＳ７００にジャンプする。
【００２５】
図４は、本発明の一態様に従って考えられる用語の組み合わせの集合を選択するための例示的な第一の展開フローチャートである。プロセスはステップＳ７６０で開始し、即座に、閾値スコア値が選択されるステップＳ７６１に続行する。閾値スコアは用語の組み合わせに考えられる許容スコア値を示す。例えば、０．５という閾値整合スコアの値は、０．５に等しいあるいは０．５より大きい整合スコアとの用語組が選択されていることを示す。閾値整合スコアは用語整合得点法に依存し、調整可能である。閾値整合スコア値が指定された後、制御がステップＳ７６２に続行する。
【００２６】
ステップＳ７６２では、結論テキストの各用語は前提テキストの用語と組にされ、最良の整合スコアを有する個々の用語組み合わせで開始する。適切な名称または代名詞のどちらかから派生する用語を例外として、前提テキストの２つの相異なる用語を結論テキストの同じ用語と組にすることはできない。閾値整合スコア値を下回る個々の整合は除外される。次に、制御はステップＳ７６９に続行し、即座に図３のステップＳ７６０に戻る。
【００２７】
図５は、本発明の一態様に従って、考えられる用語の組み合わせの集合を選択する例示的な第二の展開フローチャートである。プロセスはステップＳ７６０で開始し、即座にステップＳ７６４に続行する。ステップＳ７６４では、結果パック知識表現に由来し、複数の役割引数を有する用語が決定される。例えば、動詞から引き出されるコンセプトの用語は多くの場合主語の役割からの複数の役割引数、つまり補語の役割を有する。複数の役割引数を有する用語は、該用語を別の引数にリンクさせる知識表現内の役割事実によって特定される。制御は次にステップＳ７６５に続行する。
【００２８】
ステップＳ７６５では、用語は役割の数に基づいて順序付けられる。したがって、多数の役割のある用語が最初に選択される。用語が順序付けられた後、制御は、各節の引数の値が求められるステップＳ７６６に続行する。制御は次にステップＳ７６７に続行する。
【００２９】
結論のパック済みの知識表現の中に複数の役割引数を備える各用語は、ステップＳ７６７で前提のパック済み知識表現の中の用語と組にされる。組にされた用語の役割事実は一致される。一致するあらゆる役割事実の場合、前提パック済み知識表現及び結論パック済み知識表現の中の対応する役割引数用語も組にされる。それから制御はステップＳ７６８に続行する。
【００３０】
ステップＳ７６８では、最終的な最良パスが残りの整合されていない用語を割り当てる。次に制御はステップＳ７６９に続行し、ただちに図３のステップ７６０に戻る。
【００３１】
図６は、本発明の一態様に従って内含及び矛盾を検出する例示的な方法のフローチャートである。プロセスはステップＳ１０００で開始し、コンテンツとコンテキストが整合されたパック済みの第一組の知識表現用語が選択されるステップＳ１００５に即座に続行する。組にされた用語は、以前のステップで決定されたコンセプトとコンテキストが整合された用語のリストから選択される。多様な実施形態では、該組にされた用語はランク付けされる。例えば、質問からの情報は、用語がテキストの中に出現する尤度をランク付けるために使用できる。これは前提パック済み知識表現と結論パック済み知識表現の用語組ごとに繰り返される。前提パック知識表現用語組が特定された後で、制御はステップＳ１０１０に続行する。
【００３２】
前提パック済み知識表現及び結論パック済み知識表現からの事実は、ステップ１０１０で該事実が前提知識表現からであるのかあるいは結論知識表現からであるのかに明示的にマークを付けるためにラベルが付けられる。結論テキストに由来する事実は結論表現マーカでマークを付けられるのに対して、前提テキストに由来する事実は前提表現マーカでマークを付けられる。事実がマークを付けられた後で、制御はステップＳ１０１５に続行する。
【００３３】
ステップＳ１０１５では、結論パック済み知識表現に由来するとマークされた事実及びコンテキストは、ステップＳ１００５で選択された整合の集合によって決定されるような前提パック済み知識表現に由来する、整合された用語によって置換される。制御はステップＳ１０２０に続行する。
【００３４】
前提及びコンテキストの整合されたパック済みの知識表現の事実と選択空間選択和集合は、ステップＳ１０２０で決定される。パック済みの知識表現の和集合の形成については、特許文献２においてさらに論じられている。特許文献２は、その全体が参照によって本明細書に組み込まれる。和集合が決定された後、制御はステップＳ１０２５に続行する。
【００３５】
ステップＳ１０２５では、コンテンツとコンテキストの整合されたパック済みの知識表現の用語間に存在するあらゆる包摂関係が決定される。包摂関係は、前提パック知識表現に由来する用語内に包摂される結論パック知識表現に由来する用語を特定する。包摂関係が決定された後、制御はステップＳ１０３０に続行する。次に包摂関係事実が、前提パック知識表現及び結論パック知識表現の和集合に代入される。結論のパック済み知識表現に由来するサブコンセプト用語は、包摂関係の事実によって置き換えられる。これらの演算は和集合の中の結論のパック知識表現から用語数を削減する。サブコンセプトの事実と役割が置換された後、制御はステップＳ１０３５に続行する。
【００３６】
コンセプトとコンテキストが整合されたパック済みの知識表現におけるインスタンス化可能性（ｉｎｓｔａｎｔｉａｂｉｌｉｔｙ）関係はステップＳ１０３５で決定される。例えば、ある特定のコンセプト用語がある特定のコンテキストでインスタンス化可能（ｉｎｓｔａｎｔｉａｂｌｅ）であると言うことは、用語コンセプト説明を満たすなんらかのオブジェクトの存在をアサートすることである。コンセプト用語がコンテキストの中でインスタンス化不可（ｕｎｉｎｓｔａｎｔｉａｂｌｅ）であるということは、該用語のコンセプト説明を満たすそのコンテキストにこのようなオブジェクトがないと言うことである。インスタンス化可能性（ｉｎｓｔａｎｔｉａｂｉｌｉｔｙ）関係が決定された後、制御はステップＳ１０４０に続行する。
【００３７】
ステップＳ１０４０では、結論のパック済み知識表現に由来するインスタンス化可能（ｉｎｓｔａｎｔｉａｂｌｅ）な事実及びインスタンス化不可（ｕｎｉｎｓｔａｎｔｉａｂｌｅ）な事実が、インスタンス化可能性（ｉｎｓｔａｎｔｉａｂｉｌｉｔｙ）規則に基づいて削除される。インスタンス化可能性（ｉｎｓｔａｎｔｉａｂｉｌｉｔｙ）規則は、例えば、より特定の用語のインスタンス化可能性（ｉｎｓｔａｎｔｉａｂｉｌｉｔｙ）がより一般的な用語のインスタンス化可能性（ｉｎｓｔａｎｔｉａｂｉｌｉｔｙ）を内含し、より一般的な用語のインスタンス化不可性（ｕｎｉｎｓｔａｎｔｉａｂｉｌｉｔｙ）がより特定の用語のインスタンス化可能性（ｉｎｓｔａｎｔｉａｂｉｌｉｔｙ）に矛盾すると判断する。結論のパック済みの表現が起源である、内含されたインスタンス化可能性（ｉｎｔａｎｔｉａｂｉｌｉｔｙ）及びインスタンス化不可性（ｕｎｉｎｓｔａｎｔｉａｂｉｌｉｔｙ）は、インスタンス化可能性（ｉｎｓｔａｎｔｉａｂｉｌｉｔｙ）規則によって削除される。矛盾したインスタンス化可能性（ｉｎｓｔａｎｔｉａｂｉｌｉｔｙ）事実及びインスタンス化不可性（ｕｎｉｎｓｔａｎｔｉａｂｉｌｉｔｙ）事実はこのようにマークを付けられる。次に、制御はステップＳ１０４５に続行する。
【００３８】
ステップＳ１０４５で、結論のパック済みの知識表現からの任意の用語が和集合に残るかどうかの決定が下される。あらゆる用語が残る場合には、制御は即座にステップＳ１０５５に続行し、次に、結論テキストが前提テキストによって内含されない旨の表示がユーザに対して行われる。それ以外の場合、用語が残らないと、制御は、内含がユーザに示されるステップＳ１０５０に続行する。多様な例示的な実施形態では、ユーザに対する動的な表示はユーザのディスプレイまたは出力装置に対する変更を介して達成される。しかしながら、内含インジケータがユーザに対する非同期の表示のためにメモリに記憶されてよい、あるいは本発明の範囲を逸脱することなくプログラム的制御の元で使用されてよいことが明らかになるであろう。内含が示された後、制御はステップＳ１０６０に続行する。      
【００３９】
ステップＳ１０６０では、追加のパック済みの知識表現が残るかどうかに関して決定が下される。追加のパック済み知識表現組が残る場合、制御はコンテンツとコンテキストが整合された知識表現の用語の次の組が選択されるステップＳ１０６５に続行する。次に制御は即座にステップＳ１０１０にジャンプする。ステップＳ１０１０からＳ１０６０は、追加のコンテンツとコンテキストが整合されたパック済みの知識表現用語の組が処理されるために残らなくなるまで繰り返す。制御は次にステップＳ１０７０に続行し、図２のステップＳ１０００に即座に戻る。
【００４０】
複数のテキストのためのパック済み知識表現が、本発明の範囲から逸脱せずに前もってあるいは動的に必要に応じて決定されてよいことが理解されなければならない。
【００４１】
図７は本発明の一態様に従って内含及び矛盾を検出するための例示的なシステムである。該内含及び矛盾検出システム１００は、通信リンク９９を介して文書１０００から１００２へのアクセスを提供する情報レポジトリ２００に、及び通信がイネーブルされたパーソナルコンピュータ３００に接続されている。
【００４２】
通信がイネーブルされたパーソナルコンピュータ３００は、情報レポジトリ２００によってサービスを供給される文書集合体１０００から１００２に対照してクエリーを開始する。クエリーは、通信リンク９９上で情報レポジトリ２００に転送される。情報レポジトリは、用語頻度逆文書頻度及び／または他の情報検索システムを使用してクエリーに関連する文書を選択する。検索結果は、次に内含及び矛盾検出システム１００の入出力回路５に転送される。
【００４３】
内含及び検出システム１００のプロセッサ１０は、クエリーに結び付いたパック済み構造及びそれぞれの取り出されたサーチ結果を決定するためにパック済みメモリ決定回路またはマネージャ２０を活性化する。プロセッサ１０は、パック済みの書き直し規則を使用してパック済み知識表現を決定するためにオプションのパック済み知識表現回路またはマネージャ２５を活性化する。
【００４４】
コンセプト整合回路またはマネージャ３０は、考えられる結論として表現されるクエリーのためのパック済み知識表現と第一のサーチ結果または前提のためのパック済み知識表現の間でコンセプト事実を合わせるために活性化される。コンテキスト整合回路またはマネージャ２５は、結論及び第一の前提のパック済みの知識表現のコンテキストを整合する。コンセプト整合回路またはマネージャ３０は、類似する用語がパック済みの知識表現間で比較されることを保証する。前提知識表現からの各用語は結論知識表現からの用語と組にされる。ＷｏｒｄＮｅｔ（登録）または他の存在論からの同義語及び／または上位語のリストが用語の組み合わせごとに整合スコアを決定するために使用される。
【００４５】
閾値整合スコアを超える組の整合スコアは、有望な整合として選択される。質問に答える実施形態では、結論または質問のテキストに含まれている情報は、最も有望な用語組を決定するために利用される。有望な用語の組は要すれば、役割の数に基づいてランクを付けられ、あまり有望ではない用語の組はさらに有望な用語の組より後に検討される。
【００４６】
プロセッサ１０は、結論及び前提のパック済み表現のための事実及び選択空間の和集合を形成し、各用語にその起源でマークを付ける。次に、コンテキスト用語はコンセプトと関連付けられる。したがってコンセプト用語を組にし、ランクを付ける方法はコンテキストにも適用される。
【００４７】
結果に由来する用語は、前提の対応する用語で置換される。内含及び矛盾検出回路またはマネージャ４５は、内含及び矛盾規則メモリ４０から内含及び矛盾規則を取り出し、それらを和集合に適用する。
【００４８】
パック済みの内含及び矛盾規則は包摂、序数、インスタンス化可能性（ｉｎｓｔａｎｉａｂｉｌｉｔｙ）、及び空間−時間の関係を、削減または排除が可能なパケット知識表現の用語及び事実の間で決定する。結論知識表現の各事実が削除されると、内含は示される。矛盾マーカはパック済み知識表現の矛盾する用語を示すために追加される。プロセッサ１０は内含及び矛盾を示すために表示回路５０を活性化する。次に、プロセスは以後の全体として結論と各追加サーチ結果の間で繰り返される。本発明による多様な実施形態では、内含及び矛盾情報はサーチ結果での文書のプロミネンスを調整するために使用される。プロセッサ１０は、通信リンク９９上で通信がイネーブルされたコンピュータ３００のユーザにランク付けされ直したサーチ結果を転送するために入出力回路５を活性化する。
【００４９】
図８は例示的な第一の文(Nobody saw a man.)である。該第一の文書は短く、明白である。
【００５０】
図９は、本発明の一態様に従って第一の例示的な文のパック済み知識表現４００を記憶するための例示的なデータ構造である。パック済みの知識表現は文についてコンテンツ及びコンテキスト情報を捕捉する。パック済み知識表現は、上位選択部分４１０と用語部分４２０から構成される。上位選択部分４１０の値は、文の不明瞭な読取値の間の上位選択を示すために使用される。しかしながら、このケースでは、各行は、上位選択が一つしかなく、したがって該文の代わりの読取値がないことを示す値「１」でマークを付けられる。
【００５１】
パック済み知識を記憶するための例示的なデータ構造の最初の三行は、ある人によって見るイベントが経験されたことを示している。時間関係は、該イベントが今以前に発生すると指定している。役割関係は、一般的な用語で、見るイベントが起きたこと、見られたものが何らかの種類の男であったこと、及び該イベントが何らかの種類の人物によって経験されたことを示している。次の三行は、情報のためにコンテキストを指定する。特に値「ｃｏｎｔｅｘｔ（ｃｘ＿ｓｅｅ＃＃３）」及び「ｃｏｎｔｅｘｔ（ｔ）」は、「ｃｘ＿ｓｅｅ＃＃３」と呼ばれる第一のコンテキスト及び第二の「真」のコンテキストを指定する。第六行は、該二つのコンテキストが相容れないことを指定する。暗に、ｃｘ＿ｓｅｅ＃＃３は負のコンテキストである。
【００５２】
第七行から第九行は、ｃｘ＿ｓｅｅ＃＃３コンテキストにおける用語「ｍａｎ＃＃５」、「ｐｅｒｓｏｎ＃＃０」、及び「ｓｅｅ＃＃３」のインスタンス化可能性（ｉｎｓｔａｎｔｉａｂｉｌｉｔｙ）を主張している。該見るイベント「ｓｅｅ＃＃３」は「ｔ」コンテキストにおいてインスタンス化不可（ｕｎｉｎｓｔａｎｔｉａｂｌｅ）であると主張されている。１１行から１３行は、ＷｏｒｄＮｅｔ同義語集合のリストを定数「ｍａｎ＃＃５」、「ｐｅｒｓｏｎ＃＃０」、及び「ｓｅｅ＃＃３」と結び付ける事実を含んでいる。多様な他の実施形態では、他の存在論が、本発明の精神または範囲から逸脱することなく使用できる。
【００５３】
図１０は、第二の例示的な文(Nobody saw a man with a telescope.)である。第二の例示的な文は、二つの読取値が可能であるため、曖昧である。したがって、一つの読取値は、誰も望遠鏡を持っていた男を見なかったとなる可能性がある。第二の読取値は、誰も望遠鏡を通して人を見なかったである。
【００５４】
図１１は、本発明の一態様に従って第二の例示的な文のパック済み知識表現５００を記憶するための例示的なデータ構造である。該パック済み知識表現は上位選択部分５１０と用語部分５２０から構成されている。上位選択部分５１０の値「Ａ１」と「Ａ２」は、文の二つの考えられる異なる読取値を示す。このパック済みの知識表現は、「ｃｘ＿ｓｅｅ＃＃１３」コンテキストでインスタンス化可能（ｉｎｓｔａｎｔｉａｂｌｅ）である「ｔｅｌｅｓｃｏｐｅ（望遠鏡）」用語の存在下では第一の例示的な文のパック済み知識表現とは異なる。「ｔｅｌｅｓｃｏｐｅ（望遠鏡）」用語は第四行から第五行に出現する役割の制限によっても影響を受ける。サブコンセプトは、前述されたようなＷｏｒｄＮｅｔ  ｓｙｎｓｅｔｓに関して説明される。
【００５５】
第一の例示的な文のパック済みの知識表現が、第二の例示的な文のパック済み知識表現を内含するという検出は、ある人物が男を見るイベントがない場合には、ある人物が望遠鏡によって男を見るというさらに特定なイベントもなければ（読取値「Ａ１」）、ある人物が望遠鏡を所有しているさらに特定な男を見るというイベントもない（読取値「Ａ２」）ことに気付くことに基づいている。前述された二つのパックされた知識表現という点では、第二の例示的な文と結び付いたパック済みの知識表現のコンセプト「ｓｅｅ＃＃１３」が第一の例示的な文と結び付いたパック済みの知識表現での対応する「ｓｅｅ＃＃３」コンセプトよりさらに特定的であることを示すことができる。読取値「Ａ１」では、「ｓｅｅ＃＃３」の間不在である「ｓｅｅ＃＃１３」に対する追加の役割制限がある。読取値「Ａ２」では、「ｓｅｅ＃＃１３」での追加の役割はないが、その引数の一つ「ｍａｎ＃＃１５」はそれをさらに特定のコンセプトに制限する追加の役割を有する。これらの特定性関係（「ｓｅｅ＃＃３」のような、あるいはそれよりさらに特定な「ｓｅｅ＃＃１３」、「ｍａｎ＃＃５」のような、あるいはそれよりさらに特定な「ｍａｎ＃＃１５」）から、以下のように結論付けることができる。整合されたコンテキスト「ｃｘ＿ｓｅｅ＃＃３」及び「ｃｘ＿ｓｅｅ＃＃１３」は下方へ単調であり、より一般的なインスタンス化可能性（ｉｎｓｔａｎｔｉａｂｉｌｉｔｙ）がさらに特定のインスタンス化可能性（ｉｎｓｔａｎｔｉａｂｉｌｉｔｙ）を内含することを意味する。したがって「ｃｘ＿ｓｅｅ＃＃１３」に対するすべてのインスタンス化可能性（ｉｎｓｔａｎｔｉａｂｉｌｉｔｙ）要求は、「ｃｘ＿ｓｅｅ＃＃３」に言及されてもいない「ｔｅｌｅｓｃｏｐｅ＃＃１６」に対する要求も含む、「ｃｘ＿ｓｅｅ＃＃３」でのそれらによって内含される。
【００５６】
対照的に、「ｔ」は（ａ）さらに特定のインスタンス化可能性（ｉｎｓｔａｎｔｉａｂｉｌｉｔｉｅｓ）がさらに一般的なインスタンス化可能性（ｉｎｓｔａｎｔｉａｂｉｌｉｔｉｅｓ）を暗示し、（ｂ）さらに一般的なインスタンス化不可性（ｕｎｉｎｓｔａｎｔｉａｂｉｌｉｔｉｅｓ）がさらに特定のインスタンス化不可性（ｕｎｉｎｓｔａｎｔｉａｂｉｌｉｔｉｅｓ）を暗示する情報へ単調なコンテキストである。このようにして、「ｃｘ＿ｓｅｅ＃＃１３」での「ｓｅｅ＃＃１３」のインスタンス化不可性（ｕｎｉｎｓｔａｎｔｉａｂｉｌｉｔｙ）は「ｃｘ＿ｓｅｅ＃＃３」の「ｓｅｅ＃＃３」のインスタンス化不可性（ｕｎｉｎｓｔａｎｔｉａｂｉｌｉｔｙ）によって内含される。これは、第二の例示的な文に結び付けられたパック済みの知識表現でのすべてのインスタンス化可能性（ｉｎｓｔａｎｔｉａｂｉｌｉｔｙ）とインスタンス化不可性（ｕｎｉｎｓｔａｎｔｉａｂｉｌｉｔｙ）のアサーションが、第一の例示的な文と結び付いたパック済みの知識表現におけるアサーションによって内含されることを意味する。該二つの表現での時間関係は（整合された定数の名称変更以外）同一であり、したがって相互に内含している。したがって、第二の文と結び付けられたパック済みの知識表現のすべては、第一の例示的な文と結び付けられたパックされた知識表現によって内含される。
【００５７】
図１２は、本発明の一つの態様による例示的なコンセプトの重複を視覚化したものである。ｐｒｅｍｉｓｅ＿ｓｋによって表現される例示的なサブコンセプトは用語「５、６、７及び８」のためのｃｏｎｃｌｕｓｉｏｎ＿ｓｋによって表現される例示的なサブコンセプトと重複する。したがって、これらの用語は整合のための候補である。
【００５８】
図１３は、本発明の一態様に従って前提パック済み知識表現７００及び結論パック済み知識表現７００のために整合スコアを記憶するための例示的なデータ構造である。前提パック済み知識表現７００及び結論パック済み知識表現７００のために整合スコアを記憶するための例示的なデータ構造は、用語部分７１０及びスコア部分７２０から構成される。
【００５９】
第一行の用語部分７１０は、値「ｔ」を含み、「真」のコンテキストの整合スコアＣＨＩを示している。スコア部分７２０は値の組「１．０−ｔ」と「０．０−ｃｘ＿ｓｅｅ＃＃３」を含む。これらの値は、前提のパケット知識表現での「真」のコンテキストと結論のパック済み知識表現の「真」のコンテキストの間の高い整合スコアを示す。しかしながら、低い整合スコアは前提のパック済み知識表現知識ｔコンテキストと「ｃｘ＿ｓｅｅ＃＃３」コンテキストの間に示されている。
【００６０】
第五行は、用語部分７１０に値「ｃｘ＿ｓｅｅ＃＃１３」を、スコア部分７２０に値［０．８−ｃｘ＿ｓｅｅ＃＃３］及び「０．０−ｔ」を含む。これは、「ｃｘ＿ｓｅｅ＃＃１３」コンテキストと「ｃｘ＿ｓｅｅ＃＃３」整合の間の整合が好ましいことを示している。コンテキスト整合により、本発明のシステム及び方法は、内含及び矛盾を決定する上で単調性の制約または関係性を利用できるようにする。
【００６１】
第二行は、用語部分７１０の値「ｓｅｅ＃＃１３」および値「１．０−ｓｅｅ＃＃３，０．０−ｐｅｒｓｏｎ＃＃０，０．０−ｍａｎ＃＃５」を含む。これらの値はコンセプト「ｓｅｅ＃＃１３」と「ｓｅｅ＃＃３」の間の等しく好ましい整合を示す。第三行は、コンセプト「ｍａｎ＃＃１５」と［ｐｅｒｓｏｎ＃＃０］と「ｐｅｒｓｏｎ＃＃５」の間の好ましい整合を示し、第四行は「ｐｅｒｓｏｎ＃＃１０」と「ｐｅｒｓｏｎ＃＃０」と「ｍａｎ＃＃５」の間で等しく好ましい整合を示す。第六行は、各整合スコアが「０．５」という例示的な閾値整合スコア値以下であるため、コンセプト「ｔｅｌｅｓｃｏｐｅ＃＃１６」は「ｐｅｒｓｏｎ＃＃０」、「ｍａｎ＃＃５」、または「ｓｅｅ＃＃３」のどれかと合わせられないことを示している。
【００６２】
いくつかの推論の規則は、用語の特定性、単調性、及び存在／インスタンス化可能性（ｉｎｓｔａｎｔｉａｂｉｌｉｔｙ）アサーションに基づいて適用される。例えば、パック済みの書き直し内含及び矛盾規則は以下を認識することに備える。つまり１）ｔｅｒｍ＿ｐがｔｅｒｍ＿ｃよりさらに特定的である場合には、情報単調コンテキストでｔｅｒｍ＿ｃのコンテキストがｔｅｒｍ＿ｐの存在によって内含される。書き直し規則はこの構成を認識し、ｔｅｒｍ＿ｃから存在アサーションを取り除く。このアサーションの除去は、アサーションが前提表現によって内含される場合、それは情報を失うことなく削除できるという事実により刺激を受ける。２）ｔｅｒｍ＿ｐがｔｅｒｍ＿ｃよりさらに特定的ではない場合には、下方単調コンテキストで、ｔｅｒｍ＿ｃの存在がｔｅｒｍ＿ｐの存在によって内含される。書き直し規則はこの構成を認識し、ｔｅｒｍ＿ｃの存在アサーションを取り除く。３）ｔｅｒｍ＿ｐがｔｅｒｍ＿ｃより特定的ではない場合には、上方単調コンテキストで、ｔｅｒｍ＿ｐの非存在がｔｅｒｍ＿ｃの存在に矛盾する。書き直し規則はこの構成を認識し、ｔｅｒｍ＿ｃの存在アサーションを取り除く代わりに、それらは矛盾が発見された旨を示すフラグをセットする。
【００６３】
図１４は、本発明の一態様に従って用語組スコア８００を記憶するための例示的なデータ構造である。用語組スコア８００を記憶するための例示的なデータ構造は指数部分８１０及び組み合わせ部分８２０から構成されている。
【００６４】
用語組スコア８００を記憶するための例示的なデータ構造の第一行は、指数部分８１０に値「１」を、組み合わせ部分に値「ｔ＝ｔ，ｓｅｅ＃＃１３＝ｓｅｅ＃＃３，ｍａｎ＃＃１５＝ｐｅｒｓｏｎ＃＃０，ｐｅｒｓｏｎ＃＃１０＝ｍａｎ＃＃５，ｃｘ＿ｓｅｅ＃＃１３＝ｃｘ＿ｓｅｅ＃＃３，ｔｅｌｅｓｃｏｐｅ＃＃１６＝ＮＵＬＬ」を含む。これは、内含検出のために提案されている組の用語を示している。本発明による多様な例示的な実施形態では、組み合わせは多様な方法によって採点される、またはランク付けされる。例えば、いくつかの実施形態では、質問である結論テキストのフォーマットは該質問に対する回答に最も可能性の高い用語組み合わせの選択を知らせる。
【００６５】
図１５は、本発明の一態様に従ってコンテンツ及びコンテキストが整合されたパック済みの知識表現９００を記憶するための例示的なデータ構造である。コンテンツ及びコンテキストが整合されたパック済みの知識表現９００を記憶するための例示的なデータ構造は、上位選択部分９１０及び用語部分９２０から構成されている。
【００６６】
当初、コンテンツとコンテキストが合わされているパック済み知識表現９００を記憶するための例示的なデータ構造はパック済みの知識表現の和集合から形成される。用語はそれらの起源に関してマークが付けられ、内含規則と矛盾規則が適用される。
【００６７】
内含及び矛盾規則がコンテンツとコンテキストが整合された知識表現９００に適用された後に結論用語が残る場合、内含はユーザに示される。それ以外の場合、内含の欠如はユーザに知らされる。矛盾は同様に検出され、マークを付けられユーザに示される。
【００６８】
図１６は、本発明の一態様による包摂事実の例示的な集合である。該包摂事実１０００の例示的な集合は、上位選択部分１０１０と包摂部分１０２０から構成されている。第一行は上位選択部分１０１０に「Ａ１」を、及び包摂部分１０２０に値「ｍｏｒｅ＿ｓｐｅｃｉｆｉｃ（ｍａｎ＃＃５，ｍｕｔｕａｌ）」を含む。包摂事実は、包摂／特定性関係、序数、インスタンス化可能性（ｉｎｓｔａｎｔｉａｂｉｌｉｔｙ）、空間−時間関係性に基づいてパックされた内含及び矛盾書き直し規則によって決定されるパック済みの内含及び矛盾書き直し規則を適用することによって、包摂事実が決定される。
【００６９】
例えば、包摂／特定性は、コンセプト内含、引数構造からの役割制限、序数等のベースサブコンセプト割り当てを規定する。このようにして、用語「ｍａｎ＃＃５」、「ｐｅｒｓｏｎ＃＃０」、及び「ｓｅｅ＃＃３」は前提と用語が置換された結論の両方で発生する。それらは両方で同等の割り当てを有する。したがって、当初の判定では、用語が相互に包摂する。役割制限はこの初期の評価をさらに精緻化するために使用される。上位選択「ｓｅｅ＃＃３」は、「ｔｅｌｅｓｃｏｐｅ＃１６」とともに追加の結論役割を有する。つまり、「Ａ１」上位選択では、「ｓｅｅ＃＃３」が結論においてさらに特定的であることを意味する。上位レベル選択「Ａ２」に関して、「ｍａｎ＃＃５」は追加の結論役割を有し、それを結論でさらに特定的にする。「ｍａｎ＃＃５」は「Ａ２」「ｓｅｅ＃＃３」も結論でさらに特性的であることを意味する「ｓｅｅ＃３」に対する役割制限である。したがって、すべての包摂及び役割事実は排除され、包摂事実１０００の例示的な集合によって置き換えられる。
【００７０】
次にインスタンス化可能性（ｉｎｓｔａｎｔｉａｂｉｌｉｔｙ）規則は、これらの特定性関係のインスタンス化可能性（ｉｎｓｔａｎｔｉａｂｉｌｉｔｙ）要求での結果を判断するために適用される。コンセプトの上方単調コンテキストの場合、特定コンセプトのインスタンス化可能性（ｉｎｓｔａｎｔｉａｂｉｌｉｔｙ）は、さらに一般的なコンセプトのインスタンス化可能性（ｉｎｓｔａｎｔｉａｂｉｌｉｔｙ）を内含し、一般的なコンセプトのインスタンス化不可性（ｕｎｉｎｓｔａｎｔｉａｂｉｌｉｔｙ）は、より特定のコンセプトのインスタンス化不可性（ｕｎｉｎｓｔａｎｔｉａｂｉｌｉｔｙ）を内含し、特定のコンセプトのインスタンス化可能性（ｉｎｓｔａｎｔｉａｂｉｌｉｔｙ）はより一般的なコンセプトのインスタンス化不可性（ｕｎｉｎｓｔａｎｔｉａｂｉｌｉｔｙ）に矛盾する、及びその逆である。下方単調コンテキストの場合、関係は逆転される。上位コンテキスト「ｔ」は上方への単調である。埋め込まれたコンテキスト「ｃｘ＿ｓｅｅ＃３」は、コンテキスト関係「ない」を介して「ｔ」にリンクされることによって下方単調として認識される。インスタンス化可能性（ｉｎｓｔａｎｔｉａｂｉｌｉｔｙ）関係を符号化する規則は、結論のためにすべてのインスタンス化可能（ｉｎｓｔａｎｔｉａｂｌｅ）及びインスタンス化不可（ｕｎｉｎｓｔａｎｔｉａｂｌｅ）の事実を排除する。すべての結論の事実が排除されたとき、前提は結論を内含する。
【００７１】
図１７は、本発明の一態様に従ってパックされた書き直し規則１１００を記憶するための例示的なデータ構造である。パックされた書き直し規則１１００を記憶するためのデータ構造は、オプションの指数部分１１１０、オプションのタイプ部分１１２０、及び規則部分１１３０から構成されている。
【００７２】
パックされた書き直し規則１１００を記憶するための例示的なデータ構造の第一行は値「１」、「ＳＵＢＳＵＭＰＴＩＯＮ（包摂）」および「Ｑ：ｓｕｂｃｏｎｃｅｐｔ（％Ｓｋ，％ＰＣｏｎｃｅｐｔ）、Ｐ：ｓｕｂｃｏｎｃｅｐｔ（％Ｓｋ，％ＰＣｏｎｃｅｐｔ）、｛％ＱＣｏｎｃｅｐｔ⊂％ＰＣｏｎｃｅｐｔ｝＝＝＞ｐｒｅｌｉｍ＿ｍｏｒｅ＿ｓｐｅｃｉｆｉｃ（％Ｓｋ，Ｐ）」を含んでいる。
【００７３】
オプションの指数部分１１１０の「１」という値は、規則のための人間が読み取り可能なラベルを提供するシステム内の規則の番号を示す。一意の識別子は指数値として使用できる。オプションのタイプ部分１１２０の「ＳＵＢＳＵＭＰＴＩＯＮ（包摂）」値は、規則のカテゴリまたは機能を示す。規則部分１１３０の値は「＝＝＞」インジケータによって分離されるパターンと、アクション部分から構成されている。分離インジケータの左側のパターンが特定されると、セパレータインジケータの右手側にあるアクションが実行される。規則の左手側は、クエリー（Ｑ）内に、関連サブコンセプト％ＱＣｏｎｃｅｐｔを有するとして入力事実によってマークを付けられるコンセプト用語％Ｓｋを探し、前提（Ｐ）内に関連付けられたサブコンセプト％ＰＣｏｎｃｅｐｔを有するとして別の入力事実によってマークされる。％ＱＣｏｎｃｅｐｔが％ＰＣｏｎｃｅｐｔよりさらに特定的であるかどうかを確かめるために試験が行われる。テストが成功すると、二つの一致する入力事実が削除され、新しい事実が出力に追加される：ｐｒｅｌｉｍ＿ｍｏｒｅ＿ｓｐｅｃｉｆｉｃ（％Ｓｋ，Ｐ）。これは、用語％Ｓｋが前提Ｐにおいてより特定的なコンセプトを示すと予め判定されたことを述べている。規則は左側に一致する入力事実のすべての組によって活性化される。
【００７４】
第二行は指数部分１１１０に値「２」を含んでいる。これは、人間がアクセス可能なフォーマットで読み取り可能な規則の分類つまりタイプを示している。第二行のタイプ部分は、値「ＳＵＢＳＵＭＰＴＩＯＮ（包摂）」を含んでいる。規則部分１１３０は、値「Ｑ：ｓｕｂｃｏｎｃｅｐｔ（％Ｓｋ，％ＱＣｏｎｃｅｐｔ）、Ｐ：ｓｕｂｃｏｎｃｅｐｔ（％Ｓｋ，％ＰＣｏｎｃｅｐｔ）｛％ＱＣｏｎｃｅｐｔ＝％ＰＣｏｎｃｅｐｔ｝＝＝＞ｐｒｅｌｉｍ＿ｍｏｒｅ＿ｓｐｅｃｉｆｉｃ（％Ｓｋ，ｍｕｔｕａｌ）」を含んでいる。規則の左側は、なんらかの用語％Ｓｋが同じコンセプト(%ＱＣｏｎｃｅｐｔ＝％ＰＣｏｎｃｅｐｔ)と結び付けられ、Ｑｕｅｒｙ（クエリー）とＰｒｅｍｉｓｅ（前提）の両方であり、事実を、用語がクエリーと節で相互に特定のコンセプトを示すというアサーションで置き換える入力事実を探す。
【００７５】
第三行は、指数部１１１０に、人間が読み取り可能な規則の基準番号を示す値「３」を含んでいる。タイプ部分は、規則が、パック済み知識表現における役割制限に影響を及ぼすある種の規則として分類されることを示す値「ＲＯＬＥ  ＲＥＳＴＲＩＣＴＩＯＮ（役割制限）」を含んでいる。規則部分１１３０は値「ｐｒｅｌｉｍ＿ｍｏｒｅ＿ｓｐｅｃｉｆｉｃ（％Ｓｋ，％ＰＭ）、｛ｍｅｍｂｅｒ（％ＰＭ，［Ｐ，ｍｕｔｕａｌ］）、Ｐ：ｒｏｌｅ（％，％Ｓｋ，％）、――Ｑ：ｒｏｌｅ（％，％Ｓｋ，％）＝＝＞ｍｏｒｅ＿ｓｐｅｃｉｆｉｃ（％Ｓｋ，Ｐ）」を含む。これは、（ｉ）相互にまたは前提においてのどちらかで前もってさらに特定的であるとすでに判定され、（ｉｉ）前提においてなんらかの追加の役割制限事実を有するが、（ｉｉｉ）クエリーには役割制限事実を有さない用語％Ｓｋと一致する。規則の左側が一致すると、用語が前提においてさらに特定であることをアサートする事実が追加され、特定性の予備判定が削除される。
【００７６】
第四行は、指数部分１１１０に、人間が読み取り可能な規則の基準番号を示す値「４」を含んでいる。タイプ部分は、規則がパック済み知識表現における役割制限に影響を及ぼすある種の規則として分類されることを示す値「ＲＯＬＥ  ＲＥＳＴＲＩＣＴＩＯＮ（役割制限）」を含む。規則部分１１３０は、値「ｐｒｅｌｉｍ＿ｍｏｒｅ＿ｓｐｅｃｉｆｉｃ（％Ｓｋ，Ｐ）――Ｐ：ｒｏｌｅ（％，％Ｓｋ，％）Ｑ：ｒｏｌｅ（％，％Ｓｋ，％）＝＝＞０」を含んでいる。これは、用語％Ｓｋが前もって前提においてさらに特定的であると判定され、％Ｓｋが前提において役割制限がないが、それがクエリーにおいてなんらかの役割制限を確かに有していると述べる事実に一致する。このような状態だから、％Ｓｋがさらに特定的なのか、あまり特定的ではないのか、あるいは前提またはクエリーにおいて等しく特定的なのかについて判定を下すことができない。ｐｒｅｌｉｍ＿ｍｏｒｅ＿ｓｐｅｃｉｆｉｃ（％Ｓｋ，Ｐ）及びＱ：ｒｏｌｅ（％，％Ｓｋ，％）事実が入力から削除され、その代わりに何も追加されない。
【００７７】
第五行は、指数部１１１０に人間が読み取り可能な規則の基準番号を示す値「５」を含んでいる。タイプ部分は規則がパック済み知識表現においてインスタンス化に影響を及ぼすある種の規則として分類されることを示す値「ＩＮＳＴＡＮＴＩＡＴＩＯＮ（インスタンス化）」を含んでいる。規則部分１１３０は、値「ｍｏｒｅ＿ｓｐｅｃｉｆｉｃ（％Ｓｋ，Ｐ）、Ｐ：ｉｎｓｔａｎｔｉａｂｌｅ（％Ｓｋ，％Ｃｔｘ），Ｑ：ｉｎｓｔａｎｔｉａｂｌｅ（％Ｓｋ，％Ｃｔｘ）＝＝＞０」を含んでいる。これは、前提においてさらに特定的であり、前提とクエリーの両方でコンテキスト％Ｃｔｘにおいてインスタンス化可能（ｉｎｓｔａｎｔｉａｂｌｅ）であるとしてマークが付けられる用語％Ｓｋに一致する。前提におけるさらに特定的なコンセプトのインスタンス化可能性（ｉｎｓｔａｎｔｉａｂｉｌｉｔｙ）は、クエリーにおけるさらに一般的なコンセプトのインスタンス化可能性（ｉｎｓｔａｎｔｉａｂｉｌｉｔｙ）を内含し、したがってクエリーのインスタンス化可能性（ｉｎｓｔａｎｔｉａｂｌｉｔｙ）事実は内含されているとして削除できる。
【００７８】
第六行は、指数部分１１１０に、人間が読み取り可能な規則の基準番号を示す値「６」を含んでいる。タイプ部分は、規則がパック済み知識表現におけるインスタンス化に影響を及ぼすある種の規則として分類されていることを示す値「ＩＮＳＴＡＮＴＩＡＴＩＯＮ（インスタンス化）」を含む。規則部分１１３０は値「ｍｏｒｅ＿ｓｐｅｉｆｉｃ（％Ｓｋ，Ｐ）、Ｐ：ｉｎｓｔａｎｔｉａｂｌｅ(%Ｓｋ，％Ｃｔｘ)、Ｑ：ｕｎｉｎｓｔａｎｔｉａｂｌｅ（％Ｓｋ，％Ｃｔｘ）＝＝＞ｃｏｎｔｒａｄｉｃｔｉｏｎ（矛盾）」を含んでいる。用語％Ｓｋは前提においてさらに特定であり、前提のコンテキスト％Ｃｔｘでインスタンス化可能（ｉｎｓｔａｎｔｉａｂｌｅ）であるが、クエリーの％Ｃｔｘでインスタンス化不可（ｕｎｉｎｓｔａｎｔｉａｂｌｅ）である。これは矛盾を示し、これは出力に新しい「矛盾」事実を追加することによりフラグを立てられる。
【００７９】
第七行は、指数部分１１１０に、人間が読み取り可能な規則の基準番号を示す値「７」を含んでいる。タイプ部分は、規則がパック済み知識表現におけるクリーンアップ処理に影響を及ぼすある種の規則として分類されることを示す値「ＣＬＥＡＮＵＰ（クリーンアップ）」を含んでいる。規則部分１１３０は、値「Ｑ：％Ｆａｃｔ、Ｐ：％Ｆａｃｔ＝＝＞０」を含んでいる。この値は、特定性及びインスタンス化可能性（ｉｎｓｔａｎｔｉａｂｉｌｉｔｙ）を通した内含及び矛盾が決定された後に適用する。この段階で、同じ事実がクエリーと前提の両方で発生する場合は、クエリー事実はおそらく内含されたとして削除できる。クエリー事実が実際に内含されていない場合には、クエリーが前提によって内含されるとして図らずも判定されることにならないことを保証するために、コンセプトの特定性及びインスタンス化可能性（ｉｎｓｔａｎｔａｉｂｉｌｉｔｙ）についていくつかの残りのクエリー事実があるであろう。
【００８０】
第八行は、指数部分１１０に、人間が読み取り可能な規則の基準番号を示す値「８」を含んでいる。タイプ部分は、規則がパック済み規則表現においてクリーンアップ処理に影響を及ぼすある種の規則として分類されることを示す値「ＣＬＥＡＮＵＰ」を含んでいる。規則部分１１３０は、値「Ｑ：ｉｎ＿ｃｏｎｔｅｘｔ（％Ｃ１，％Ｆａｃｔ）Ｐ：ｉｎ＿ｃｏｎｔｅｘｔ（％Ｃ２，％Ｆａｃｔ）ａｎｔｉ＿ｖｅｒｉｄｉｃａｌ（％Ｃ１，％Ｃ２）＝＝＞ｃｏｎｔｒａｄｉｃｔｉｏｎ（矛盾）」を含んでいる。これは、前提とクエリーで同一の事実を検出するが、それらの事実が矛盾する（真実ではない（ａｎｔｉ−ｖｅｒｉｄｉｃａｌ））コンテキストに当てはまるとアサートされる。このようなケースでは「矛盾」事実が出力に加えられる。
【００８１】
前記に描かれている規則は、内含及び矛盾を検出するために定義され、適用できるであろう規則のさらに幅広い集合の例である。
【００８２】
内含及び矛盾検出システム１００の多様な実施形態では、前記に概略された回路５から５０のそれぞれは、適切にプログラミングされた汎用コンピュータの部分として実現できる。代わりに、前記に概略された内含及び矛盾検出システム１００の５から５０はＡＳＩＣ内の物理的に別個のハードウェア回路として、あるいはＦＰＧＡ、ＰＤＬ、ＰＬＡまたはＰＡＬを使用して、あるいは離散論理素子または離散回路素子を使用して実現できる。前記に概略された内含及び矛盾検出システム１００の回路５から５０のそれぞれが採る特定の形は設計の選択肢であり、当業者にとって自明且つ予測可能である。
【００８３】
さらに、内含及び矛盾検出システム１００及び／または前述された多様な回路のそれぞれは、それぞれプログラミングされた汎用コンピュータ、特殊目的コンピュータ、マイクロプロセッサ等で実行するソフトウェアルーチン、マネージャまたはオブジェクトとして実現できる。この場合、内含及び矛盾検出システム１００及び／または前述された多様な回路のそれぞれは、それぞれ、通信ネットワークに埋め込まれた１つまたは複数のルーチンとして、サーバ上に常駐するリソースとして等、実現できる。内含及び矛盾検出システム１００及び前述された多様な回路は、内含及び矛盾検出システム１００を、ウェブサーバまたはクライアントデバイスのハードウェアシステム及びソフトウェアシステム等のソフトウェア及び／またはハードウェアシステムの中に内含及び矛盾検出システム１００を物理的に組み込むことによっても実現できる。
【００８４】
図７に示されるように、メモリ１５及び内含及び矛盾規則メモリ４０は、改変可能、揮発性、あるいは不揮発性のメモリ、あるいは改変不可つまり固定メモリの任意の適切な組み合わせを使用して実現できる。該改変可能なメモリは、揮発性であるのか、あるいは不揮発性であるのかに関係なく、スタティックＲＡＭまたはダイナミックＲＡＭ、フロッピー（登録商標）ディスク及びディスクドライブ、書き込み可能または再書き込み可能な光ディスク及びディスクドライブ、ハードドライブ、フラッシュメモリ等の１つまたは複数を使用して実現できる。同様に、改変不可つまり固定メモリはＲＯＭ、ＰＲＯＭ、ＥＰＲＯＭ、ＥＥＰＲＯＭ、ＣＤ−ＲＯＭまたはＤＶＤ−ＲＯＭディスク等の光ＲＯＭディスク、及びディスクドライブ等のどれか１つまたは複数を使用して実現できる。
【００８５】
図１及び図７に示されている通信リンク９９はそれぞれ、直接ケーブル接続、広域ネットワークまたはローカルエリアネットワーク上での接続、イントラネット上での接続、インターネット上での接続、または任意の他の分散処理ネットワークまたはシステム上での接続を含む、通信装置を内含及び矛盾検出システム１００に接続するための任意の公知のあるいは後に開発される装置またはシステムである場合がある。一般的には、通信リンク９９は、装置を接続し、通信を容易にするために使用可能な任意の公知のまたは後に開発される接続システムまたは構造である場合がある。
【００８６】
さらに、通信リンク９９がネットワークに対する有線または無線リンクである場合があることが理解されなければならない。該ネットワークはローカルエリアネットワーク、広域ネットワーク、イントラネット、インターネット、または任意の他の分散処理記憶ネットワークである場合がある。
【００８７】
本発明は前記に概略された例示的な実施形態に関連して説明されてきたが、多くの代替策、変型及び変形が当業者に明らかとなることは明らかである。したがって、前述されたような本発明の例示的な実施形態は、制限的ではなく、例示的であることが意図される。多様な変更は本発明の精神及び範囲を逸脱することなく加えられてよい。
【図面の簡単な説明】
【００８８】
【図１】本発明による内含及び矛盾検出システムの例示的な概要を示す。
【図２】内含を検出するための例示的な方法、及び本発明による検出のフローチャートである。
【図３】本発明の一態様に従ってコンセプト整合のための方法の展開フローチャートである。
【図４】本発明の一態様に従って、考えられる用語の組み合わせの集合を選択するための例示的な第一の展開フローチャートである。
【図５】本発明の一態様に従って、考えられる用語の組み合わせの集合を選択するための例示的な第二の展開フローチャートである。
【図６】本発明の一態様に従って、内含及び矛盾を検出する例示的な方法のフローチャートである。
【図７】本発明の一態様に従って内含及び矛盾を検出するための例示的なシステムである。
【図８】例示的な第一の文である。
【図９】本発明の一態様に従って第一の例示的な文のパックされた知識表現を記憶するための例示的なデータ構造である。
【図１０】第二の例示的な文である。
【図１１】本発明の一態様に従って第二の例示的な文のパックされた知識表現を記憶するための例示的なデータ構造である。
【図１２】本発明の一態様による例示的なコンセプト重複の視覚化である。
【図１３】本発明の一態様によって前提のパックされた知識表現と、結論のパックされた知識表現について整合スコアを記憶するための例示的なデータ構造である。
【図１４】本発明の一態様に従って用語組スコアを記憶するための例示的なデータ構造である。
【図１５】本発明の一態様に従ってコンテンツ及びコンテキストが整合された、パック知識表現を記憶するための例示的なデータ構造である。
【図１６】本発明の一態様による包摂事実の例示的な集合である。
【図１７】本発明の一態様に従ってパックされた書き直し規則を記憶するための例示的なデータ構造である。
【符号の説明】
【００８９】
１００  内含及び矛盾検出システム
３０    コンセプト整合回路またはマネージャ
４０    内含及び矛盾規則メモリ
４５    内含及び矛盾検出回路またはマネージャ
【図１】
0005121296.tif 000002
【図２】
0005121296.tif 000003
【図３】
0005121296.tif 000004
【図４】
0005121296.tif 000005
【図５】
0005121296.tif 000006
【図６】
0005121296.tif 000007
【図７】
0005121296.tif 000008
【図８】
0005121296.tif 000009
【図９】
0005121296.tif 000010
【図１０】
0005121296.tif 000011
【図１１】
0005121296.tif 000012
【図１２】
0005121296.tif 000013
【図１３】
0005121296.tif 000014
【図１４】
0005121296.tif 000015
【図１５】
0005121296.tif 000016
【図１６】
0005121296.tif 000017
【図１７】
0005121296.tif 000018