《ファジイ理論》のソースを表示

'''【ふぁじいりろん (fuzzy theory) 】'''

　1964年L. A Zadehが通常の集合を一般化した[[ファジィ集合]] (fuzzy set) を導入したことに始まる ( [7] ). データの曖昧さや制約の厳しさの程度を表現できるもので, ORと融合して最適化等での使用に適している. 

　通常の集合はその帰属性が0または1の2値（属するとき1, 属さないとき0で特性関数と呼ばれる）で表されるのに対し, ファジイ集合はこれを一般化して帰属性を区間<math>[0,1]\, </math>の値で表す. 完全に属するとき1, 属さないとき0という値をとる帰属度関数と呼ばれる関数で表現される. 関数値が大きいほど帰属性が高いことになる. すなわち, 全体集合<math>\mbox{T}\, </math>（これは通常の集合）の各要素 <math>x\, </math> とその帰属度関数値<math>g(x)\, </math>のペア<math>\{(x,g(x))|x\in T\}\, </math> として表記される. 人間の主観などにおけるあいまいさを定量化するために考えられたのであるが, いろいろな分野に応用されている．例えば若いという概念は年齢としてどこからが若くてどこからが若くないかがはっきりしないのでファジイ概念である. 主観により違うが<math>x\, </math>を年齢とすると例えば次のような帰属度関数<math>\mu_{\boldsymbol {A}}(x)\, </math>で表される.  


<center>
<math>\mu_{\boldsymbol {A}}(x) = 
              \left\{ \begin{array}{cll}
                1       & \mbox{if} & 0 \leq x \leq 20,\\
           (50-x)/30    & \mbox{if} & 20 < x < 50,\\
                0       & \mbox{if} & 50 \leq x,\\
                      \end{array} \right.
\, </math>
</center>


　これは20歳までは確実に若いといえるがそれを超えると徐々に若いと言えない度合いが増え, 50歳以上は若いとは言えないということになる. 人間の先験的知識を用いる[[ファジィ論理|ファジイ論理]] (fuzzy logic)が制御に応用され, ファジイ洗濯機などの電化製品や仙台の地下鉄などの木目細かい制御の実現に役立てられ, ファジイ制御と呼ばれている. 

　ORとの融合は'''ファジイ数理計画''' (特にファジイ線形計画) を除いて最近始まったばかりである. ファジイ環境下での意思決定は満足度という概念を表す帰属度関数を考えることにより, 制約条件と目的関数を同様に扱うもので, L.A.Zadehが初期の頃より考えていた. 線形不等式<math>\Sigma_{j=1}^{n}a_{j}x_{j}\leq b\, </math> を例にあげれば, 満足度を示す以下のような帰属度関数


<center>
<math>m_{C}(\Sigma_{j=1}^{n}a_{j}x_{j})=
\left\{ \begin{array}{ll}
    1       &(\Sigma_{j=1}^{n}a_{j}x_{j}\leq b) \\
    1-(\Sigma_{j=1}^{n}a_{j}x_{j}-b)/d & (b<\Sigma_{j=1}^{n}a_{j}x_{j}\leq b+d)\\
    0       & (\Sigma_{j=1}^{n}a_{j}x_{j}>b)                
  \end{array} \right.
\, </math>
</center>


が'''ファジイ制約'''である. また目標値<math>z_{0}\, </math>へどれだけ到達したかを示す満足度で表される'''ファジイ目標'''はやはり１次の目的関数<math>z=\Sigma_{j=1}^{n}c_{j}x_{j}\, </math>を考えると, 


<center>
<math>m_{G}(\Sigma_{j=1}^{n}c_{j}x_{j})=
\left\{ \begin{array}{ll}
    1       &(\Sigma_{j=1}^{n}c_{j}x_{j}\geq z_{0}) \\
    (\Sigma_{j=1}^{n}c_{j}x_{j}-z_{1})/(z_{0}-z_{1}) & (z_{0}>\Sigma_{j=1}^{n}c_{j}x_{j}\geq z_{1})\\
    0       & (\Sigma_{j=1}^{n}c_{j}x_{j}<z_{1})            
  \end{array} \right.
\, </math>
</center>


と書かれる. これら幾つかのファジイ制約とファジイ目標の下でその最小満足度を最大にする<math>{\mathbf x}=(x_{j})\, </math>を求めるという形式にファジイ数理計画をモデル化できる. 

　意思決定との関係で, '''ファジイ動的計画'''もBellman, Zadeh([1])で初期から考えられていた. ファジイと確率とは一見アナロジーがあり, 実際確率計画とファジイ数理計画との間には対比されるような概念が多く見られる. 上記のファジイ制約と機会制約条件などがその例であり, どちらも少しの制約の違反は認めるものである．実際, '''可能性'''と確率とはよく混同されるが, 可能性は物事の生起能力に関するもので, 確率は頻度に関するものである．Zadeh は違いの例として, ある人が朝何個卵を食べるかは確率的 （統計的） であり, 何個食べることができるかは別であるとしている. 最近は, '''ファジイ数''', '''ファジイ関係''', あるいは'''ファジイランダム変数'''なども最適化に導入され, 連続変数の最適化だけではなく, '''ファジイ組合せ最適化'''などの研究も行われている. [[ファジイ数]] (fuzzy number) は通常の数をファジイ概念化したものであり, モデルを記述する係数の不確実性を表している. ファジイ関係はスケジューリングにおける先行関係のファジイ概念化として用いられている. また, ファジイランダム変数はいわば実現値がファジイ数であるようなもので, ファジイ要素とランダム要素が混在するモデルを考えるのに有効である. これらを総称して[[ファジィ最適化|ファジイ最適化]] (fuzzy optimization) と呼んでいる. ここではファジイ理論とORの関係を中心に紹介したが, [[ソフトコンピューティング]]とも関係している. ファジイ理論は, 集合論ばかりでなく, 数学全般に広がってきており, ますますORに用いられるファジイ概念が出てくると思われる.  



----
'''参考文献'''

[1] R. E. Bellman and L. A. Zadeh, "Decision Making in a Fuzzy Environment", ''Management Science'', '''17''' (1970), 141-164.

[2] 乾口雅弘, 「多様化時代の数理計画　第５回　確率計画法　VS　可能性計画」, 『オペレーションズ・リサーチ』, '''41''' (1996), 641-645.

[3] H. Ishii and M. Tada, "Single Machine Scheduling Problem with Fuzzy Precedence Relation", ''European Journal of Operational Research'', '''87''' (1995), 284-288. 

[4] A. Kaufmann and M. M. Gupta, ''Introduction to Fuzzy Arithmetic* Theory and Application'', Van Nostrand Reinhold, New York, 1984.

[5] 坂和正敏, 『ファジイ理論の基礎と応用』, 森北出版, 1991.

[6] 坂和正敏, 石井博昭, 西崎一郎, 『ソフト最適化』, 朝倉書店, 1995.

[7] L. A. Zadeh, "Fuzzy Sets", ''Information and Control'', '''8''' (1965), 338-353.　

[8] N. Watanabe, "Fuzzy Random Variables and Statistical Inferences," 『日本ファジイ学会誌』, '''8''' (1996), 126-135.　　

[9] 菅野道夫, 室伏俊明, 『ファジイ測度』, 日刊工業新聞社, 1993.