1968年，美国海军大西洋舰队的一艘核动力攻击潜艇“天蝎号”失踪，99名海军官兵全部失踪。美国政府派出搜索部队，John Craven提出了基于贝叶斯公式的搜索方案，最终成功找到潜艇，这种方法现在已经成为海难空难搜救的通行做法。