意思決定文援システムの開発と統合モデリング
野末 尚次…l………l…llll…llll……lll…llll‖＝‖‖‖‖‖‖‖‖‖‖＝‖‖‖＝‖‖‖＝‖‖＝＝‖‖＝＝‖＝＝‖‖‖‖‖‖‖‖‖‖＝‖‖‖‖‖‖＝‖‖＝＝‖‖＝＝‖‖‖‖‖＝‖‖‖＝＝‖＝‖‖‖＝‖‖＝‖‖＝＝＝‖＝‖‖‖‖‖‖＝‖‖＝＝‖‖＝‖‖＝‖‖‖＝‖‖＝‖‖‖＝‖‖＝‖‖‖＝‖‖＝‖‖‖‖仙

空間と数学的な定式化が行われるモデル空間を明確に

1．はじめに分離して考えると同時に，これらの空間相互のインタ企業の意思決定問題に対して，実務的にORを応用する場合には，その利用者が必ずしもORの専門家とは限らないため，その業務に対応した意思決定支援シフェースの構造を定義した「インタフェース・モデル」を導入している．

最後のモデルは，実際にOR理論等を用いて問題をステム（DSS：Decision Support System）を構築し定式化し，ソフトウェアを開発する段階にある．すでて利用される場合が多い．に述べたように，非構造的な問題では，制約条件や評現実の意思決定問題では，対象が複雑ですべての制価基準が後から追加・修正される場合が多いたれ 手

約条件が明確ではなかったり，評価も複数の曖昧な基続的なアプローチによるソフトウェア・ロジック

準がある場合が普通であり，単純な（答えの得られ（例：鶴亀算）では，改修等（例：百足を追加？）がる）最適化問題に定式化することが困難な場合が多い．

困難のため，迅速な対応が難しい．

このような問題は，「非構造的な問題」（節2で定このような状況では，責言的なアプローチ（例：連義）として認知されており，コンピュータによる解の立方程式）が望ましい．宣言的なアプローチとしては，自動作成を狙った開発を行っても，失敗するケースがPROLOGが1970年代から提案されているが，基本多い．

的には，全数探索をベースとしているため，計算量がしたがって，人間と協調した解の作成が不可欠であ

指数爆発を起こしてしまい，実肝面では有効ではなかり，人間の思考プロセスに適合した探索プロセスをコった．しかし，現在は，制約論理や制約プログラミンンピュータにより支援する必要がある．

グの発展により，無駄な探索空間を制約伝播により事この探索プロセスは，3種類のモデルで表現される．
最初のモデルは，この思考プロセスのモデルである．
これには，Simonにより提示された「発見段階」，前に削除する技術が発達し，効率の良い市販のソフト
ウェア・パッケージが利用可能となっている．

数理的なアルゴリズムを開発する際の基本的な考え「設計段階」，「選択段階」の3段階よりなる「思考プ方として，「制約ベース・モデル」を採用している．

ロセス・モデル」を用いている．

対象となる制約条件を抽出して定義し，これを充足す次のモデルは，人間とコンピュータのインタフェー
スのモデルである．これには，次に述べる二つの重要る解を制約伝播を利用しながら探索する方式である．
実際の使用場面では，軽微な条件の変更に対しては，できるだけ事前の計画に近い案が望まれるので，探索な課題がある．

非構造的な意思決定問題では，人間の総合力・直感力による判断が不可欠であり，これらが有効にはたらく計算結果の提示が重要である．次に，この人間の判断をコンピュータにフィードバックすることが必要とをベースとする方式は，この点でも優れている．

ORの理論は，緩和問題として，制約伝播や探索方向の評価で積極的に利用している．

以上に述べたように，実際に有効な意思決定支援シなるが，通常，計画者はORの専門家ではないため，ステムを開発するためには，この3モデルを十分認識数学的なモデルを直接操作することは困難である．

する必要がある．

この間題を解決するために，計画者が考えるユーザのずえ なおつぐ
㈱数理モデリング研究所〒186−0002回立市束卜18−10
2005年4‖号

本稿では，筆者が研究開発してきた意思決定支援システムを例にして，この3モデルの考え方を紹介する．

© 日本オペレーションズ・リサーチ学会. 無断複写・複製・転載を禁ず.

（15）233

着色表示している．都心部や鉄道沿線に人口が多いこ

2．思考プロセス・モデルと，また人口が少ない河川や皇居なども認識できる．
図3では，1，000人単位で階層化した結果を示して人間の意思決定過程は，Simonによれば，次の3いる．この結果は，図2とは大変様子が異なり，山手段階よりなる．

通と環状7号繰に挟まれた地域が人目の最も桐密な地

1）発見段階（Intelligence）：関連情報の収集とそ域であることに気がつく．これは，地図状に表示されれに基づいた問題点の確認

た人口分布のイメージに対して，経験的に取得してい2）設計段階（Design）：問題の定式化，可能解のる道路情報をマッピングすることにより，知識が抽出生成，実現可能性のヂェックによる代替案の設定されたことを示している．

3）選択段階（Choice）：複数の代替案の中から一

この知識からは，東京で地震が発生したら，この地つの案の選択とそれに基づいた実行案の作成

域で非常に大きな被害が発生する可能性が高いことをこのような流れを詳細にしたGPPS（Generalized−推定できる．これは国の防災計画でも指摘されている．

ProblemProcessing）と呼ばれるモデル（図1）が提この14，400個のメッシュデー案されている．

タを地図イメージにマッピングしなければ，このような知識を得ることは問題が非構造的と呼ばれるのは，「設計段階において，いまだ明確に把握できない課題が残っていたり，また，選択段階においても，可能な代替案の範囲が確定できないような状況が不可避的に発生する」場合であり，企業の重要な意思決定の多くはこの範噂に属する．この非構造的な問題に対しては，コンピュータによる自動計画作成は不可能であり，人間の直観的な洞察や経験的な知識に基づく総合的な判断が不可欠である．

このGPPSをモデルとしてDSSの開発を行っている．
・問題発見→制約条件の抽出，評価項目の抽出
図2 首都圏の人口分布（TRAMPS：500人単位）

・代替案作成→制約伝播による不用な代替案の削除
・代替案選択→複数の代替案の評価と選択

これらに関しては，節3以降で言及する．
2．1人間の直感的な判断
非構造的な問題を解決するためには，人間の直感や経験に基づく判断が不可欠であるが，筆者らが開発した地理情報システム（TRAMPS）の例で示す．

TRAMPSは，交通計画のベースとして，国勢調査等のメッシュ・データを分析・表示可能なシステムである．ここでは，東京圏60km四方の人口分布の500mメッシュ・データ（14，400個）を表示する．

図2では，500人単位で階層化して，各メッシュを間且巣鷹

図3 首都圏の人口分布（TRAMPS：1，000人単位）

代替案作成

代替案選択

データ収義 1）データ収集

4）妥当性の検証

7）実行可能性検証

データ加エ 2）問題雀灘5）分析

8）実施案の作成

評価・選択

3）概念モデル構成 6）♯決策の導出 9）実施案の提案

図1GPPSの思考70ロセスモデル
234（16）

オペレーションズ・リサーチ© 日本オペレーションズ・リサーチ学会. 無断複写・複製・転載を禁ず.

できないと考えられる．また，コンピュータも人間が

3．1列車乗継案内システム

持っている経験知識がなくては，また，あったとしてこのシステムは，図6に示すように，も，このような結論を得ることは困難と考えられる．

・「A駅を川寺に出発して，B駅に最も早く着くには？」

3．インタフェース・モデル

・「B駅に＝時迄に到着するには，A駅を何時に出DSSの利用者は数理計画等の専門家ではないため，専門的な知識を用いたインタフェースは機能しない．
このような状況として，英語は理解できるが，和文発？」

等の質問に対して，出発／到着時刻や釆継経路を案内するシステムである（このシステムは，1990年に開発されたが，事情があって実使用されなかった）．

英訳はできない人が「日英翻訳システム」を利用するケースを実際に口英翻訳システムを用いて調べた．

図6で「貴方の年齢は？」と問うている部分が，こ図4に示すように，まず「文例1」を人力した．この英文を検討すると，主語が誤っているので，「文例2」のように修正した．この結果から，「幼い兄の子供」をシステムが意味論的に解釈できないようなので，「文例3」のように修止した．この英文からは，「連れて帰る」という動詞が2語に分割されて誤訳になっている． これは，日本語の例文の中の「て」が「買って帰る」のと同じ解釈をされていると考えられるので，
図5 高度なツールを含むDSSの構成方式「連れ帰る」と修止した「文例4」を人力した．この結果得られた英文は，満足の行くものである．
この説明から明らかなように，翻訳希望者は，「英＝イブリツド塾の列車蒙り縫ぎ軍内童静システム（E＄下暮）文和訳」と「日本語の修正」だけで，高度な「和文英エキス／トト・システムの入刀訳」に成功してし−る．

発駅を入力して下さい
着駅を入刀して下さい

この事例を分析することにより，凶5に示すような（出発時刻入刀＝0■／一到着時刻入力＝1）・・…・ト0

時刻を入刀して下さい ？？：？？……■12：16

今担‖ま，ユーザ空間からモデル空間のアルゴリズム

責万の年齢l註？25
ゆつくり行きますか？ N
乗り換えは苦にならない？ Yが想定できたので，翻訳がうまく行えた．実際の問題でも，この子測可能性は非常に重要な性質である．

貴方は若いので乗り換えをダ、ソシュで行う様に時間を設定します。

LPで解く時に，解を改良しようとして，ネックとる別解が出て困惑することがあるが，これは，子測可能性がないからである．このような状況では，モデル空間の特性をガイドする支援機能が必要である．

…＝ト 横浜出発時刻を入刀しますか，到着時刻を入刀しますか

ユーザ空間とモデル空間を持ったモデルを導入した．

なっている原料を少し増した結果，意図とは全く異な‥…ト 国立

中突快速〔快速〕
乗重訳 ・い小卜国正
海事駅 …‥ト国分寺
中央快速
乗車駅 ・・■・・ト国分寺
降車駅 ・‥‥ト粟京
葉海道線
乗垂駅 …・一一葉京
野車駅 ‥‥・ト横浜

薫垂時分 …‥ト12：18
降車時分 ・t・・‥ト12：22（持侠）乗車時分 ・・…ト12：24
降車時分 ・・・1・ト12：粥

〔普通）

このような構成をテストするために開発した「列車葉垂時分 …・・ト13：関

降車時分 …‥■13二3C

釆継案内システム（EST3）」を次節で紹介する．
図6 列中来継案内システム（EST3）【文例り 幼い兄の子供を書に連れて帰った。

＝＝＞ Accompanyingachildofayoungolderbrotherinahou8eitrettqned・〔文例2〕 私は．幼い兄の子供を手に連れて帰った。

＝＝＞1accompaniedachildofayoungolderbrotherinahouseandreturned・〔文例3】 私は，私の兄の幼い子供を彼の手に連れて帰った。

＝＝＞1accompaniedayoungchildofmyolderbrotherinhishouseandreturned〔文例4〕 私は．私の兄の幼い子供を彼の寺に連れ帰った。

＝＝＞ ltookbackayoungchildofmyolderbrotherinhishouse・
図4 H英翻訳システム利用例
2005年4Jjり−© 日本オペレーションズ・リサーチ学会. 無断複写・複製・転載を禁ず.

（17）235

変数の定義：仕事の集合Nに対して、以下の変数を定義する

腐番号ぷ乃仕事を行った作業者が次ぎに行う仕事の番号㈲：番号の仕事の開始時刻㈲：番号の仕事を行った作業者の番号
制約条件の定義：

腐∈ A［dざ∈N ／／A［dは、の直後に実行可能な仕事の集合

晩7∈ P g∈N ／／Pは、作業者の集合
ゆ（ね〝＝I免／ ざ∈N ／／きと．㈲ま、同じ作業者が担当

乃フ晩〟≧Wナ（ぬ7 ざ∈N ／／感dま、の作業時間．晩7≠．喀ノ き≠〟 阜〟∈N ／／仕事は、一人に割当∂J㈲≦花訂ゴん㈲ き∈N ／／開始時刻の制約

図7 ハイブリッドなシステム構成

図8 スケジュール問題の制約表現のシステムの最大の特徴である．これは，前節で述べたように，利用者がモデル空間をコントロールする機

4．制約ペース・モデル能を提供している．年齢を調べて，高齢者には，「乗ー般的に，組合せ問題は，問題の規模に対して計算換え回数の少ないルート」や「乗換えは，接続時間が量が指数関数的増加するため，最適解を求めることは十分ある乗換」等を考慮した乗継案内案を提供する．

困難なケースが多い．

このような機能を実現するために，「AIのエキスパまた，非構造的な問題の特徴でも述べたように，こート・シェル」と「数理計画の経路生成システム」との種の問題では，ある評価基準の下で唯一の最適解がいう2個のサブシステムで構成されている（図7）．

得られても，潜在的な条件等で実施できない可能性が

列車検索エキスパート・システムは，ルールベース高いこともあり，あまり有効ではない．のエキスパート・シェルで，LISPで開発されている．

むしろ，ある水準を満たす複数の代替案が得られる

この役割は，入力された属性に従って，数理計画シス方が実用上は役に立つ．また，時間の経過とともに条テムの問題を修正することと，返されてきた複数の案件が変わるので解を修正するが，できるだけ元の解にから利用客属性に通した案を抽出することである．

近い解を生成する機能も重要である．

このサブシステムは，ルールにより制御されているので，ルールを修正・追加することにより，利用者の新たなニーズに適合させることができる．
さらに，利用者に対して，文字ベースの時刻，経路制約ベースのモデル化では，数上げを基本としており，処理形態上は，このような要望には対処しやすい．

また，ソフトウェアの開発上も制約をベースに設計されるので，新たな制約の追加は容易である．

情報の外に，可能な代替経路と選択された経路を画面

制約ベースの記述は，複雑な問題も非常にシンプル上に同時に表示することにより，直感的に回答の是非に表現できる場合が多い．図8に典型的なスケジューを判断できるよう支援している．

リング問題の制約ベースによる定式化の例を示す．

代替経路生成・数理計画システムは，ネットワーク理論をベースとしたアルゴリズムにより，複釆禁止条件（同一駅の複数回通過を禁止）を満たす許容経路を問題：「作業順序に制約のあるⅣ個の仕事をP人の作業者に割り当てる」
条件：一つの仕事を複数の作業者に割当ない．

複数生成し，時刻表を使って列車乗継案を生成する．

各仕事には，次に実行可能な仕事の集合が許容経路の生成では，複乗禁止条件を除いた緩和問題ある．

を考えると，次の不等式が成立することが分かる．

各仕事には，着手開始時刻の制約がある．

発駅〜中継駅〜着駅の許容経路の最短距離

この間題は，ズ［ぶ］（sの次に行う仕事）とy［s］（s≧発駅から中継駅迄の最短距離を行う人）という変数を導入することにより，非常に＋着駅から中継駅迄の最短距離簡潔に表現できる．

この不等式を利用することにより，実際には使用さ・∫を行う人とズ［5］を行う人は同じれない迂回距離の大きい経路の事前削除が可能となり，・現在の仕事が違えば，次の仕事も違う代替案が絞り込まれて，計算時間が大幅に短縮される．

この例からも分かるように，制約ベースの開発では，制約条件の追加・削除は非常に簡単である．したがって，スパイラルな開発が可能であり，使用開始後のメ236（18）

オペレーションズ・リサーチ© 日本オペレーションズ・リサーチ学会. 無断複写・複製・転載を禁ず.

に処理して解を得るプロセスも重安だが，計拘肴と協ンテナンス性も非常に良い．

しかしながら，複雑な問題に対して，制約ベースで調して問題を解くプロセスも非常に亜要である．

解を探索するには，場合によっては，不要な領域を事数学的にモデル化ができても，その人カデータが〝前に強力に削除する制約伝播ロジックを独自で開発す在しない場合もあり，その時は，データの隼成法をそる必要がある．

案することからスタートしなければならない．

ここがキーポイントとなるが，これには，OR関連現実の問題を解決するためには，GPPSで／］tされてのモデルの知識や運用能力が本質的に問われるので，いる総合的なアプローチが必要であり，これが私の基チャレンジする価値はあると思う．

本モデルである．

5．おわりに

参考文献

実際の問題を解決するためには，その間題を数学的

2005年4Jトリ一［1］野末F［13次：http：／／www．mathrmodel．co．jp．

© 日本オペレーションズ・リサーチ学会. 無断複写・複製・転載を禁ず.

（19）23丁