ベイズ探索理論

ベイズ探索理論（ベイズたんさくりろん、）は、見失った物体を捜索するためのベイズ統計学の応用である。これは原潜スコーピオンのような海難事故の捜索でしばしば用いられ、2009年のエールフランス447便墜落事故でのフライトレコーダー回収で重要な役割を果たした。またマレーシア航空370便墜落事故での墜落位置特定でも用いられた。
手順.
一般的な手順は次の通りとなる。
言ってみれば、最も見つかる見込みの高い場所から探し始め、見込みのより低い場所、さらに低い場所へと（燃料、範囲、潮流などが許す限り）移ってゆき、物体を発見できる見込みがもはや乏しく、許容できる捜索コストに見合わなくなるまで続けるのである。
ベイジアン的手法を使う利点は、入手できる全ての情報が一貫性（いわゆる「漏れの無い」手法）を以って使われ、発見成功の確率に対するコストを自ずから見積もるところにある。すなわち、たとえ捜索を始める前であっても「5日間の捜索で発見できる確率は65%、10日間なら90%、15日間なら97%まで上がります」といったような仮説を述べることができるのである。こうして、捜索にリソースを割り当てる前に、その費用対効果を評価できる。
原潜スコーピオンの他にもベイズ探索理論で発見できた艦船には、イギリスの沈没船としては最大となる、およびがある。またスペインでのパロマレス米軍機墜落事故で行方不明になった水素爆弾の捜索、大西洋で墜落したエールフランス447便の発見でもその有用性を証明した。
ベイズ探索理論はアメリカ沿岸警備隊が捜索救難で使うCASPによるミッション立案ソフトウェアに組み入れられている。これは後に地形と植生を加味して、米空軍とが内陸での捜索でも用いるようになった。
数学.
地図上の各方眼について、探している残骸がそこにある確率p、および残骸がそこにあったとして実際に発見できる確率qを想定する。ある方眼を捜索して残骸が見つからなかったならば、ベイズの定理により、その方眼に残骸がある確率は次のように更新される。
その他の全ての方眼について、事前確率をrとするならば、事後確率は次のようになる。
米原潜スコーピオン.
1968年5月、米海軍の原潜スコーピオンはノーフォークの母港に予定通り帰港しなかった。海軍司令部は、スコーピオンが北米東海岸沿岸で遭難したらしいことはほぼ確信していたが、広範囲の捜索にもかかわらずその痕跡を発見できなかった。
そこで海軍の深海エキスパートのジョン・P・クレイヴンは、スコーピオンがどこかで沈没したらしいとした上で、ハイドロフォンによる三角測量から得られた大まかなデータを基に、アゾレス諸島南西での調査を手配した。とはいえ海洋調査船1隻しか使うことができず、そのリソースを最大限活用するために、数学者を揃えたコンサルタント会社のメトロン社に助言を求めた。こうしてベイズ探索理論が用いられることになり、何人かの経験豊かな潜水艦指揮官らがインタビューを受け、何がスコーピオンの遭難をもたらしたかについて複数の仮説が立てられた。
捜索対象の海域は方眼に区切られ、その各々についてそれぞれの仮説に基づいた発見確率が計算された。そうしてそれらの値を方眼ごとに合計し、総計としての確率の格子 (probability grid) が作られた。各々の方眼に割り当てられた確率は、その方形エリアに残骸がある確率を示す。次に作る方眼は、その方形エリアを捜索して実際に残骸がそこにあった場合に首尾よくそれを発見できる確率を示す。これは水深を変数にとる既知の関数である。これら2種の方眼を掛け合わせることで、海上の方形エリアそれぞれについて捜索を行なった場合に残骸を発見できる確率を示した方眼が得られる。
1968年10月末、海軍の海洋調査船ミザールは、アゾレス諸島の南西740キロメートル、水深3千メートルを超える海底にスコーピオンの船体の一部を発見した。これは水中聴音システムSOSUSが捉えたスコーピオンの船体破壊音の録音テープを海軍が開示した後だった。その後に調査委員会が再召集され、バチスカーフやトリエステ2といった深海探査艇も含めた応援部隊が派遣され、多くの写真やその他のデータを集めた。
クレイヴンはスコーピオンの残骸発見に関して大いに称賛された一方、ポラリス・ミサイルの着水地点の割り出しにを用いるという手法の草分けになった音響専門家のゴードン・ハミルトンは、潜水艦の残骸がまさにそこにあるはずの最終的な狭い「捜索エリア」(search box) を明確にするのに貢献した。ハミルトンは以前からカナリア諸島に聴音施設 (listening station) を設け、それは圧壊深度を過ぎて潜水艦の耐圧殻が圧壊する音だと一部の科学者が考えた明確なシグナルを捉えていた。海軍調査研究所の科学者チェスター・「バク」・ビュケネンは、自ら設計した曳航式のそり状カメラシステム (towed camera sled) をミザールに積み込み、最終的にスコーピオンの位置を突き止めた。このカメラシステムは海軍調査研究所の技術支援部門 (Engineering Services Division) にいた J・L・「ジャック」・ハームが組み立てたもので、現在はに収蔵されている。ビュケネンは同様の手法で1964年に原潜スレッシャーの船体の残骸の位置を特定していた。
探索コストの最適配分.
この問題に関する教科書的な文献は、メトロン社のローレンス・D・ストーンが著し1975年にアメリカ・オペレーションズ・リサーチ学会 (Operations Research Society of America) が刊行した『最適探索の理論』(The Theory of Optimal Search) であり、これは同年に同学会のランチェスター賞を受賞した。
方形エリアの捜索.
n個の方形エリアのどこか一か所に静止した物体が隠されているとする。各エリアformula_3それぞれについて、3つの既知の変数がある。formula_4は1回の捜索にかかるコスト、formula_5 は物体がそこにあったとして1回の捜索でそれを発見できる確率、formula_6は物体がそこにある確率となる。捜索者は開始時の事前確率を承知した上で、発見に失敗するごとにベイズの定理に従ってそれを更新してゆく。
物体を発見するために予想されるコストをいかに最小化するかというのは古典的な問題で、これはが解決した。意外にも、この最適化方法は「formula_7 が最大となる場所を順に捜索してゆく」という形で平易に表現できる。実のところ、これはの特殊な場合にあたる。