Bridging Decision Problems, Vol. I 問題のフレーミング
Back to SDA site →

第5章:不確実性

逐次決定問題を橋渡しする、第I巻 — 問題の枠組み化 · Warren B. Powell

逐次決定問題は必ず不確実性に対処しなければならず、これは時間をかけて決定を下す上で最も困難な側面であることが多い。不確実性がシステムの性能に影響を与える方法には、次の3つがある。

  1. ある時点で下した決定が正しく実行されない。
  2. 決定を下した際に見積もった性能と、実際にその決定が生み出すシステムの性能が一致しない。
  3. 時間を先へ進むにつれて生じる変化のために、現在の決定が将来に与える影響が正しく見積もられていない。

不確実性が性能に影響を与える方法としては3つしか挙げていないが、不確実性は多くの形態で生じるため、モデリングの過程でしばしば見落とされる不確実性の形態もある。実際、最適化ツールの利用のほとんどは、あらゆる形態の不確実性を無視しており、これは典型的には、いかなる形態の不確実性を明示的にモデル化しても不確実性が劇的に増大してしまうことを反映している。

本章の目的の一つは、不確実性が生じ得るさまざまな方法を明らかにすることである。これは、モデルがすべての形態の不確実性を組み込む必要があるという意味ではない。しかし、ある形態の不確実性を無視するという決定は、モデラーがそれを見落としたからではなく、明示的な選択であるべきである。

12種類の不確実性 {#12classesofuncertainty}

不確実性の発生源を特定する一つの方法は、数理モデルから逆向きに考えることである。以下は、不確実性がモデルにどのように入り込み得るかという観点から作成された12種類の不確実性である。サプライチェーンの管理、エネルギーシステム、あるいは公衆衛生問題の解決といった複雑な問題は、これら12種類すべてを含み得る一方で、チェスをするといった単純な問題では1種類だけで済むこともある。

これらの種類には多少の重複があるため、不確実性の発生源をどこに分類すべきか多少あいまいであっても心配する必要はない。重要なのは、できるだけ多くの異なる形態の不確実性を特定することである。

  1. 観測誤差 – これは、環境から観測しなければならない量やパラメータに生じる誤差を表す。例としては以下が挙げられる。
    • コンピュータ上に表されている製品の現在の在庫が、実際に手元にあるものと一致しない場合。
    • がんを検出するための患者の医療用X線画像。
    • 特定の候補者を支持する有権者の割合。
  2. 外生的不確実性 – これは、決定を下した後にシステムに到達する情報であり、例えば以下のようなものである。
    • 市場で販売されている製品に対する需要。
    • 株価の変化。
    • ある都市から次の都市まで運転するのに要する時間。
    • 明日入金または引き出される可能性のある現金の額。
    • 患者が投薬の種類にどのように反応するか。
  3. 予後的不確実性 – これは、需要、価格、移動時間(予測し得るあらゆる量)の予測に生じる誤差である。
  4. 推論的不確実性 – これは、今現在の世界の状態についての推定に生じる不確実性を捉えるものである。これには以下のようなものが含まれ得る。
    • 価格の変化に市場がどのように反応するか。価格が5パーセント上昇すると需要が10パーセント低下すると考えるかもしれないが、実際の値は12パーセント低下する場合もある。
    • がん患者がステージ2だと思っているが、実際はステージ3かもしれない。乳がんを検出しても、他の臓器への転移を見落とすかもしれない。
    • 大統領選挙運動において、主要な市場に1,000万ドルの広告費を投じれば候補者の支持率が2パーセント上昇すると考えるかもしれないが、実際にはそれより高くなることも低くなることもある。
  5. 実験的不確実性 – これは、研究室、シミュレータ、あるいは現場のいずれかで実験を繰り返し行う際に生じるばらつきを表す。
    • あるメーカーがシリコンウェハーの製造プロセスの実験を行う。試験を10回繰り返すと、収率が70パーセントから90パーセントの範囲でばらつく。
    • ある企業が、5つの異なるテスト市場で実行することにより新しいマーケティングキャンペーンを評価している。市場間、また時間経過に伴ってばらつきが生じる。
    • 在庫発注方策の性能を検証するためにコンピュータシミュレータが使用される。シミュレータを実行するたびに異なる結果が生じる。
  6. モデルの不確実性 – これは複数の不確実性の発生源を包含する包括的な概念であるが、最も重要なものの一つは、あるプロセスが時間の経過とともにどのように推移するかについてのモデルの不確実性である。例としては以下が挙げられる。
    • 炭素排出量を制御する政策の変化に対して気候がどのように反応するか。
    • 患者がインスリン注射にどのように反応するか。
    • ワクチン配布に関する政策の変化に応じて、集団内で疾病がどのように広がるか。
  7. 遷移的不確実性 – これは、システムが制御に対してどのように反応するかに含まれるノイズである。最も単純な例は、風にあおられるロケットや航空機の飛行経路を制御することであろう。通常、システムの推移は既知で決定論的であると仮定するが、それは(風のような)外生的なプロセスの影響を受ける。
  8. 実装の不確実性 – 決定したことと、実際に現場で実行される決定との間には差が生じ得る。例えば以下のとおりである。
    • 医師が特定の薬剤を処方するが、患者がそれを服用しない、あるいは誤った用量を服用する。
    • 科学者が特定の材料の組み合わせを試験したいと考えるが、インターンが誤った品目を発注する(このような誤りが大きな発見を生むこともある!)。
    • 電力網が午後1時に発電機を稼働させるよう指示するが、現地のオペレーターが発電機を稼働させるのは午後2時になってからである。
  9. 伝達の誤り – 現場への指示が単純に誤って伝わることがある。指示を受け取った人物は、要求されたとおりに実行していると考えていても、実際には指示を聞き取れなかったり、理解し損ねたりしていることがある。
  10. アルゴリズムの不安定性 – アルゴリズムを繰り返し実行すると異なる解が返される場合がある。
    • 複雑な問題では、しばしば変動要素をもたらす高度なアルゴリズムの使用が必要となり、これはアルゴリズムが並列処理を用いる際によく生じる。並列プロセッサの速度によってどれが先に終わるかが変わり、それがアルゴリズム全体の経路に影響を与えることがある。
    • 確率的最適化問題を解くためのアルゴリズムは、しばしばモンテカルロサンプリングに依存しており、アルゴリズムを実行するたびに異なる結果が生じる(これは大規模言語モデルを実行する際にも見られる)。
  11. 目標の不確実性 – トラックの配車、金融資産の取引、エネルギー契約の入札など、意思決定に人員のグループを必要とする企業では、人によって重視する性能指標が異なるため、ばらつきが生じ得る。
  12. 環境の不確実性 – ここでの「環境」は、気候、あるいは(政策や関税に影響し得る)政治情勢、あるいは(優先事項の変化をもたらす)企業の新しい経営陣を反映している場合がある。

選定されたアプリケーションからの例

第2章で紹介したアプリケーションのいくつかについて、12種類それぞれの例を見てみるとよい理解が得られる。各アプリケーションについて、それぞれの種類の不確実性の例を一つ以上説明するが、単純なアプリケーションでは12種類すべての不確実性が存在するわけではないことに注意されたい。ここでの本当の目的は、できるだけ多くの不確実性の発生源を認識することであることを忘れてはならない。これらの不確実性が決定を下す過程にどのように反映されるかについては、今後の巻で扱う。

投資信託の現金管理

投資信託は、個人投資家と機関投資家の双方からの償還請求に応じるため、また入金が行われる際に、どれだけの現金を手元に保有すべきかを決定しなければならない。

表 5.1. 投資信託の現金残高問題において生じる不確実性。
不確実性の種類投資信託の現金残高
1. 観測の不確実性
2. 外生的不確実性入金、償還、市場指数
3. 予後的不確実性入金、償還、市場指数、金利の予測
4. 推論的不確実性市場の動向に応じて償還がどのように変化するかの推定
5. 実験的ばらつき現金保有に関する異なる方策の検証
6. モデルの不確実性
7. 遷移的不確実性手元にある現金の額の更新
8. 実装の不確実性
9. 伝達の誤り
10. アルゴリズムの不安定性
11. 目標の不確実性投資収益の最大化と、償還のための株式売却の最小化のバランス
12. 環境の不確実性金利の変化

最適な糖尿病治療の発見

糖尿病患者は、薬剤(インスリンポンプの使用を伴う場合もある)と食事の組み合わせを用いて血糖値を管理しなければならない。

表 5.2. 血糖値の管理において生じる不確実性。
不確実性の種類血糖値の管理
観測の不確実性ヘモグロビンA1c値の測定
外生的不確実性患者が何を食べるか
予後的不確実性食後の血糖値の変化の予測
推論的不確実性患者の血糖値が薬剤にどのように反応するかの推定
実験的ばらつき薬剤の種類による血糖値の変化
モデルの不確実性患者がある種の薬剤にどのように反応するかのモデル化
遷移的不確実性
実装の不確実性患者が医師の指示に従うかどうか
伝達の誤り患者が医師の指示を誤解するかどうか
アルゴリズムの不安定性
目標の不確実性血糖値の低下と消化器系の問題とのバランス
環境の不確実性

サプライチェーン管理

サプライチェーンでは、システム全体にわたって調整しなければならない在庫を管理する必要がある。

表 5.3. サプライチェーンマネジメントにおいて生じる不確実性。
不確実性のクラスサプライチェーンマネジメント
1. 観測の不確実性在庫の測定
2. 外生的不確実性市場需要、天候、輸送時間
3. 予測の不確実性需要、生産、退職の予測
4. 推論の不確実性価格に対する市場の反応、機械の故障率
5. 実験的変動性シミュレーション誤差、新素材のテスト、テストマーケティング
6. モデルの不確実性市場における情報の広まり方、従業員のインセンティブへの反応の仕方
7. 遷移の不確実性在庫の更新
8. 実装の不確実性指示に従わないこと
9. 伝達の誤りサプライヤーへの誤った指示
10. アルゴリズムの不安定性生産スケジュールからの最適解のばらつき
11. 目標の不確実性生産コストと需要充足のどちらを優先するかの違い
12. 環境の不確実性関税、為替レート、金利の変化

ナロキソンキットの配分

州機関は、患者を治療している地域の診療所や医療専門家のニーズを満たすため、ナロキソンキットを配分しなければならない。

表 5.4. ナロキソンキットの管理において生じる不確実性。
不確実性のクラスナロキソンキットの管理
観測の不確実性在庫にあるナロキソンキットの数
外生的不確実性ナロキソンキットの使用を必要とする事案の件数
予測の不確実性薬物使用パターンの変化の推定
推論の不確実性キットの入手可能性がその使用にどう影響するかの推定
実験的変動性
モデルの不確実性薬物使用パターンが時間とともにどう変化するかの理解
遷移の不確実性週ごとのナロキソンキット在庫の変化
実装の不確実性キットが適切に使用されるか、配分指示が守られるか
伝達の誤り現場担当者がキットの配布指示に従うかどうか
アルゴリズムの不安定性
目標の不確実性誰にナロキソンキットを優先的に供給するかの優先順位付け
環境の不確実性ナロキソンキットのための資金の確保状況

トラック車両群の管理

トラックロード運送会社は、どの荷物をどのドライバーで運ぶかを決定しなければならない。

表 5.5. トラック車両群の管理において生じる不確実性。
不確実性のクラストラック車両群の管理
観測の不確実性
外生的不確実性荷主からの新規荷物、ドライバーによる割当拒否、交通遅延
予測の不確実性将来の荷物量の予測
推論の不確実性スポット価格の変化に市場がどう反応するか
実験的変動性ドライバー割当の変更に関するシミュレーションの実行
モデルの不確実性
遷移の不確実性利用可能な荷物数の変化、ドライバーの可用性の更新
実装の不確実性ディスパッチャーがモデルの指示に従うかどうか
伝達の誤りディスパッチャーが管理者の指示に従うかどうか
アルゴリズムの不安定性ドライバー価値の推定値の更新による解の変化
目標の不確実性空荷走行距離と荷主への約束、ドライバーの帰宅とのバランス
環境の不確実性運輸省による労働時間規則の変更

電力網の計画

電力網は、電力会社と連携し、電力網にかかる予想需要を満たすためにどの発電機を稼働させるべきかを決定しなければならない。

表 5.6. 電力網の管理において生じる不確実性。
不確実性のクラス電力網の管理
観測の不確実性気温、天候、顧客の姿勢の推定
外生的不確実性天候の変化、発電機の故障
予測の不確実性気温、風、雲量の予測
推論の不確実性電力網の価格変化に応じて電力需要がどう変化するかの推定
実験的変動性モデルパラメータの変化に対する反応のばらつき
モデルの不確実性地理的領域にわたる風速の推移における誤差
遷移の不確実性予想される風力発電量と実際の値との差
実装の不確実性電力会社への指示と実際の行動との違い
伝達の誤り電力会社に伝達された指示の理解における誤り
アルゴリズムの不安定性整数計画法アルゴリズムの性能のばらつき
目標の不確実性原子力と石炭と再生可能エネルギーの利用のバランス
環境の不確実性余剰太陽光発電の買い取り政策の変化

不確実性がパフォーマンスに与える影響

これまで12種類の不確実性のクラスを識別してきたが、不確実性がモデルの挙動に影響を与える方法は3通りしかない。

  1. 決定がどのように下されるか。
  2. モデルで選ばれた決定から得られるパフォーマンス指標。
  3. 決定が下された後、次の決定が必要になるまでの間のシステムの推移。

さらに、不確実性が現場でのパフォーマンスに影響を与える方法もある。

  1. 現場で実行される決定。
  2. 現場で実行される決定に対する実際のパフォーマンス指標。
  3. 現場におけるシステムの推移。

不確実性がパフォーマンスに影響を与える方法は、ランダムなコストから、患者が薬にどう反応するか、投資の価格に至るまで数多く存在する。ここではひとまず、不確実性がパフォーマンスにどのように影響するかを識別することに焦点を当てる。

不確実性のさまざまな形態

不確実性を理解するための第一歩は、上で行ったように、不確実性のさまざまな発生源を列挙することである。次のステップは、不確実性が生じるさまざまな形態を記述することである。以下にその一例を示す。

1年間にわたる太陽光の1時間ごとのエネルギー出力。日内変動と季節変動の両方を示している。
図 5.1. 1年間にわたる太陽光の1時間ごとのエネルギー出力。日内変動と季節変動の両方を示している。
活動のバースト(急増)の図解。
図 5.2. 活動のバースト(急増)の図解。
2月における、5分ごとに更新されるリアルタイム電力価格。極端なボラティリティを示している。
図 5.3. 2月における、5分ごとに更新されるリアルタイム電力価格。極端なボラティリティを示している。

季節性

変動性の別の形態は、一般的に「季節性」という用語で捉えられ、これには様々な形がある。

図 5.4(左)は、一週間にわたる太陽光発電量を示しており、太陽が生み出すおなじみの、非常に予測可能なパターンを示すと同時に、非常に確率的な雲の存在によってそれが妨げられている様子を示している。図 5.4(右)は、一年を通じた時間ごとの太陽光発電量を示しており、冬季における太陽光発電量の減少が明確に確認できる。

一週間の日次太陽光発電量(左)、および年間太陽光発電量(右)。
図 5.4. 一週間の日次太陽光発電量(左)、および年間太陽光発電量(右)。

信念の作成

コンピュータ上で不確実性をモデル化する場合、それを表現する方法を見つける必要がある。以下にいくつかの一般的な戦略を示す。

観測値の集合から経験的CDFを計算する。
図 5.5. 観測値の集合から経験的CDFを計算する。

相関の問題

前節では、推定における不確実性を表現する方法について簡単に概観した。しかし、いったん不確実性を認識する道を進み始めると、はるかに複雑な相関の問題に直面することになる。

異なる形態の相関を説明するために、情報プロセスのいくつかの例を念頭に置くと役立つ。以下のいずれかのデータの流れを検討していると想定しよう。

  1. 多数の販売拠点にわたる小売製品の顧客購入。
  2. 注文を出してから受け取るまでのリードタイム。
  3. 風力発電施設から発電されるエネルギー。
  4. 最新のインフルエンザ株による新規感染率。
  5. 顧客からさまざまな仕向地へ提示されるトラック輸送台数。

これらは、我々が扱わなければならない情報の流れの種類のほんの一握りに過ぎない。以下では、これらの例を使って3種類の異なる相関について論じる。

時間にわたる相関

すべての逐次決定問題は時間という要素を含んでおり、それは秒、分、時間、日から週、月、さらには年まで、事実上あらゆる時間スケールでありうる。

時間にわたる相関は、我々の5つの問題設定のそれぞれにおいて、以下のように生じうる。

  1. 接近する雪嵐は除雪機の需要急増を生み出しうる。悪評は需要減少の期間を生み出しうる。
  2. 港湾でのストライキは、数ヶ月にわたって荷揚げ時間を増加させる滞留を生み出しうる。
  3. 雨嵐は、数日間続きうる風力発電の増加期間を生み出しうる。
  4. ウイルスがある地域に入り込むと、数週間から数ヶ月続きうる感染増加期間を生み出す。
  5. プラントがメンテナンスのために停止した場合、ある拠点からの出荷量が1週間減少する可能性がある。
実測値対予測値、交差時間を示す。
図 5.6. 実測値対予測値、交差時間を示す。

図 5.6は、天候システムがある地域を通過するにつれて、風力から発電されるエネルギーが一定期間にわたって予測値を上回ったり下回ったりする様子を示している。実測値と予測値の間の誤差だけでなく、予測値を上回る、あるいは下回る状態がどれだけの時間続くか、すなわち「交差時間」として知られる量も再現することが重要である。

ランダムな信号を、通常は定数として扱われ推定が必要となる基準平均からの変動として捉えることは、かなり一般的である。実際には、この「基準平均」自体も変動しうるが、それは異なる時間スケールで生じる。例えば、小売店に入ってくる顧客は、各顧客の行動が独立であるため、細かい時間スケールではランダムな結果を表す。しかし、彼らはより緩やかに変化する市場シグナル(広告、口コミ)に反応している場合もある。

時間にわたる相関に関して間違いなく最大の課題は、複数の時間スケールで同時に発生しうるという点である。独立事象(例えば、毎時間何人の人が咳止め薬を求めて店に入ってくるか)は、モデル化がかなり容易である。より長い時間スケールで生じる変動は、より小さい時間スケールにおいて相関のように見えるものを生み出すため、より困難である。

地理にわたる相関

顧客の購買決定、疾病の発生、天候はすべて、地理的に変化するランダムプロセスの例である。政治的境界が相関を制限する場合もあるが、たいていの場合、単純に距離が相関の強さを支配する。

空間的に分布するプロセスは、典型的に非常に高次元で生じる(空間的位置は非常に多く存在する!)。地理的相関を単純化するのは、それが典型的にかなり容易に捉えられるという点である。地理は距離の純粋な関数である場合もあるが、地理的境界や人口移動パターンを反映することもある。幸いなことに、こうした相関を特定し捉えるのに役立つ強力な数学的ツールが存在する。

地理にわたる相関は、我々の5つの問題設定のそれぞれにおいて、以下のように生じうる。

  1. 除雪機の需要急増もまた、雪嵐(地域的である)に対応しているため地域的である。
  2. 港湾での遅延は、その港が対応する地域における供給の減少を生み出し、港に近い地点ほど相関が高くなる。
  3. 雨嵐もまた地域的であり、嵐の影響を受けた地域の風力発電施設からのエネルギー急増を生み出す。同様に、暑熱期間(これも地域的である)は風力の低下期間を生み出す。
  4. インフルエンザの拡散は、互いに近い人々の間で伝わるため地域的である。
  5. 貨物は、製造プラント(一地点に位置する)の変化、あるいは地域的な力によって駆動されうる需要の変化のいずれかによって生じる。

属性にわたる相関

我々の例の多くは、一連の属性によって特徴づけられる活動を伴っている。

  1. 衣料品に対する需要は、似たようなスタイルだが色が異なる衣料品の間で相関を持つ。
  2. 共通の投入財(衣料品用の素材、自動車用のチップ、モーター用のレアアース等)を共有する製品は、その投入財が不足している場合、類似したリードタイムの遅延を示す可能性がある。
  3. (風力エネルギーについては、属性にわたる相関の明白な使用はない。)
  4. 新規感染は、年齢や既往症といった特徴を共有する人々の間で相関している可能性がある。
  5. トラック輸送の流れは、共通の商品や製品を輸送している場合に相関しうる。

すべての属性を展開すると、特定の属性の組み合わせに対する観測数が非常に少なく、場合によってはゼロになるほど多数の組み合わせが生じることがしばしばある。こうした問題は、階層的推定法の使用に適しており、そこでは一つまたは複数の属性を無視することで異なる時系列を作成し、それらを加重的に組み合わせて使用する。

演習問題

復習問題

  1. 不確実性の12のクラスの名前を挙げ、それぞれについて任意のアプリケーションから一つずつ例を示せ。
  2. ランダムプロセスを記述しうる不確実性の7つの形態の名前を挙げ、それぞれを生み出しうる状況を説明せよ。
  3. 不確実性がシステムの性能に影響を与えうる方法にはどのようなものがあるか、それぞれについて例を挙げよ。
  4. 季節性の4つの形態の名前を挙げよ。
  5. 以下の観測値から風速の累積分布を作成せよ。

    (17, 8, 2, 12, 9, 28, 10, 8, 35, 12, 15)

モデリング演習問題

以下の各設定について、前節で示した表に従い、各クラスの中でできるだけ多くの不確実性の形態を見つけよ。

  1. 第2章の在庫計画問題。
  2. 第2章の家具需要管理問題。
  3. 第2章の臨床試験計画。
  4. 第2章の大統領選挙の運営。
  5. 第2章のサプライチェーンファイナンス。
  6. ある程度の複雑さを持つ、自分自身の問題設定を一つ選び、12のクラスを指針として、できるだけ多くの種類の不確実性を特定せよ。