(57)【要約】【課題】構文法上及び意味論上の曖昧さを管理する技術を提供する。【解決手段】構文法上及び意味論上の曖昧さを管理する方法は、２つの異なる種類の処理及び曖昧さの表現方法を共に機能させることを可能にする。この技術は、線形論理意味論アセンブリと、パック機能（ｆ）構造とを共に機能させ、意味論上の寄与分が、パック機能（ｆ）構造及び適切な文脈が前に付加された機能（ｆ）構造から読まれる、文脈化された版の線形論理を提供する。そして、線形論理の論法を文脈化した線形論理に実行でき、これにより、パック機能（ｆ）構造からの文脈化された寄与分から可能な意味を導出する。文脈化線形論理における推定は、各構文法上のパーズを完全に展開することを必要としない。骨組／修飾句技法を文脈論法に適用する技法は、特定の構文法上の読み方のみに適用可能な文脈化した修飾句を生成することにより提供される。これらの技法は、可能な場合には、効率的な骨組／修飾句表現を使う表現法における、量化範囲曖昧さ及び連結曖昧さの両方を認識し、層でない場合には、文脈化表現を認識する。【選択図】図１
2004199699.tif 000002
【特許請求の範囲】
【請求項１】
基本論理を、追加の文脈論理によって、文脈化する方法であって、
文脈定則を、標識付けされた又は標識付けされていない基本論理定則と対にするステップと、
同値を適用し、文脈を基本論理の項及び定則を通じて移動させるステップと、
証明規則及び同値を適用し、文脈間の複数の基本論理導出を単一の文脈化された導出にまとめるステップと、
を含む方法。
【請求項２】
パックされた構文法上の解釈から導出される１組の前提から効率的に曖昧な意味を組立てる方法であって、
各前提に対して、構文法上の源を標識付けする文脈に基づき、文脈を決定するステップと、
請求項１の方法及び文脈化論理に適合された表計算定理証明装置を使い、文脈化導出を実行するステップと、
を含む、方法。
【請求項３】
パックされた構文法上の解釈から導出される１組の前提から効率的に曖昧な意味を組立てる方法であって、
各前提に対して、構文法上の源を標識付けする文脈に基づき、文脈を決定するステップと、
文脈化した生成項から、論理同値に基づいて第１の導出を決定するステップと、
第１の組の生成に対する前記第１の導出に基づき、文脈化修飾句導出を決定するステップと、
第２の組の生成に対する前記第１の導出に基づき、文脈化修飾句導出を決定するステップと、
を含む、方法。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、自然言語中の語句の意味を、構文法上の曖昧さ及び意味論の範囲上の曖昧さの両方を表現できるように、効率的に組立てることに関する。
【背景技術】
【０００２】
単一の文章に対して、何千という構文法上の解釈が存在し得る。同様に、各構文法上の解釈に対して、何万という意味論上の解釈が存在し得る。よって、構文法上及び意味論上の曖昧さの組合わせにより、１つの文章に関する可能な読み方の数が、指数関数的に増加する。人間は、これらの文章の読み方のうちの多くを、無意識に取り除いている。しかしながら、機械に基づくシステムは、この取り除き機能を実行できない。この代わりに、機械に基づくシステムは、構文法上及び意味論上の曖昧さを明示的に表現し、指数関数的に大きな数の組合わせを列挙する必要が無く、効率的な処理を可能にする、なんらかの表現技法を有する必要がある。
【０００３】
語彙機能文法（Ｌｅｘｉｃａｌ  Ｆｕｎｃｔｉｏｎａｌ  Ｇｒａｍｍａｒ）は、機能構造又はｆ構造（ｆ−ｓｔｒｕｃｔｕｒｅ）と呼ばれる構文法上の構造を使い、個々の構文法上の解釈を表す。ゼロックス言語環境（Ｘｅｒｏｘ  Ｌａｎｇｕａｇｅ  Ｅｎｖｉｒｏｎｍｅｎｔ）においては、構文法上の曖昧さは、文脈変数を組込み、異なる解釈間で共通の副構造がどのように共有されているかを示すことにより、パックｆ構造（ｐａｃｋｅｄ  ｆ−ｓｔｒｕｃｔｕｒｅ）と呼ばれる単一の構文法上の構造内に捕らえられる。ゼロックス言語環境は、パックｆ構造を使い、語彙上及び連結構文法上の曖昧さを捕らえる。
【０００４】
しかしながら、ｆ構造及びパックｆ構造のどちらも、意味論上の量化範囲の曖昧さなどの意味論上の情報又は意味論上の曖昧さを表さない。したがって、ｆ構造から意味論上の情報の表現を導出するために、線形論理意味アセンブリ（リニアロジックミーニングアセンブリ：Ｌｉｎｅａｒ  Ｌｏｇｉｃ  Ｍｅａｎｉｎｇ  Ａｓｓｅｍｂｌｙ）又はグルー意味論（Ｇｌｕｅ  Ｓｅｍａｎｔｉｃｓ）と呼ばれる技術が開発された。ｆ構造中の副構造が、線形論理内の単語の意味と定則とを対にする前提（プレミス：ｐｒｅｍｉｓｅ）を与える。線形論理推定処理は、これらの前提を組合わせ、文章の意味をｆ構造と対にする。線形論理意味アセンブリは、量化範囲の曖昧さ及び／又は他の種類の意味論上の曖昧さを示す、文章の単一の構文法上の解釈を構成する、単一のｆ構造から、代替の意味を導出することができる。これに加え、線形論理意味アセンブリは、文章の単一の構文法上の解釈を構成する単一のｆ構造から、全ての可能な意味の、単一の、効率的な骨組−修飾句（ｓｋｅｌｅｔｏｎ−ｍｏｄｉｆｉｅｒ）の表現を導出するために使うこともできる。
【０００５】
【特許文献１】米国特許第５，４３８，５１１号明細書
【特許文献２】米国特許第５，７２７，２２２号明細書
【特許文献３】米国特許第５，８１９，２１０号明細書
【特許文献４】米国特許第５，９０３，８６０号明細書
【特許文献５】米国特許第６，０６４，９５３号明細書
【発明の開示】
【発明が解決しようとする課題】
【０００６】
しかしながら、量化範囲及び意味論上の曖昧さを表すために使われる方法は、構文法上の曖昧さを表すために使われる方法とは異なる特徴を使う。したがって、これらの方法は、全ての可能な構文法上の曖昧さと全ての可能な意味論上の曖昧さとの組合わせを表す、単一の効率的な意味論上の表現法の導出に繋がらない。したがって、与えられた文章に対して、２つの表現構造が必要とされる。１つの表現構造は、全ての可能な構文法上の曖昧さを表すために必要であり、もう１つの表現構造は、全ての意味論上の曖昧さを表すために必要である。
【課題を解決するための手段】
【０００７】
したがって、線形論理意味アセンブリの意味論上の解釈を、構文法上の解釈のパック機能又はｆ構造と共に機能させることが有利である。同様に、パック機能又はｆ構造の構文法上の連結曖昧さを線形論理によって表現可能な種類の曖昧さに変形させる技術もまた、有効である。
【０００８】
本発明による、様々な例示の実施の形態は、文脈を含む形の線形論理を採用することにより、線形論理意味アセンブリの意味論上の解釈を、パック機能又はｆ構造と共に機能させることを可能にする。パックｆ構造内の副構造によって寄与される線形論理の前提には、パックｆ構造からの文脈変数が、前に付加される。その後、文脈を含む線形論理において線形論理解釈が行われ、適切な文脈が前に付加された寄与分から、可能な意味が導出される。したがって、パック機能又はｆ構造を、文脈を含む線形論理に変形させることにより、表現法は、パック機能又はｆ構造を保ちつつ共有された文脈を含む構造を有する命題をサポートする。よって、文脈を含む線形論理を使った推定は、各構文法上のパーズを完全に展開することを必要としない。
【０００９】
これに加え、文脈を含む線形論理から、各修飾句タイプの意味論上の寄与分を推定し、これを更なる処理から取り除いて、特定の構文法上の読み方にのみ適用可能な、文脈を含む修飾句を生成することにより、曖昧さの骨組／修飾句表現を導出できる。この方法は、可能な場合に効率的な骨組／修飾句表現法を使い、その他の場合には文脈を含む表現法を使う、曖昧さの表現法において、量化範囲の曖昧さ及び連結曖昧さを提供する。
【発明を実施するための最良の形態】
【００１０】
曖昧さは、自然言語の至る所で発生し、構文法上の原因及び意味論上の原因の両方から発生し得る。単一の文章には、何千という構文法上の解釈が存在し、何万という意味論上の解釈が存在する場合がある。共有される解釈は、共通及び共有される副解釈が異なる形で組合わされることにより発生する。
【００１１】
一旦、共有の副解釈を算出し、その後、文脈変数を使って、共有副単位の異なる可能な組合わせを示すことによって、構文法上の曖昧さを管理する方法が、米国特許第５，４３８，５１１号明細書、第５，７２７，２２２号明細書、第５，８１９，２１０号明細書、第５，９０３，８６０号明細書、及び第６，０６４，９５３号明細書に記載され、これらの文献の全体をここに援用する。
【００１２】
例えば、文章「Ｅｄ  ｓｅｅｓ  ｔｈｅ  ｆｏｒｍｅｒ  ｓｅｎａｔｏｒ  ｗｉｔｈ  ｔｈｅ  ｔｅｌｅｓｃｏｐｅ」は、２つの構文法上の解釈を含む。第１の場合、前置詞句「ｗｉｔｈ  ｔｈｅ  ｔｅｌｅｓｃｏｐｅ」が、名詞句「ｔｈｅ  ｆｏｒｍｅｒ  ｓｅｎｅｔｏｒ」を修飾し、元議員が望遠鏡を持っていることを示す。この解釈は、図１の成分又はｃ構造に示され、図２の機能又はｆ構造に示される。
【００１３】
第２の場合、前置詞句「ｗｉｔｈ  ｔｈｅ  ｔｅｌｅｓｃｏｐｅ」が、動詞句「ｓｅｅｓ  ｔｈｅ  ｆｏｒｍｅｒ  ｓｅｎａｔｏｒ」を修飾し、エドが、望遠鏡を通じて元議員を見ていることを示す。これは、図３の成分構造及び図４の機能構造に示される。共有される副単位又は句「ｗｉｔｈ  ｔｈｅ  ｔｅｌｅｓｃｏｐｅ」、「ｔｈｅ  ｆｏｒｍｅｒ  ｓｅｎａｔｏｒ」、及び「Ｅｄ  ｓｅｅｓ．．．」は、両方の場合において、同じように解釈される。
【００１４】
図５に、文脈情報を組み入れて、これらの２つの解釈を単一のパック機能構造によって表現することを可能にした、例示パック機能構造又はパックｆ構造を示す。パック機能構造とは、２つの相互排除的及び網羅的な文脈変数ａ：１及びａ：２を意味する。すなわち、ａ：１又はａ：２のうち、正確に１つが真である。もし、ａ：１が真であるならば、文脈は、前置詞句１０「ｗｉｔｈ  ｔｈｅ  ｔｅｌｅｓｃｏｐｅ」が句２「Ｅｄ  ｓｅｅｓ  ｔｈｅ  ｆｏｒｍｅｒ  ｓｅｎａｔｏｒ」を修飾する又はこれの付属句である文脈である。文脈ａ：２においては、前置詞句１０「ｗｉｔｈ  ｔｈｅ  ｔｅｌｅｓｃｏｐｅ」が句６「ｔｈｅ  ｆｏｒｍｅｒ  ｓｅｎａｔｏｒ」を修飾する。
【００１５】
構文法上の曖昧さに加え、この例文はまた、意味論上の曖昧さも含む。例えば、文脈変数ａ：１によって特定される文脈に関して、句「ｔｈｅ  ｆｏｒｍｅｒ  ｓｅｎａｔｏｒ」は、句「ｗｉｔｈ  ｔｈｅ  ｔｅｌｅｓｃｏｐｅ」によって修飾される。この文章は、ａ）現在望遠鏡を持っている、元議員、又はｂ）元の、望遠鏡を持った議員であり、現在は望遠鏡を持っていないか議員でないかのいずれかである、のどちらの意味にもとれる。２つの意味論上の曖昧さは、２つの修飾句の異なる意味論上の範囲、すなわち、１）「ｆｏｒｍｅｒ」及び２）「ｗｉｔｈ  ｔｈｅ  ｔｅｌｅｓｃｏｐｅ」、に起因する。２つの可能性は、機能構造内、パック機能構造内、又は成分構造内では表現されない。
【００１６】
線形論理の一部を使い、単語及び句の意味を組立て、様々な意味論上の範囲の可能性を表現するようにできる。ヴィニート・グプタ及びジョーン・ランピング（Ｖｉｎｅｅｔ  Ｇｕｐｔａ  ａｎｄ  Ｊｏｈｎ  Ｌａｍｐｉｎｇ）によるＰｒｏｃ．ＣＯＬＩＮＧ−ＡＣＬ  ９８，Ｍｏｎｔｒｅａｌ，Ｃａｎａｄａ，Ａｕｇｕｓｔ  １０−１４，１９９８の「”Ｅｆｆｉｃｉｅｎｔ  Ｌｉｎｅａｒ  Ｌｏｇｉｃ  Ｍｅａｎｉｎｇ  Ａｓｓｅｍｂｌｙ”」には、範囲の可能性の小型の表現をどのように効率的に算出できるか、が示されている。
【００１７】
しかしながら、上述の従来のシステム及び方法は、図２及び図４に示すような、パックされていない、構文法上曖昧な機能構造のみに適用できる。よって、上述の従来のシステム及び方法においては、図４に示す単語には、以下の意味構成要素が割り当てられる。
Ｅｄ              ：ｓ（０）
Ｓｅｎａｔｏｒ    ：ｓ（４）
ｓｅｅ            ：ｓ（０）  −ｏ  ｓ（４）  −ｏ  ｓ（２）
Ｔｅｌｅｓｃｏｐｅ：ｓ（１２）
ｆｏｒｍｅｒ      ：ｓ（４）  −ｏ  ｓ（４）
Ｗｉｔｈ          ：ｓ（１２）  −ｏ  ｓ（４）  −ｏ  ｓ（４）
表  １
【００１８】
意味構成要素は、表１において、コロンの左側の部分と、コロンの右側の部分と、から成る。左辺部は、意味言語中の表現法である。右辺部は、左辺部の意味言語中の表現を表す、線形論理定則である。例えば、原子的な命題、ｓ（０）、ｓ（２）、及びｓ（４）は、機能構造中のこの数値にあたるノードによる意味論上の寄与分を表し、記号「−ｏ」は、線形の含意を表す。
【００１９】
よって、項目「Ｅｄ：ｓ（０）」は、ノード０が意味「Ｅｄ」に寄与することを示す。項目「ｓｅｎａｔｏｒ：ｓ（４）」は、ノード４が意味「ｓｅｎａｔｏｒ」に寄与することを示す。項目「ｓｅｅ：ｓ（０）  −ｏ  ｓ（４）  −ｏ  ｓ（２）」は、動詞「ｓｅｅ」が、「Ｅｄ」ノード０の語義又は意味を消費し、「ｓｅｎａｔｏｒ」ノード４の語義を消費して、ノード２の意味を生成することを示す。特に、「Ｅｄ」ノード０及び「ｓｅｎａｔｏｒ」ノード４の寄与分が、述語「ｓｅｅ」ノード２の文法項を提供する。項目「ｔｅｌｅｓｃｏｐｅ：ｓ（１２）」は、ノード１２が意味「ｔｅｌｅｓｃｏｐｅ」に寄与することを示す。項目「ｆｏｒｍｅｒ：ｓ（４）  −ｏ  ｓ（４）」は、形容詞「ｆｏｒｍｅｒ」が、ノード４の意味を受けて、ノード４の、新しい、更新された意味を生成することを示す。
【００２０】
従来の線形論理意味アセンブリでは、文章の意味の算出は、（ａ）上述の６つの意味構成要素を取得し、（ｂ）文章レベルのｆ構造ノード２の意味論上の寄与分であるｓ（２）を結論付けることを目的とする線形論理導出への前提として、構成要素の右辺の線形論理を使い、（ｃ）カリーハワード同形（Ｃｕｒｒｙ−Ｈｏｗａｒｄ  ｉｓｏｍｏｒｐｈｉｓｍ）を線形論理導出に適用して、構成要素の右辺の意味表現を組合わせて、結論ｓ（２）のための意味表現を組立てる、ことにより進められる。この例では、標準カリーハワード同形によれば意味項の機能適用に対応する、構成的仮言三段論法（Ｍｏｄｕｓ  Ｐｏｎｅｎｓ）と呼ばれる推理の規則のみを考慮する必要がある。
【００２１】
推理の規則は、
Ａ：ａ    Ｂ：ａ−ｏｂ      ａから及びａはｂを暗示する
結論
Ｂ（Ａ）：ｂ                ｂ（及び「ａはｂを暗示する」の意味を
ａの意味に適用する）
【００２２】
この規則を適用することにより、以下の２つの個別な導出が得られる。
【００２３】
導出１：
【数１】
2004199699.tif 000003
【００２４】
したがって、導出１は、ｓ（２）に関して、以下の意味を算出する：
ｓｅｅ（Ｅｄ，ｆｏｒｍｅｒ（ｗｉｔｈ（ｔｅｌｅｓｃｏｐｅ，ｓｅｎａｔｏｒ）））。
【００２５】
導出２：
【数２】
2004199699.tif 000004
【００２６】
よって、導出２は、ｓ（２）に関して、以下の意味を算出する：
ｓｅｅ（Ｅｄ，ｗｉｔｈ（ｔｅｌｅｓｃｏｐｅ，ｆｏｒｍｅｒ（ｓｅｎａｔｏｒ）））。
【００２７】
範囲の曖昧さを表す方法は、上述の導出１及び２において、以下の共通の修飾句の副導出が存在することに注目することからはじまる。
（a)former        :s(4) −o s(4)
（b)telescope     :s(12) with:s(12) −o s(4) −o s(4)

with(telescope):s(4) −o s(4)
【００２８】
よって、２つの導出は、「ｓ（４）  −ｏ  ｓ（４）」の含意を「ｓ（４）」の意味に適用できる異なる順番により生じる。よって、「ａ  −ｏ  ａ」の種類の修飾句がＮ個ある場合、Ｎ！（Ｎ階乗）個の、修飾句を「ａ」に適用する、異なる順番が存在するため、導出の数は指数関数的に増える。
【００２９】
範囲の曖昧さを表す従来の方法は、一連の部分的な導出を行う。部分的な導出のうちのいずれかが、「ａ  −ｏ  ａ」と同等の種類の修飾句を結論付ける場合、この部分導出が片辺に残される。自然に発生する言語の入力のほぼ全ての場合において、この処理により、線形の時間で、文章の修飾されていない中心の意味を表す単一の骨組導出と、この中心の意味に適用できる修飾語を表す１組の修飾語導出と、が得られる。
【００３０】
例えば、導出：
【数３】
2004199699.tif 000005
及び上述の２つの修飾句導出（ａ）及び（ｂ）は、線形の時間で算出できる。次に、２つの修飾句をいずれかの順番で、骨組導出の「ｓｅｎａｔｏｒ：ｓ（４）」副結論の位置に挿入できる。
【００３１】
従来の線形論理意味アセンブリの方法は、パーズの各部が、意味に関してちょうど１回だけ寄与することを確実にするよう注意深く考慮することに基づいていた。しかしながら、パック機能構造の方法においては、パック機能構造のいくつかの部分は、いくつかの意味の読み方にのみ存在する。したがって、量化範囲及び意味論上の曖昧さを表現するために使われた、線形論理意味アセンブリの注意深い考慮システムは、構文法上の曖昧さの語彙及び連結の曖昧さを表すために有効な、パック機能構造では使えない。
【００３２】
したがって、本発明の様々な例示実施形態では、線形論理意味アセンブリ論理がパック機能構造に含まれる情報にアクセスすることを可能にする、効率的な曖昧な意味組立ての方法が提供される。様々な他の例示実施形態においては、骨組及び修飾句の決定が、文脈を含む線形論理に適用され、効率のために、可能な場合において、骨組修飾句表現を使う、量化範囲及び連結の曖昧さの表現を決定する。骨組修飾句表現が可能でない場合、構文法及び意味論上の範囲曖昧さの均一な処理を可能にする、組合わせ表現法内で文脈を含む線形論理表現法が使われる。
【００３３】
図６に、本発明による、文脈を含む線形論理を使った、効率的な曖昧な意味組立ての方法を例示する。処理はステップＳ１０にはじまり、すぐにステップＳ２０に続く。ステップＳ２０において、構文法上の解釈から前提が取得される。ステップＳ２０は、パックｆ構造から前提を取得することのみに制限されないことを理解されたい。このステップは、ヘッド駆動フレーズ構造文法（Ｈｅａｄ−Ｄｒｉｖｅｎ  Ｐｈｒａｓｅ  Ｓｔｒｕｃｔｕｒｅ  Ｇｒａｍｍａｒ）の属性値行列（アスデー及びクラウチ（Ａｓｕｄｅｈ＆Ｃｒｏｕｃｈ）、「”Ｇｌｕｅ  ｓｅｍａｎｔｉｃｓ  ｆｏｒ  ＨＰＳＧ”，ｉｎ  ｏｎ−ｌｉｎｅ  ｐｒｏｃｅｅｄｉｎｇｓ  ｏｆ  ＨＳＰＧ’０１  ｃｏｎｆｅｒｅｎｃｅ，２００２」）、ツリー隣接文法（Ｔｒｅｅ  Ａｄｊｏｉｎｉｎｇ  Ｇｒａｍｍｅｒ）の導出ツリー（フランク＆ヴァンゲナビス（Ｆｒａｎｋ  ＆  ｖａｎ  Ｇｅｎａｂｉｔｈ），「”Ｇｌｕｅ  ＴＡＧ：Ｌｉｎｅａｒ  ｌｏｇｉｃ  ｂａｓｅｄ  ｓｅｍａｎｔｉｃｓ  ｃｏｎｓｔｒｕｃｔｉｏｎ  ｆｏｒ  ＬＴＡＧ”，ｉｎ  ｏｎ−ｌｉｎｅ  ｐｒｏｃｅｅｄｉｎｇｓ  ｏｆ  ＬＦＧ’０１  ｃｏｎｆｅｒｅｎｃｅ，２００１」）、及びＤ−ツリー文法（Ｄ−Ｔｒｅｅ  Ｇｒａｍｍａｒ）（ヘップル（Ｈｅｐｐｌｅ），”Ａ  ｆｕｎｃｔｉｏｎａｌ  ｉｎｔｅｒｐｒｅｔａｔｉｏｎ  ｓｃｈｅｍｅ  ｔｏ  Ｄ−Ｔｒｅｅ  Ｇｒａｍｍａｒｓ”，ｉｎ  Ｐｒｏｃｅｅｄｉｎｇｓ  ３ｒｄ  Ｉｎｔｅｒｎａｔｉｏｎａｌ  Ｗｏｒｋｓｈｏｐ  ｏｎ  Ｃｏｍｐｕｔａｔｉｏｎａｌ  Ｓｅｍａｎｔｉｃｓ，１９９９）、及び、分類及び種類論理文法（Ｃａｔｅｇｏｒｉａｌ  ａｎｄ  Ｔｙｐｅ−Ｌｏｇｉｃａｌ  Ｇｒａｍｍａｒ）の構文法上の導出を含む、線形論理意味アセンブリが適用されてきた又はこれを適用可能な、いずれの他の形の構文法上の表現法にも適用可能である。前提が得られた後、制御はステップＳ３０に進む。
【００３４】
ステップＳ３０において、パック構文法表現から導出される文脈情報が、以下のように各命題に追加される。
（１）命題：：＝文脈：命題
制御は、ステップＳ４０に進む。
【００３５】
ステップＳ４０において、文脈を含むシステムの同値が文脈を含む前提に適用される。文脈を含むシステムが、基本論理と文脈の論理との２つの論理の組合わせであることを理解されたい。大半の現実的な適用法においては、文脈論理は、古典的な命題論理である。しかしながら、基本論理に文脈を含ませる方法は、特定の基本論理システムには依存せず、古典的な命題又は述語論理、直感的な命題又は述語論理、古典的又は直感的な様相論理学、記載論理、又はその他の既知又はこの後に開発される論理システムのいずれかを、本発明によるシステム及び方法の様々な例示実施形態において、基本論理として使うことができる。基本論理が、線形論理の乗法グルー切片であり、文脈論理が古典的な命題論理の場合には、以下の同値及び証明規則が適用される。
【数４】
2004199699.tif 000006
【００３６】
証明規則：
【数５】
2004199699.tif 000007
【００３７】
（３）から（８）の第１の組の同値は、文脈にあるということがどのような意味であるのかを示す基本的な定義を提供する。これらの同値は、命題のみの場合は、全般的な文脈における命題と同じであることを示す。これに加え、文脈及びこの文脈の共通部分を有さない分解部が与えられた場合、文脈内の命題が、各分解部における、この命題の積と同値である。
【００３８】
第２の組の同値は、文脈が連結句を通じて下に浮く（ｆｌｏａｔ  ｄｏｗｎ）ことができることを示す。したがって、文脈の追加は、いずれかの特定の基本論理システムに依存しない。例えば、命題ｃ：（（ｄ：Ａ）−ｏ  Ｂ）は、（ｃ＾ｄ：Ａ）−ｏ（ｃ：Ｂ）と同値である。
【００３９】
古典的な命題又は述語論理、直感的な命題又は述語論理、古典的又は直感的な様相論理学、記載論理、又は他のいずれかの既知の又はこの後に開発される論理システムを本発明の実施に使うことができることを理解されたい。例えば、最上レベルの命題内での定則が与えられると、命題のツリーの中で、これよりも論理的に上の全ての文脈に関連して、命題の文脈が生じる。例示する命題ｃ：（ｄ：Ａ  −ｏ  Ｂ）の場合、Ａは文脈ｃ＾ｄに現れる。共通部分を有さない項を有する定則は、第２の同値規則に基づき、文脈を含む定則の積として扱われることに注目されたい。
【００４０】
文脈を含むシステムの証明規則は、基本論理のための標準の証明規則を、文脈を含むシステムのための証明規則へと持ち上げる。
【００４１】
このシステムの副文脈に関する以下の定理を証明できる。
【００４２】
定則Ｐが、証明Ｇａｍｍａ｜−Ａに現れる時、Ｐが現れる文脈は、ＰがＧａｍｍａ及びＡにおいて現れる文脈のいくつか又は全ての離接である。
【００４３】
証明：証明の大きさに対する帰納法。元の規則は全て、副文脈性質よりも強い副定則の性質を有するので、新しい規則がこの定理を保存することを示すことのみを必要とする。したがって、ここでは、新しい規則の同値を証明できる同値規則を考慮する。
【００４４】
全ての同値は、定則文脈を保存し、したがって、分割同値及び偽同値を除く副文脈性質を保存する。分割同値が右から左へ副文脈を満たすのは自明であり、右に現れる文脈Ｐの離接が左に現れる文脈と全く同じであるため、左から右へも満たす。偽同値は、他の全てを含意する偽文脈にＰが現れるため、この含意を当然に満たす。
【００４５】
縮小：もしＧａｍｍａ｜−Ａであれば、ｃ：Ｇａｍｍａ｜−ｃ：Ａ
【００４６】
証明：証明の大きさに対する帰納法。Ｇａｍｍａ｜−Ａの最終ステップからのｃ：Ｇａｍｍａ｜−ｃ：Ａ及び帰納前件が構築される。
【００４７】
元の証明の最終ステップが、元の規則の１つであれば、新しい証明は、新しい規則を使い、「ｃ：」を元の証明の規則によって取り除かれた連結句の中に移動させることにより構築される。次に、元の証明からの規則が適用される。ここで必要な副証明は全て、帰納前件により、元の証明の副証明に関連するものとなる。
【００４８】
元の証明の最終ステップが新しい規則であった場合、文脈「ｃ」を命題に加えることにより、同じ規則を新しい証明に使うことができる。これは、両辺に文脈を加えることは、同値を保存するからである。ここでも、新しい副証明は、帰納前件により、元の副証明に関連するものとなる。
【００４９】
偽除去：Ｇａｍｍａ｜−Ａの証明が与えられると、偽文脈内で生じる全ての命題を１で置き換えて簡略化した結果もまた、証明である。
【００５０】
証明：これは、均一にいくつかの異なる極小要素を同じ極小要素によって置き換えるということが、証明であることを保存する、という原理及び空虚な１によって簡略化することが証明であることを保存する、という原理の特殊な場合に過ぎない。
【００５１】
拡張：証明全体において、Ｇａｍｍａ｜−Ａ及び証明の全ての極小要素定則が同一の非偽文脈ｃである場合、Ｇａｍｍａ＼ｃ｜−Ａである。ここで、Ｐ＼ｃは、ｃ上の文脈を全体の証明から除去した結果である。
【００５２】
証明：証明内の全ての極小要素数式が同一の非偽文脈ｃに現れる場合、証明は、分割や偽等値又は項分離を使わず、他の同値規則は、定則に影響を及ぼさない。したがって、証明において新しい規則を使うことのいずれも、定則には影響しない。文脈は、証明内の全ての数式から除去できる。同値の両辺が文脈の形式のみにおいて異なっていて、この場合には同一となるため、同値規則は、証明から除去できる。更に、文脈と一致された定則は、文脈が除去されても一致するため、元の規則は正しいままである。
【００５３】
保存拡張：文脈を含むシステムにおいて、Ｇａｍｍａ及びＡが文脈を含まず、Ｇａｍｍａ｜−Ａが証明であるとき、非文脈化システムにおいてＧａｍｍａ｜−Ａの証明が存在する。
【００５４】
証明：文脈を導入することのできる唯一の規則は、分割同値規則である。この規則のいくつかの場合が選択される。規則の使用のうち、非偽の場合「ｃ１」が選択され、縮小定理を使うことにより、証明はｃ１：Ｇａｍｍａ｜−ｃ１：Ａに変換される。ｃ１＾ｃ２が偽であるため、偽除去を使い、分割を取り除くことができる。ここで規則を分割する必要がなくなる。この処理は、全ての分割規則に対して続けられ、ｃ１＾．．．＾ｃｎ：Ｇａｍｍａ｜−ｃ１＾．．．＾ｃｎ：Ａの証明が生成される。ここで、全ての命題は、証明を通じて同一の文脈内にある。拡張定理により、文脈を有さないＧａｍｍａ｜−Ａの証明が得られる。すなわち、非文脈化システムが得られる。
【００５５】
したがって、ステップＳ３０の後に、図５に例示するパック機能又はｆ構造から得られた、文脈を含む線形論理命題に基づき、以下の同値が得られる。
Ｅｄ              ：ｓ（０）
ｓｅｎａｔｏｒ：  ｓ（４）
ｓｅｅ            ：ｓ（０）  −ｏ  ｓ（４）  −ｏ  ｓ（２）
ｔｅｌｅｓｃｏｐｅ：ｓ（１２）
ｆｏｒｍｅｒ      ：ｓ（４）  −ｏ  ｓ（４）
ａ２：    ｗｉｔｈ          ：ｓ（１２）  −ｏ  ｓ（４）  −ｏ  ｓ（４）
ａ１：    ｗｉｔｈ          ：ｓ（１２）  −ｏ  ｓ（２）  −ｏ  ｓ（２）
表  ２
【００５６】
文脈「ａ２」において、項「ｗｉｔｈ」は名詞ｓ（４）を修飾し、文脈「ａ１」において、項「ｗｉｔｈ」は動詞ｓ（２）を修飾することに注目されたい。また、
ａ１∨ａ２＝真  及び
ａ１∧ａ２＝偽
であることにも注目されたい。
【００５７】
等式の連続した適用により、ステージ１２−１４が以下のように得られる。
【数６】
2004199699.tif 000008
【００５８】
特に、ステージ１２は、前提の合接として得られ、ステップ１３は、同値（４）を介して得られ、ステージ１４は、同値（７）を介して得られる。同値は、前提を結合させ、前提の副部分が異なる文脈に配置される程度を最小限にするために、左から右の方向に適用される。制御は、ステップＳ５０へと続く。
【００５９】
ステップＳ５０において、上に概要を示した同値及び証明規則を使い、文脈を含む、骨組−修飾句導出が実行される。本発明によるシステム及び方法の様々な例示実施形態では、以下の証明戦略が適用される。第１に、（ａ）文脈の異なる定則は、左から右への方向に同値を適用することにより結合される。次に、（ｂ）全ての可能な結合が生じた時には、標準の証明戦略に基づき、証明規則が適用される。最後に（ｃ）証明規則が適用された時には、文脈は以下の規則に基づき分割される。
【数７】
2004199699.tif 000009
これらのステップ（ａ）−（ｃ）は、目的の結論が導出されるまで繰り返される。
【００６０】
文脈を含まないシステムにおける骨組−修飾句導出と同様に、骨組の導出及び修飾句の導出がステップＳ５０において得られる。様々な例示実施形態では、以下の修飾句及び骨組が、ステージ（１４）の簡略化した形式の前提を組合わせ文脈を含む修飾句を導出することにより、得られる。
with:s(12) −o[a2:s(4) −o s(4),a1:s(2) −o s(2)]  telescope:  s(12)

with(telescope):[a2:s(4) −o s(4),a1:s(2) −o s(2)]
【００６１】
次に、自明な導出が実行され、文脈を含まない修飾句が得られる。
ｆｏｒｍｅｒ：ａ（４）  −ｏ  ｓ（４）
【００６２】
残りの前提は、文脈からは独立して組みあわせることができ、これにより、以下の骨組導出が得られる。
ed:s(0)      see:s(0) −o s(4) s(2)
see(ed):s(4) −o s(2)      senator:s(4)

see(ed,senator):s(2)
【００６３】
ステップＳ６０において、元の文章に対して、以下にステージ１５から１７として示す３つの意味の解釈が、これらの部品を使うことによって読める。
（１５）文脈ａ１において：
with(telescope):      s(2)  −o  (2)は、
see(ed,senator):      s(2)を修飾する。
former:      s(4)    −o    s(4)は、
senator:     s(4)を修飾する。
（１６）文脈ａ２において：
with(telescope):      s(4)    −o    s(4)は、
senator:      s(4)を修飾して、
with(telescope)(senator):      s(4)を
与える。
（１７）文脈ａ２において：
former:         s(4)  −o      s(4)は、
senator:        s(4)を修飾し、
former(senator):      s(4)を与える。
with(telescope):      s(4)    −o    s(4)は、
former(senator):s(4)を修飾し、
with(telescope)(former(senator)):    s(4)を与える。
制御は次にＳ７０に進み、処理は終了する。
【００６４】
文脈を含む意味アセンブリの代替方法は、ステップＳ１０からステップＳ４０まで進むが、文脈を含む、別個の骨組及び修飾句導出を生成しない。この代わりに、この方法は、文脈を含むシステムの同値及び証明規則を使い、中間の骨組の文脈導出及び修飾句導出を通過することなく、文章の意味の、文脈を含む導出を直接探す。典型的な場合では、これは、単一の組の、文脈化骨組−修飾句導出ではなく、ここから複数の意味を読むことのできる、複数の代替文脈意味の導出につながる。しかしながら、文脈を含むシステムはここでも、文脈間において共有される共通部分の数を低減することを可能にし、これにより、実行する必要のある導出の総数を低減させる。更に効率を増加させるために、例えば、マーク・ヘップル（Ｍａｒｋ  Ｈｅｐｐｌｅ）による”Ｍｅｍｏｉｓａｔｉｏｎ  ｆｏｒ  ｇｌｕｅ  ｌａｎｇｕａｇｅ  ｄｅｄｕｃｔｉｏｎ  ａｎｄ  ｃａｔｅｇｏｒｉａｌ  ｐａｒｓｉｎｇ”，ＣＯＬＩＮＧ−ＡＣＬ’９８，Ｍｏｎｔｒｅａｌ，１９９８などの、従来の表計算定理証明技法を、文脈を含むシステムに適用させることができる。これもまた、直接的ではあるが、効率が低い、複数の代替文脈化導出の生成を生じる。
【００６５】
よって、本発明によるシステム及び方法を使うことにより、文章中に存在する様々な曖昧さの解釈が、３つの別個の論理導出を実行することなく導出できる。また、文脈化論理は、導出の共通部分を、文脈の間で共有することを可能にする。上述の動作方法は、上で特に説明した適用法とは異なるいくつかの数の適用法にも適用することができる。
【００６６】
本発明は、発明を特定の実施の形態について説明したが、当業者には、多くの代替案、修正、及び変形が理解できることは明らかである。よって、ここに説明する本発明の例示実施形態は、例示を目的にしており、限定することを意図するものではない。本発明の精神及び範囲から離れることなく、様々な変更を行うことができる。
【図面の簡単な説明】
【００６７】
本発明の様々な例示の実施の形態を以下の図面を参照して詳細に説明する。
【図１】例示する曖昧な文章の、第１の例示成分構造又はｃ構造を示す図である。
【図２】例示する曖昧な文章の、第１の例示機能構造又はｆ構造を示す図である。
【図３】例示する曖昧な文章の、第２の例示成分構造又はｃ構造を示す図である。
【図４】例示する曖昧な文章の、第２の例示機能構造又はｆ構造を示す図である。
【図５】パック機能構造又はｆ構造を例示する図である。
【図６】本発明による、曖昧な意味を効率的に生成するためのフローチャートを例示する図である。
【図１】
2004199699.tif 000010
【図２】
2004199699.tif 000011
【図３】
2004199699.tif 000012
【図４】
2004199699.tif 000013
【図５】
2004199699.tif 000014
【図６】
2004199699.tif 000015