"不整合な知識ベースを使用してブールクエリに応答するための、プロセッサのための方法であって、オリジナル論理式を含んだ前記ブールクエリを受け取ることと、前記不整合な知識ベースが前記オリジナル論理式を非標準的に含意するかどうかを判定することと、前記不整合な知識ベースが前記オリジナル論理式を非標準的に含意する場合、前記不整合な知識ベースによって非標準的に含意され、前記オリジナル論理式と融合させることができ、前記オリジナル論理式と矛盾しない、ブリッジ論理式を選択することと、前記オリジナル論理式、but論理式、および前記ブリッジ論理式を含む、but回答を構成することであって、前記but論理式が、前記オリジナル論理式と前記ブリッジ論理式の融合節の否定である、構成することと、前記but回答の妥当性を確認することと、前記but回答を少なくとも前記オリジナル論理式および前記but論理式とともに送信または表示することとを含む方法。前記ブリッジ論理式を選択することが、前記不整合な知識ベース内のあるステップ数の異なる節の連言として、前記ブリッジ論理式を形成することと、前記オリジナル論理式と前記ブリッジ論理式を融合させることができるかどうかを判定することと、前記オリジナル論理式と前記ブリッジ論理式を融合させることができず、そのため、前記ブリッジ論理式が拒否された場合、終了条件が満たされているかどうかを判定することと、前記終了条件が満たされていない場合、前記ステップ数をインクリメントし、前記ブリッジ論理式を形成することから開始して上述のステップを繰り返すことと、前記終了条件が満たされている場合、前記方法を終了させることと、前記オリジナル論理式と前記ブリッジ論理式を融合させることができる場合、前記オリジナル論理式と前記ブリッジ論理式が矛盾するかどうかを判定することと、前記オリジナル論理式と前記ブリッジ論理式が矛盾しており、そのため、前記ブリッジ論理式が拒否された場合、前記終了条件が満たされているかどうかを判定することと、前記終了条件が満たされていない場合、前記ステップ数をインクリメントし、前記ブリッジ論理式を形成することから開始して上述のステップを繰り返すことと、前記終了条件が満たされている場合、前記方法を終了させることと、前記オリジナル論理式と前記ブリッジ論理式が矛盾していない場合、前記構成することおよび前記妥当性を確認することのために、前記ブリッジ論理式を使用することとを含む、請求項1に記載の方法。前記ブリッジ論理式を選択することが、前記ブリッジ論理式が、1先に選択されたブリッジ論理式、2前記オリジナル論理式と矛盾する先に拒否されたブリッジ論理式、または3前記オリジナル論理式と融合させることができない2つの先に拒否されたブリッジ論理式を含む連言である場合、前記ブリッジ論理式を除去することをさらに含む、請求項2に記載の方法。前記終了条件が、11つのブリッジ論理式を見つけたこと、2前記ステップ数の終了値に達したこと、および3前記方法を実行するための期間の限度を超えたことのうちの1つまたは複数を含む、請求項2に記載の方法。前記but回答の妥当性を確認することが、前記不整合な知識ベースが前記but論理式を非標準的に含意するかどうかを判定することを含み、前記不整合な知識ベースが前記but論理式を非標準的に含意する場合、前記but回答の妥当性が確認される、請求項1に記載の方法。前記but回答の妥当性を確認することの後に、終了条件が満たされているかどうかを判定することと、前記終了条件が満たされていない場合、前記選択することから開始して上述のステップを繰り返すことと、前記終了条件が満たされている場合、前記方法を終了させることとをさらに含む、請求項1に記載の方法。前記終了条件が、11つのブリッジ論理式を見つけたこと、2前記ステップ数の終了値に達したこと、および3前記方法を実行するための期間の限度を超えたことのうちの1つまたは複数を含む、請求項6に記載の方法。前記but回答を送信することが、前記ブリッジ論理式を回答および前記but論理式とともに送信することをさらに含む、請求項1に記載の方法。非標準的含意が、前記不整合な知識ベースから、前記but論理式を標準的に含意するサブセットを決定するために、融合ベースの選択関数を使用することを含み、前記融合ベースの選択関数が、以下のように、すなわち、にあると定義される、請求項1に記載の方法。前記融合ベースの選択関数を使用することが、初期サブセットおよびステップ値を設定することと、前記不整合な知識ベースから論理式をサブセットに追加するために、前記融合ベースの選択関数および前記ステップ値を使用することであって、前記サブセットが、前記初期整合サブセットを拡張したものである、使用することと、前記サブセットが整合しているかどうかを判定することと、前記サブセットが整合していない場合、前記サブセットが整合サブセットになるように、前記サブセットから1つまたは複数の論理式を除去することと、前記サブセットが前記オリジナル論理式を古典的に含意するかどうかを判定することであって、前記サブセットが前記オリジナル論理式を標準的に含意する場合、前記不整合な知識ベースが前記オリジナル論理式を非標準的に含意し、前記サブセットが前記オリジナル論理式を標準的に含意しない場合、前記不整合な知識ベースが前記オリジナル論理式を非標準的に含意しない、判定することと、前記サブセットが整合している場合、前記サブセットが前記初期サブセットのスーパーセットであるかどうかを判定することであって、前記サブセットが前記初期サブセットのスーパーセットでない場合、前記不整合な知識ベースが前記オリジナル論理式を非標準的に含意しない、判定することと、前記サブセットが前記初期サブセットのスーパーセットである場合、前記サブセットが前記オリジナル論理式を標準的に含意するかどうかを判定することであって、前記サブセットが前記オリジナル論理式を標準的に含意する場合、前記不整合な知識ベースが前記オリジナル論理式を非標準的に含意する、判定することと、前記サブセットが前記オリジナル論理式を標準的に含意しない場合、前記サブセットを前記初期整合サブセットとして設定し、前記ステップ値をインクリメントし、前記融合ベースの選択関数および前記ステップ値を使用することから開始して上述のステップを繰り返すこととを含む、請求項9に記載の方法。不整合な知識ベースを使用してブールクエリに応答する不整合リーズナを実施するための、プロセッサのためのコンピュータ実行可能命令を用いて符号化された、非一時的なコンピュータ可読記憶媒体であって、前記命令が、オリジナル論理式を含んだ前記ブールクエリを受け取ることと、前記不整合な知識ベースが前記オリジナル論理式を非標準的に含意するかどうかを判定することと、前記不整合な知識ベースが前記オリジナル論理式を非標準的に含意する場合、前記不整合な知識ベースによって非標準的に含意され、前記オリジナル論理式と融合させることができ、前記オリジナル論理式と矛盾しない、ブリッジ論理式を選択することと、前記オリジナル論理式、but論理式、および前記ブリッジ論理式を含む、but回答を構成することであって、前記but論理式が、前記オリジナル論理式と前記ブリッジ論理式の融合節の否定である、構成することと、前記but回答の妥当性を確認することと、前記but回答を少なくとも前記オリジナル論理式および前記but論理式とともに送信または表示することとを含む、非一時的なコンピュータ可読記憶媒体。前記ブリッジ論理式を選択することが、前記不整合な知識ベース内のあるステップ数の異なる節の連言として、前記ブリッジ論理式を形成することと、前記オリジナル論理式と前記ブリッジ論理式を融合させることができるかどうかを判定することと、前記オリジナル論理式と前記ブリッジ論理式を融合させることができず、そのため、前記ブリッジ論理式が拒否された場合、終了条件が満たされているかどうかを判定することと、前記終了条件が満たされていない場合、前記ステップ数をインクリメントし、前記ブリッジ論理式を形成することから開始して上述のステップを繰り返すことと、前記終了条件が満たされている場合、前記方法を終了させることと、前記オリジナル論理式と前記ブリッジ論理式を融合させることができる場合、前記オリジナル論理式と前記ブリッジ論理式が矛盾するかどうかを判定することと、前記オリジナル論理式と前記ブリッジ論理式が矛盾しており、そのため、前記ブリッジ論理式が拒否された場合、前記終了条件が満たされているかどうかを判定することと、前記終了条件が満たされていない場合、前記ステップ数をインクリメントし、前記ブリッジ論理式を形成することから開始して上述のステップを繰り返すことと、前記終了条件が満たされている場合、前記方法を終了させることと、前記オリジナル論理式と前記ブリッジ論理式が矛盾していない場合、前記構成することおよび前記妥当性を確認することのために、前記ブリッジ論理式を使用することとを含む、請求項11に記載の非一時的なコンピュータ可読記憶媒体。前記ブリッジ論理式を選択することが、前記ブリッジ論理式が、1先に選択されたブリッジ論理式、2前記オリジナル論理式と矛盾する先に拒否されたブリッジ論理式、または3前記オリジナル論理式と融合させることができない2つの先に拒否されたブリッジ論理式を含む連言である場合、前記ブリッジ論理式を除去することをさらに含む、請求項12に記載の非一時的なコンピュータ可読記憶媒体。前記終了条件が、11つのブリッジ論理式を見つけたこと、2前記ステップ数の終了値に達したこと、および3前記方法を実行するための期間の限度を超えたことのうちの1つまたは複数を含む、請求項12に記載の非一時的なコンピュータ可読記憶媒体。前記but回答の妥当性を確認することが、前記不整合な知識ベースが前記but論理式を非標準的に含意するかどうかを判定することを含み、前記不整合な知識ベースが前記but論理式を非標準的に含意する場合、前記but回答の妥当性が確認される、請求項11に記載の非一時的なコンピュータ可読記憶媒体。前記but回答の妥当性を確認することの後に、終了条件が満たされているかどうかを判定することと、前記終了条件が満たされていない場合、前記選択することから開始して上述のステップを繰り返すことと、前記終了条件が満たされている場合、前記方法を終了させることとをさらに含む、請求項11に記載の非一時的なコンピュータ可読記憶媒体。前記終了条件が、11つのブリッジ論理式を見つけたこと、2前記ステップ数の終了値に達したこと、および3前記方法を実行するための期間の限度を超えたことのうちの1つまたは複数を含む、請求項16に記載の非一時的なコンピュータ可読記憶媒体。前記but回答を送信することが、前記ブリッジ論理式を回答および前記but論理式とともに送信することをさらに含む、請求項11に記載の非一時的なコンピュータ可読記憶媒体。非標準的含意が、前記不整合な知識ベースから、前記but論理式を標準的に含意するサブセットを決定するために、融合ベースの選択関数を使用することを含み、前記融合ベースの選択関数が、以下のように、すなわち、と定義される、請求項11に記載の非一時的なコンピュータ可読記憶媒体。前記融合ベースの選択関数を使用することが、初期サブセットおよびステップ値を設定することと、前記不整合な知識ベースから論理式をサブセットに追加するために、前記融合ベースの選択関数および前記ステップ値を使用することであって、前記サブセットが、前記初期整合サブセットを拡張したものである、使用することと、前記サブセットが整合しているかどうかを判定することと、前記サブセットが整合していない場合、前記サブセットが整合サブセットになるように、前記サブセットから1つまたは複数の論理式を除去することと、前記サブセットが前記オリジナル論理式を古典的に含意するかどうかを判定することであって、前記サブセットが前記オリジナル論理式を標準的に含意する場合、前記不整合な知識ベースが前記オリジナル論理式を非標準的に含意し、前記サブセットが前記オリジナル論理式を標準的に含意しない場合、前記不整合な知識ベースが前記オリジナル論理式を非標準的に含意しない、判定することと、前記サブセットが整合している場合、前記サブセットが前記初期サブセットのスーパーセットであるかどうかを判定することであって、前記サブセットが前記初期サブセットのスーパーセットでない場合、前記不整合な知識ベースが前記オリジナル論理式を非標準的に含意しない、判定することと、前記サブセットが前記初期サブセットのスーパーセットである場合、前記サブセットが前記オリジナル論理式を標準的に含意するかどうかを判定することであって、前記サブセットが前記オリジナル論理式を標準的に含意する場合、前記不整合な知識ベースが前記オリジナル論理式を非標準的に含意する、判定することと、前記サブセットが前記オリジナル論理式を標準的に含意しない場合、前記サブセットを前記初期整合サブセットとして設定し、前記ステップ値をインクリメントし、前記融合ベースの選択関数および前記ステップ値を使用することから開始して上述のステップを繰り返すこととを含む、請求項19に記載の非一時的なコンピュータ可読記憶媒体。I.導入以下の詳細な説明では、詳細な説明の一部を形成する添付の図面を参照する。図面では、関連する文言による別段の指摘がない限り、一般に、類似の記号は、類似の構成要素を識別する。詳細な説明、図面、および特許請求の範囲において説明される例示的な実施形態は、限定的であることを意図していない。本明細書で提示される本発明の主題の主旨または範囲から逸脱することなく、他の実施形態を利用することができ、他の変更を施すことができる。本明細書で全般的に説明され、図面に示される、本開示の態様は、多種多様な異なる構成を取るように配置し、置き換え、組み合わせ、および設計することができ、そのすべてが、本明細書において明白に企図されていることが容易に理解されよう。本開示は、とりわけ、不整合な知識ベースに基づいてブールクエリに対するbut回答を決定するためにbut推論を使用することに関連する、方法、装置、コンピュータプログラム、およびシステムに関する。単語butしかしは、2つの節の逆接を表すために使用することができ、そのようなbut文butstatementを含んだ推論は、but推論と呼ばれることがある。不整合な知識ベースに基づいてブールクエリに回答する場合、but推論は、ブールクエリに対するオリジナル回答originalanswerばかりでなく、オリジナル回答と対照的である対照的回答contrastinganswerも与えることができる。but推論は、2つの主要な目標を有する。but推論は、関連する対照的回答を提供することによって、情報の誤解を避けることができる。例えば、すべての自動車は汚染を引き起こす、しかし電気自動車は汚染を引き起こさないと言うことが可能である。すべての自動車は汚染を引き起こすという単純な回答は、誤解を招くおそれがあり、それは、電気自動車がこの規則の例外であるからである。but推論は、予想されていなかった付加的な回答を用いて、効果的な影響を達成することもできる。例えば、会議はオランダで開催される、しかしアムステルダムでは開催されないと言うことが可能である。会議がアムステルダムでは開催されないという対照的な回答は、オランダで開催されるすべての会議はアムステルダムで開催されるという通常の予想に反しており意外である。but推論は、会議の例におけるように知識ベースと外部の予想との間の矛盾、または汚染を引き起こす自動車の例におけるように知識ベースの異なる部分の間の矛盾を露呈させることがある。これらの理由で、but推論は、不整合な知識ベースを用いる推論にとって有益なことがあり、それは、but推論が、ブールクエリに対してはい、いいえ、または分からないというブール回答Booleananswerを用いて単純に応答せずに、何らかの意外な情報を伴った情報価値のあるbut回答を提供するからである。II.but推論の形式化論理学における古典的な標準的含意standardentailmentは、論争の種となるもので、これによれば、任意の論理式が、矛盾の論理的帰結となる。したがって、不整合な知識ベースから古典的推論によって引き出される結論は、完全に無意味なことがある。不整合な知識ベースにおいて推論を行う任意のシステムの一般的なタスクは、不整合な知識ベースが与えられた場合に、クエリに対して意味がある回答を返すことである。回答は、それが不整合な知識ベース内の選択された整合したサブセットによって支持されるが、その否定は整合したサブセットによって支持されない場合に、意味がある。以下では、表記は、標準的含意を表し、表記は、非標準的含意nonstandardentailmentを表す。非標準的含意は、健全性soundnessおよび有意味性meaningfulnessを満たすべきである。健全性は、不整合な知識ベースから得られる論理式が、古典的推論を使用して、不整合な知識ベース内の整合したサブセットから得られることを意味する。非標準的含意の有意味性は、含意されるすべての回答が有意味であることを意味する。の特性は、標準的含意のそれと類似している。しかし、重要な例外が存在する。不整合な知識ベースと、およびであるような2つの論理式αおよびβとが与えられた場合、であると常に結論付けることができるとは限らない。これの1つの理由は、を支持する選択されたサブセットが、を支持する選択されたサブセットと異なることがある一方で、2つのサブセットの和unionが、不整合である可能性があることであり、別の理由は、α∧βが、矛盾である可能性があることである。非標準的含意の概念は、but回答の中心的概念を定義するために使用することができる。形式張らずに言えば、but回答は、3つの部分を含むことができる。オリジナル論理式:オリジナルクエリに回答する論理式。but論理式:オリジナル回答論理式と対照的である論理式。ブリッジ論理式:オリジナル論理式とbut論理式の間に矛盾が生じる理由を説明する論理式。知識ベースによって、解明論理式clarificationformulaを暗示することはできるが、その必要はない。いくつかの応用例シナリオでは、ユーザが対照的な回答の説明を要求しない場合、but回答において、解明論理式を省略することができる。本開示における論理式とは、一階論理FOL:first-orderlogic論理式を指すことに留意されたい。一般性を失うことなく、記述論理DL:descriptionlogicの公理は、連言のFOL論理式に変換することができる。多数の論理式は、連言を使用して単一の論理式に変換できるので、以下では、単一の論理式のみを考察する。上述のことが、but回答の正式な定義をもたらす。定義1but回答:不整合な知識ベースが与えられた場合、but回答は、、、およびであり、α∧βは矛盾でなく、β∧γは矛盾でないが、α∧β∧γは矛盾であるすなわち、ような、以下の部分、すなわち、オリジナル論理式α、but論理式γ、およびブリッジ論理式βを含む。ブリッジ論理式は、but回答から除外することができるが、but回答は、ブリッジ論理式が存在する場合にのみ対照的であることに留意されたい。論理式は、論理式を満たすことができるモデルが存在しないときかつそのときに限り、矛盾であり、知識ベースは、知識ベース内のすべての論理式を満たすことができるモデルが存在しないときかつそのときに限り、不整合であることにさらに留意されたい。定義2説明のないbut回答:不整合な知識ベースが与えられた場合、がbut回答であるような、ブリッジ論理式βが存在するならば、は、説明のないbut回答である。上述の定義は、but回答が良好な交換特性を有することを暗示する。すなわち、オリジナル論理式、but論理式、およびブリッジ論理式を交換することによって、より多くのbut回答を獲得することができる。命題1but回答の交換特性:不整合な知識ベースと、3つの論理式α、β、γが与えられた場合、以下が成り立つ。交換Exchange:条件付きリフティングConditionalLifting:およびα∧γが、矛盾でない⇒条件付きシフティングConditionalShifting:およびα∧γが、矛盾でない⇒上述の交換特性の他にも、but回答は、以下の他の特性を有する。第1に、but回答内の論理式は、連言演算子∧を用いて、拡張することができる。例えば、ペンギンは鳥である、しかしペンギンは飛ぶことができないは、but回答であり、そのため、ペンギンは翼をもつそしてペンギンは鳥である、しかしペンギンは飛ぶことができないもbut回答である。第2に、but回答では、オリジナル論理式、but論理式、およびブリッジ論理式は、一緒になって、1つの論理式と他の2つの論理式の連言とは融合resolveさせることができるという特性を有する。例えば、ペンギンは鳥である、すべての鳥は飛ぶことができるのであるが、しかし、ペンギンは飛ぶことができないというペンギンの例では、オリジナル論理式は、ペンギンは鳥であるPenguinsarebirdsであり、ブリッジ論理式とbut論理式の連言は、すべての鳥は飛ぶことができるAllbirdscanflyそしてペンギンは飛ぶことができないPenguinscannotflyである。birdsがオリジナル論理式の中にある一方で、すべての鳥は飛ぶことができるは、何かは飛ぶことができるか、または鳥ではないかのいずれかであるを意味するので、¬birdsが連言の中にあることを理解するのは容易である。第3に、but回答が与えられた場合、その中の任意の論理式、例えば、αについて、{β,γ}によって含意される論理式¬φが存在し、φはαによって含意され、¬αはαと矛盾する。矛盾は、文α、しかしγが人々を驚かす理由である。上述の分析に基づいて、but回答のこれらの追加の特性は、以下のように形式化される。命題2but回答の追加の特性:不整合な知識ベースと、3つの論理式α、β、γが与えられた場合、1.1およびα∧α’∧βは、矛盾ではなく、⇒拡張であり、ここで、α’は、任意の論理式である。1.2およびα∧β∧β’は、矛盾ではなく、β∧β’∧γは、矛盾ではなく、⇒拡張であり、ここで、β’は、任意の論理式である。1.3およびβ∧γ∧γ’は、矛盾ではなく、⇒拡張であり、ここで、γ’は、任意の論理式である。2⇒αおよびβ∧γは融合させることができる融合。3⇒意外である理由。乗法標準形CNF:conjunctivenormalform内の2つの論理式は、AがこれらのCNF論理式の一方の中にあり、¬Aが他方の中にあるような、原子論理式atomicformulaAが存在するときかつそのときに限り、融合させることができる。III.実施本開示の1つまたは複数の実施形態では、方法は、不整合な知識ベースがオリジナル論理式を非標準的に含意するかどうかを判定することができる。不整合な知識ベースがオリジナル論理式を非標準的に含意する場合、方法は、不整合な知識ベースから、オリジナル論理式とともに融合でき、オリジナル論理式と矛盾しないブリッジ論理式を選択することができる。方法は、オリジナル論理式およびブリッジ論理式の融合節resolventであるbut論理式を選択することができる。方法は、オリジナル論理式とbut論理式とを含むbut回答を生成することができ、その後、知識ベースがbut論理式を非標準的に含意することを確認することによって、but回答の妥当性を確認することができる。図1は、本開示の1つまたは複数の実施形態において、不整合な知識ベースを用いてbut推論を実施するための、コンピュータの例示的なシステム100のブロック図である。システム100は、不整合な知識ベースKを有するストレージ102と、コンピュータ104とを含む。不整合な知識ベースKは、1組のFOL論理式として表される。FOL論理式は、収集し、導出し、またはさもなければワールドワイドウェブなどのコンピュータネットワーク106から獲得することができる。ストレージ102は、コンピュータ104のローカルストレージとすることができ、またはコンピュータネットワークを介した先の別のコンピュータを通してアクセス可能なリモートストレージとすることができる。コンピュータ104は、不整合な知識ベースKに基づいてブールクエリに対するbut回答を決定するためにbut推論を使用する、不整合リーズナと呼ばれる、ソフトウェアアプリケーションを実行するための、プロセッサおよびメモリを含む。ブールクエリは、コンピュータ104上の別のソフトウェアアプリケーション、ユーザ108、または別のマシン110から発行することができる。図2は、本開示の1つまたは複数の実施形態による、不整合な知識ベースKに基づいてブールクエリに対するbut回答を決定する不整合リーズナを実施するための、コンピュータ104によって実行される例示的な方法200のフローチャートである。方法200は、ブロックによって示される1つまたは複数の操作、機能、またはアクションを含むことができる。ブロックは、順次的な順序で示されているが、これらのブロックは、並列して、および/または本明細書で説明される順序とは異なる順序で実行することもできる。また、様々なブロックは、所望の実施に基づいて、組み合わせてより僅かなブロックにすること、分割してさらなるブロックを作ること、および/または除去することができる。狂牛MadCow知識ベースに基づいた動作例を使用して、方法200を説明する。狂牛知識ベースでは、狂牛は羊の脳を食べるeatbrainofsheep牛と定義され、牛は草食性vegetarianと定義されるので、不整合が存在する。狂牛知識ベース内のFOL論理式は、以下の表1に列挙されたDL公理として表される。ここで、は、包含概念を表し、∃は、存在記号existentialquantifier該当する要素が存在するを表し、∀は、全称記号universalquantifierすべての要素に該当するを表し、¬は、否定を表す。方法200は、ブロック202において開始することができる。ブロック202において、コンピュータ104は、不整合な知識ベースK内のFOL論理式を等価なCNF論理式に変換する。CNF論理式は、節clauseの連言であり、各節は、リテラルliteralの選言である。したがって、不整合な知識ベースKは、c0∧c1∧...∧ci∧...と表すことができ、ここで、ciは、ρ1∨ρ2∨...であり、リテラルρiは、原子論理式または原子論理式の否定であり、∨は、選言演算子である。一般に、コンピュータ104は、任意のブールクエリを受け取る前に、オフラインでブロック202を実行する。代替として、コンピュータ104が、任意のブールクエリを受け取る前に、別のコンピュータが、オフラインでブロック202を実行する。動作例における、狂牛知識ベース内の変換された論理式を、以下の表2に列挙する。ブロック202の後には、ブロック204が続くことができる。ブロック204において、コンピュータ104は、ブールクエリαを受け取り、αは、オリジナル論理式である。動作例において、オリジナル論理式αは、CowDazyであり、そのため、ブールクエリαは、Dazyは牛かIsDazyacowを表す。ブロック204の後には、ブロック206が続くことができる。ブロック206において、コンピュータ104は、不整合な知識ベースKがオリジナル論理式αを非標準的に含意するすなわち、であるかどうかを判定する。不整合な知識ベースKがオリジナル論理式αを非標準的に含意するかどうかを判定するため、コンピュータ104は、不整合な知識ベースKから、オリジナル論理式αを標準的に含意するすなわち、であるサブセットΣを選択する。コンピュータ104は、オリジナル論理式αに関連する論理式だけを選択する。非標準的含意を判定するための多くの方法が存在する。本明細書では、非標準的含意のための1つの方法を説明するが、他の方法を使用することもできる。図3は、本開示の1つまたは複数の実施形態による、不整合な知識ベースKがオリジナル論理式αを非標準的に含意するかどうかを判定するための、コンピュータ104によって実行される例示的な方法300のフローチャートである。融合技法によれば、ブールクエリ論理式の否定と直接的または間接的に融合させることができる論理式だけが、含意結果に影響することができる。したがって、方法300は、サブセットΣがすべての融合可能関係にあるresolvablyrelevant論理式を含むか、または不整合になるまで、オリジナル論理式αの否定と融合させることができる論理式をサブセットΣに追加するために、選択関数selectionfunctionrsを使用する。サブセットΣが不整合になった場合、方法300は、サブセットΣがその整合性を取り戻すまで、カージナリティcardinalityを減少させながら、最後に追加された論理式において、幅優先探索breadth-firstsearchを実行する。最後に、方法300は、不整合な知識ベースKがオリジナル論理式αを非標準的に含意するかどうかを判定するために、サブセットΣがオリジナル論理式αを含意するかどうかを判定する。方法300は、ブロック302において開始する。ブロック302において、コンピュータ104は、パスカウントpasscountkを初期サブセットΣ’を表す1に初期化する。ブロック302の後には、ブロック304が続くことができる。ブロック304において、コンピュータ104は、不整合な知識ベースKから論理式を初期サブセットΣ’に追加して、現パスについてのサブセットΣを形成するために、選択関数rsを使用する。ブロック304の後には、ブロック306が続くことができる。ブロック306において、コンピュータ104は、サブセットΣが整合しているかどうかを判定する。整合していない場合、ブロック306の後には、ブロック308が続くことができる。整合している場合、ブロック306の後には、ブロック316が続くことができる。ブロック308において、コンピュータ104は、サブセットΣを整合させるために、サブセットΣから1つまたは複数の論理式を取り除く。上で説明したように、コンピュータ104は、サブセットΣがその整合性を取り戻すまで、カージナリティを減少させながら、最後に追加された論理式において、幅優先探索を実行する。ブロック308の後には、ブロック310が続くことができる。ブロック310において、コンピュータ104は、サブセットΣがオリジナル論理式αを標準的に含意するかどうかすなわち、かを判定する。含意しない場合、ブロック310の後には、ブロック312が続くことができる。含意する場合、ブロック310の後には、ブロック314が続くことができる。ブロック312において、コンピュータ104は、不整合な知識ベースKはオリジナル論理式αを非標準的に含意しないと判定し、方法300を終了させる。ブロック314において、コンピュータ104は、不整合な知識ベースKはオリジナル論理式αを非標準的に含意すると判定し、方法300を終了させる。ブロック316において、コンピュータ104は、サブセットΣが初期サブセットΣ’のスーパーセットsupersetであるかどうかを判定する。スーパーセットでない場合、ブロック316の後には、ブロック318が続くことができる。スーパーセットである場合、ブロック316の後には、ブロック320が続くことができる。ブロック318において、コンピュータ104は、不整合な知識ベースKはオリジナル論理式αを非標準的に含意しないと判定し、方法300を終了させる。ブロック320において、コンピュータ104は、サブセットΣがオリジナル論理式αを標準的に含意するかどうかを判定する。含意する場合、ブロック320の後には、ブロック322が続くことができる。含意しない場合、ブロック320の後には、ブロック324が続くことができる。ブロック322において、コンピュータ104は、不整合な知識ベースKはオリジナル論理式αを非標準的に含意すると判定し、方法300を終了させる。ブロック324において、コンピュータ104は、初期サブセットΣ’をサブセットΣに等しく設定し、パスカウントkをインクリメントする。ブロック324は、ブロック304にループバックして、上で説明されたブロックを繰り返すことができる。上で説明したように、選択関数rsは、融合可能関係resolvablerelevanceに基づいている。2つのCNF論理式は、これらのCNF論理式の一方の中にAがあり、他方の中に¬Aがあるような、原子論理式Aが存在するときかつそのときに限り、直接的な融合可能関係にあるdirectlyresolvablyrelevant。これは、融合節を有する論理式、または論理式は融合させることができるとも言われる。CNF論理式φおよびφ’は、が直接的な融合可能関係にあるような、論理式が存在するときかつそのときに限り、論理式集合Ωに関して、k次の融合可能関係にあるresolvablyk-relevant次数kの間接的な融合可能関係にあるkdegreeindirectlyresovablyrelevant。本開示の1つまたは複数の実施形態では、選択関数rsは、以下のように定義される。言い換えると、は、知識ベース内の、φと1次の関係すなわち、直接的な関係にあるすべての論理式を選択することを意味し、は、知識ベース内の、φとk次の関係にあるすべての論理式を選択することを意味する。動作例において、方法300は、以下のようにして、α:=CowDazyである場合に、であるかどうかを判定する。これは整合しており、であり、k=2の場合に進んで、続行する。これは整合しており、であり、したがって、である。図2を再び参照すると、コンピュータ104が、不整合な知識ベースKはオリジナル論理式αを非標準的に含意すると判定した場合、ブロック206の後には、ブロック208が続くことができる。そのように判定しなかった場合、ブロック206の後には、ブロック220が続くことができ、回答分からないを返す。ブロック208において、コンピュータ104は、不整合な知識ベースKからブリッジ論理式βを選択する。ブロック208は、サブブロック208Aと、208B-1、208B-2、208B-3を含む208Bと、208Cと、208Dとを含む。ブロック208Aにおいて、コンピュータ104は、不整合な知識ベースKによって非標準的に含意される論理式をブリッジ論理式βとして選択する。不整合な知識ベースKがブリッジ論理式βを非標準的に含意するすなわち、である場合、ブリッジ論理式βは、いくつかの節の連言、またはその連言の融合節であることに留意されたい。したがって、コンピュータ104は、幅優先探索法を使用して、不整合な知識ベースKによって非標準的に含意されるすべてのブリッジ論理式βを漸増的に選択することができる。第1のレベルすなわち、ブロック208Aの1回目のパスにおいて、コンピュータ104は、すべての節ciの連言を選択する。第kのレベルすなわち、ブロック208Aのk回目のパスにおいて、コンピュータ104は、k個の異なる節の連言を選択する。ブロック208Aの後には、ブロック208Bが続くことができる。ブロック208Bにおいて、コンピュータ104は、フィルタリングを実行する。選択プロセスをより効率的にするため、3つのフィルタリング方法が導入されて、ブリッジ論理式βの数を減少させ、したがって、プロセスをより効率的にする。ブロック208B-1において、コンピュータ104は、拡張フィルタリングexpansionfilteringを実行することができる。上で説明された命題2の拡張特性によれば、であれば、も満たされ、ここで、ciは、不整合な知識ベースK内の節である。したがって、kレベルにおいて、が満たされる場合、コンピュータ104は、k1レベルにおいて、β∧ciをブリッジ論理式として選択しない。ブロック208B-2において、コンピュータ104は、矛盾フィルタリングcontradictionfilteringを実行することができる。kレベルにおいて、ブリッジ論理式βが、α∧βは矛盾であるを満たす場合、β∧ciも矛盾であるので、コンピュータ104は、k1レベルにおいて、β∧ciをブリッジ論理式として選択しない。ブロック208B-3において、コンピュータ104は、融合フィルタリングresolutionfilteringを実行することができる。ブリッジ論理式βとオリジナル論理式αを融合させることができず、論理式β’とオリジナル論理式αを融合させることができない場合、β∧β’とαは、融合させることができない。したがって、コンピュータ104は、β∧β’をブリッジ論理式として選択しない。ブロック208Bの後には、ブロック208Cが続くことができる。ブロック208Cにおいて、コンピュータ104は、現パスにおいて選択されたすべてのブリッジ論理式に対して、融合条件をチェックする。各ブリッジ論理式βについて、コンピュータ104は、オリジナル論理式αとブリッジ論理式βを融合させることができるかどうかをテストする。融合させることができる場合、ブリッジ論理式βは、保持され、ブロック208Cの後には、ブロック208Dが続くことができる。ブリッジ論理式βが拒否された場合、少なくとも1つの終了条件が満たされているかどうかをチェックするために、ブロック208Cの後には、ブロック216が続くことができる。ブロック208Dにおいて、コンピュータ104は、現パスにおいて選択されたすべてのブリッジ論理式に対して、矛盾条件をチェックする。各ブリッジ論理式βについて、コンピュータ104は、α∧βが矛盾かどうかをテストする。矛盾ではない場合、ブリッジ論理式βは、保持され、ブロック208Dの後には、ブロック210が続くことができる。ブリッジ論理式βが拒否された場合、少なくとも1つの終了条件が満たされているかどうかをチェックするために、ブロック208Dの後には、ブロック216が続くことができる。ブロック210において、コンピュータ104は、but回答を構成する。各ブリッジ論理式βについて、コンピュータ104は、α∧βの融合節λを決定する。融合節λが、後で妥当性を確認する必要がある候補but論理式であることを示すために、ここでは、記号γの代わりに、記号λが使用されていることに留意されたい。各融合節λについて、コンピュータ104は、オリジナル論理式αと、but論理式¬λと、ブリッジ論理式βとを含む、but回答を構成する。ブロック210の後には、ブロック212が続くことができる。ブロック212において、コンピュータ104は、but回答の妥当性を確認する。各but回答について、コンピュータ104は、不整合な知識ベースKが¬λを非標準的に含意するかどうかを判定する。含意する場合、but回答の妥当性が確認され、ブロック212の後には、ブロック214が続くことができる。but回答の妥当性が確認できなかった場合、ブロック212の後には、ブロック216が続くことができる。ブロック214において、コンピュータ104は、but回答をセーブする。ブロック214の後には、ブロック216が続くことができる。ブロック216において、コンピュータ104は、少なくとも1つの終了条件が満たされているかどうかを判定する。プロセスは、少なくとも1つの終了条件が満たされるまで反復される。1つの妥当性確認プロセスが完了した場合、またはブリッジ論理式の1つの選択プロセスが失敗した場合、コンピュータ104は、方法200を停止させるかどうかを判定するために、終了条件をチェックする。ユーザが指定できる終了条件が、以下で説明される。1つのbut回答を見つけたときに停止する。ブリッジ論理式βを漸増的に獲得し、対応するbut回答を計算するために、方法200が使用される。この終了条件の下では、コンピュータ104は、1つのbut回答が獲得されたときに、方法200を停止させる。kレベルにおける探索。ユーザは、方法200においてブリッジ論理式βを選択するための値kを指定することができる。その場合、コンピュータ104は、探索の次数をたかだかレベルkに保つことによって、すべてのbut回答を計算する。t時間内での探索。ユーザは、時間の値tを指定することができる。方法200は、すべてのbut回答を計算し始める。候補but回答の妥当性を確認した後、コンピュータ104は、実行時間がtよりも大きくなったときに、方法200を停止させる。but回答を計算するための他の終了条件も存在し、これらの条件は組み合わせることができる。少なくとも1つの終了条件が満たされたとき、ブロック216の後には、ブロック218が続くことができる。さもなければ、ブロック216はブロック208にループバックして、別のブリッジ論理式を選択することができる。ブロック218において、コンピュータ104は、1つまたは複数のbut回答を送信または表示する。各but回答は、オリジナル論理式αと、but論理式¬λとを含み、ブリッジ論理式βをさらに含むことができる。動作例における、ブロック208Aからブロック216を、k=1およびk=2の場合について示すと、以下のようになる。についてのブリッジ論理式を選択する。k=1の場合、ただ1つのしか存在しないので、フィルタリングプロセスには何の効果もなく、α1は、αと融合させることができ、α1∧αは、矛盾ではない。したがって、β:=α1である。α1およびαは、1つの融合節VegetarianDazyしか有さないので、候補を構成する。かをチェックする。方法300を使用して、であると決定される。したがって、コンピュータ104は、というbut回答を返す。k=2の場合、拡張フィルタリングおよび融合フィルタリングによれば、およびのみが、ブリッジ論理式として選択される。候補およびを構成する。かおよびかをチェックする。方法300を使用して、およびであると決定される。したがって、というbut回答が獲得される。すべてのチェックポイントにおいて、コンピュータ104は、方法200を終了させるべきかを判定するために、終了条件をチェックする。図4は、本開示の1つまたは複数の実施形態による、不整合な知識ベースに基づいてブールクエリに対するbut回答を決定するための方法を実施するための、コンピュータプログラム製品400の例示的な一実施形態のブロック図である。コンピュータプログラム製品400は、信号保持媒体402を含むことができる。信号保持媒体402は、例えばプロセッサによって実行されたときに、上で説明された機能を提供するように適合できる、1組または複数組の実行可能命令404を含むことができる。したがって、例えば、図1のコンピュータ104は、信号保持媒体402によって搬送された命令404に応答して、少なくとも図2または図3に示されたブロックの1つまたは複数に着手することができる。いくつかの実施では、信号保持媒体402は、ハードディスクドライブ、コンパクトディスクCD、デジタル多用途ディスクDVD、デジタルテープ、メモリなどの、しかし、それらに限定されない、非一時的なコンピュータ可読媒体406を包含することができる。いくつかの実施では、信号保持媒体402は、メモリ、リード/ライトR/WCD、R/WDVDなどの、しかし、それらに限定されない、記録可能媒体408を包含することができる。いくつかの実施では、信号保持媒体402は、デジタルおよび/またはアナログ通信媒体例えば、光ファイバケーブル、導波路、有線通信リンク、無線通信リンクなどなどの、しかし、それらに限定されない、通信媒体410を包含することができる。したがって、例えば、コンピュータプログラム製品400は、信号保持媒体402によって無線で搬送することができ、その場合、信号保持媒体402は、無線通信媒体510例えば、IEEE802.11規格に準拠した無線通信媒体によって搬送される。コンピュータプログラム製品400は、非一時的なコンピュータ可読媒体406または別の類似の記録可能媒体408上に記録することができる。図5は、本開示に従ってbut推論のために構成された、例示的なコンピューティングデバイス500を説明するブロック図である。非常に基本的な構成502では、コンピューティングデバイス500は、一般に、1つまたは複数のプロセッサ504と、システムメモリ506とを含むことができる。メモリバス508は、プロセッサ504とシステムメモリ506の間で通信を行うために使用することができる。所望の構成に応じて、プロセッサ504は、マイクロプロセッサμP、マイクロコントローラμC、デジタル信号プロセッサDSP、またはそれらの任意の組み合わせを含むが、それらに限定されない、任意のタイプを取ることができる。プロセッサ504は、レベル1キャッシュ510およびレベル2キャッシュ512などの1つまたは複数のレベルのキャッシングと、プロセッサコア514と、レジスタ516とを含むことができる。例示的なプロセッサコア514は、算術論理演算ユニットALU、浮動小数点ユニットFPU、デジタル信号処理コアDSPコア、またはそれらの任意の組み合わせを含むことができる。例示的なメモリコントローラ518も、プロセッサ504とともに使用することができ、またはいくつかの実施では、メモリコントローラ518は、プロセッサ504の内部部品とすることができる。所望の構成に応じて、システムメモリ506は、RAMなどの揮発性メモリ、ROM、フラッシュメモリなどの不揮発性メモリ、またはそれらの任意の組み合わせを含むが、それらに限定されない、任意のタイプを取ることができる。システムメモリ506は、オペレーティングシステム520と、1つまたは複数のアプリケーション522と、プログラムデータ524とを含むことができる。アプリケーション522は、ブールクエリに対するbut回答を決定するように構成された、不整合リーズナ526を含むことができる。プログラムデータ524は、本明細書で説明されたような不整合リーズナ526とともに動作する不整合な知識ベース528を含むことができる。いくつかの実施形態では、アプリケーション522は、but推論の実施が本明細書で説明したように提供され得るように、オペレーティングシステム520上でプログラムデータ524を用いて動作するように構成することができる。図5では、この説明された基本構成502は、内側の破線内のコンポーネントによって示されている。コンピューティングデバイス500は、追加の特徴または機能と、基本構成502と任意の必要なデバイスおよびインターフェースの間の通信を円滑化するための追加のインターフェースとを有することができる。例えば、バス/インターフェースコントローラ530は、ストレージインターフェースバス534を介する、基本構成502と1つまたは複数のデータ記憶装置532の間の通信を円滑化するために使用することができる。データ記憶装置532は、取外し式記憶装置536、非取外し式記憶装置538、またはそれらの組み合わせとすることができる。取外し式記憶装置および非取外し式記憶装置の例は、いくつかの名前を挙げると、フレキシブルディスクドライブおよびハードディスクドライブHDDなどの磁気ディスク装置、コンパクトディスクCDドライブまたはデジタル多用途ディスクDVDドライブなどの光ディスクドライブ、ソリッドステートドライブSSD、ならびにテープドライブを含む。例示的なコンピュータ記憶媒体は、コンピュータ可読命令、データ構造、プログラムモジュール、または他のデータなどの情報を記憶するための任意の方法または技術で実施された、揮発性および不揮発性の取外し式および非取外し式媒体を含むことができる。システムメモリ506、取外し式記憶装置536、および非取外し式記憶装置538は、コンピュータ記憶媒体の例である。コンピュータ記憶媒体は、RAM、ROM、EEPROM、フラッシュメモリ、もしくは他のメモリ技術、CD-ROM、デジタル多用途ディスクDVD、もしくは他の光ストレージ、磁気カセット、磁気テープ、磁気ディスクストレージ、もしくは他の磁気記憶装置、または所望の情報を記憶するのに使用でき、コンピューティングデバイス500によってアクセスできる他の任意の媒体を含むが、それらに限定されない。そのようなコンピュータ記憶媒体はいずれも、コンピューティングデバイス500の一部とすることができる。コンピューティングデバイス500は、バス/インターフェースコントローラ530を介する、様々なインターフェース装置例えば、出力装置542、周辺インターフェース544、および通信装置546から基本構成502への通信を円滑化するための、インターフェースバス540も含むことができる。例示的な出力装置542は、1つまたは複数のA/Vポート552を介してディスプレイまたはスピーカなどの様々な外部装置と通信するように構成できる、グラフィックス処理ユニット548およびオーディオ処理ユニット550を含む。例示的な周辺インターフェース544は、1つまたは複数のI/Oポート558を介して、入力装置例えば、キーボード、マウス、ペン、音声入力装置、タッチ入力装置などまたは他の周辺装置例えば、プリンタ、スキャナなどなどの、外部装置と通信するように構成できる、シリアルインターフェースコントローラ554またはパラレルインターフェースコントローラ556を含む。例示的な通信装置546は、1つまたは複数の通信ポート564を介する、ネットワーク通信リンク上での、1つまたは複数の他のコンピューティングデバイス562との通信を円滑化するように構成できる、ネットワークコントローラ560を含む。ネットワーク通信リンクは、通信媒体の一例とすることができる。通信媒体は、搬送波または他のトランスポートメカニズムなどの変調データ信号内のコンピュータ可読命令、データ構造、プログラムモジュール、または他のデータによって一般に具現することができ、任意の情報配送媒体を含むことができる。変調データ信号は、情報を信号内に符号化するなどの方法で、その特性の1つまたは複数が設定または変更された信号とすることができる。限定することなく、例を挙げると、通信媒体は、有線ネットワークまたは直接配線接続などの有線媒体、ならびに音響、無線周波RF、マイクロ波、赤外線IR、および他の無線媒体などの無線媒体を含むことができる。本明細書で使用される場合、コンピュータ可読媒体という用語は、記憶媒体と通信媒体の両方を含むことができる。コンピューティングデバイス500は、セルフォン、携帯情報端末PDA、パーソナルメディアプレーヤデバイス、無線ウェブウォッチデバイス、パーソナルヘッドセットデバイス、特定用途向けデバイス、または上述の機能のいずれかを含むハイブリッドデバイスなど、フォームファクタが小さいポータブルまたはモバイル電子デバイスの一部として実施することができる。コンピューティングデバイス500は、ラップトップコンピュータおよび非ラップトップコンピュータ構成の両方を含むパーソナルコンピュータとしても実施することができる。前述の詳細な説明では、ブロック図、フローチャート、および/または例の使用によって、装置および/またはプロセスの様々な実施形態を説明してきた。そのようなブロック図、フローチャート、および/または例が1つまたは複数の機能および/または動作を含む限りにおいて、そのようなブロック図、フローチャート、または例の中のそれぞれの機能および/または動作は、広範囲のハードウェア、ソフトウェア、ファームウェア、または実質上それらのすべての組み合わせにより、個別におよび/または集合的に実装可能であることが、当業者には理解されるであろう。本明細書に記載された主題は、様々なコンポーネントをしばしば例示しており、これらのコンポーネントは、他の様々なコンポーネントに包含されるか、または他の様々なコンポーネントに接続される。そのように図示されたアーキテクチャは、単に例示にすぎず、実際には、同じ機能を実現する多くの他のアーキテクチャが実装可能であることが理解されよう。概念的な意味で、同じ機能を実現するコンポーネントの任意の構成は、所望の機能が実現されるように効果的に関連付けされる。したがって、特定の機能を実現するために組み合わされた、本明細書における任意の2つのコンポーネントは、アーキテクチャまたは中間のコンポーネントにかかわらず、所望の機能が実現されるように、お互いに関連付けされていると見ることができる。同様に、そのように関連付けされた任意の2つのコンポーネントは、所望の機能を実現するために、互いに動作可能に接続または動作可能に結合されていると見なすこともでき、そのように関連付け可能な任意の2つのコンポーネントは、所望の機能を実現するために、互いに動作可能に結合できると見なすこともできる。動作可能に結合できる場合の具体例には、物理的にかみ合わせ可能な、および/もしくは物理的に相互作用するコンポーネントが含まれるが、それらに限定されない。本明細書における実質的にすべての複数形および/または単数形の用語の使用に対して、当業者は、状況および/または用途に適切なように、複数形から単数形に、および/または単数形から複数形に変換することができる。様々な単数形/複数形の置き換えは、理解しやすいように、本明細書で明確に説明することができる。通常、本明細書において、特に添付の特許請求の範囲例えば、添付の特許請求の範囲の本体部において使用される用語は、全体を通じてオープンなopen用語として意図されていることが、当業者には理解されよう例えば、用語含むincludingは、含むがそれに限定されないincludingbutnotlimitedtoと解釈されるべきであり、用語有するhavingは、少なくとも有するhavingatleastと解釈されるべきであり、用語含むincludesは、含むがそれに限定されないincludesbutisnotlimitedtoと解釈されるべきである、など。導入される請求項で具体的な数の記載が意図される場合、そのような意図は、当該請求項において明示的に記載されることになり、そのような記載がない場合、そのような意図は存在しないことが、当業者にはさらに理解されよう。例えば、理解の一助として、添付の特許請求の範囲は、導入句少なくとも1つのatleastoneおよび1つまたは複数のoneormoreを使用して請求項の記載を導くことを含む場合がある。しかし、そのような句の使用は、同一の請求項が、導入句1つまたは複数のまたは少なくとも1つのおよびaまたはanなどの不定冠詞を含む場合であっても、不定冠詞aまたはanによる請求項の記載の導入が、そのように導入される請求項の記載を含む任意の特定の請求項を、単に1つのそのような記載を含む発明に限定する、ということを示唆していると解釈されるべきではない例えば、aおよび/またはanは、通常、少なくとも1つのまたは1つまたは複数のを意味すると解釈されるべきである。同じことが、請求項の記載を導入するのに使用される定冠詞の使用にも当てはまる。また、導入される請求項の記載で具体的な数が明示的に記載されている場合でも、そのような記載は、通常、少なくとも記載された数を意味すると解釈されるべきであることが、当業者には理解されよう例えば、他の修飾語なしでの2つの記載tworecitationsの単なる記載は、通常、少なくとも2つの記載、または2つ以上の記載を意味する。さらに、A、BおよびC、などの少なくとも1つに類似の慣例表現が使用されている事例では、通常、そのような構文は、当業者がその慣例表現を理解するであろう意味で意図されている例えば、A、B、およびCの少なくとも1つを有するシステムは、Aのみ、Bのみ、Cのみ、AおよびBを共に、AおよびCを共に、BおよびCを共に、ならびに/またはA、B、およびCを共に、などを有するシステムを含むが、それに限定されない。A、B、またはC、などの少なくとも1つに類似の慣例表現が使用されている事例では、通常、そのような構文は、当業者がその慣例表現を理解するであろう意味で意図されている例えば、A、B、またはCの少なくとも1つを有するシステムは、Aのみ、Bのみ、Cのみ、AおよびBを共に、AおよびCを共に、BおよびCを共に、ならびに/またはA、B、およびCを共に、などを有するシステムを含むが、それに限定されない。2つ以上の代替用語を提示する事実上いかなる離接する語および/または句も、明細書、特許請求の範囲、または図面のどこにあっても、当該用語の一方oneoftheterms、当該用語のいずれかeitheroftheterms、または両方の用語bothtermsを含む可能性を企図すると理解されるべきであることが、当業者にはさらに理解されよう。例えば、句AまたはBは、AまたはBあるいはAおよびBの可能性を含むことが理解されよう。本明細書では、様々な態様および実施形態が開示されたが、他の態様および実施形態も当業者には明らかである。本明細書で開示された様々な態様および実施形態は、例示を目的としており、限定することは意図しておらず、真の範囲および主旨は、以下の特許請求の範囲によって示されている。"