: ファジィ数とその計算
: ファジィ理論の数学的基礎
: αレベル集合
  目次
拡張原理は,ファジィ集合からファジィ集合への写像の方法を与える重要な原理である.写像の特別な場合である,関数の取扱いもこれにより導かれる.
写像
を拡張して,によるファジィ集合に対する像は次のようなメンバシップ関数をもつファジィ集合と定義される.
これは,次のように読めばよい.つまり,「像の任意のに対するグレードは,となるようなすべての(即ち)のに対するグレードのうちで最大(厳密には,上限)のものとする.ただしとなるが一つも存在しないときには,に対するグレードは0とする.」である.
例えば簡単な場合として,図4.23のような1対1写像を考える.このときはとなるは(1対1ゆえ)一つしか存在しないから,上の定義のsupは事実上とる必要がない.つまり,のに対するグレードはを与えるのにおけるグレードと一致する.要するにのすべての要素をそれぞれ写像して,その像のグレードとして元の要素のグレードを用いることに他ならない.ここで,図4.23中のの部分では,の逆像が定義されない部分であり,グレードは0となる.この部分は,上の定義の2番目のケースに対応している.
図 4.23
拡張原理の例(1対1の写像の場合)
|
さて,一般には写像は,対1であるからとなるは複数存在する.この場合は,のグレードとしては,それら複数存在するのグレードのうちで最大のものを採用するというのが,上の定義のsupの意味である.例えば,図4.24のような写像を考えると,を与えるとしては,との二つがある.したがって,ここでは,のにおけるグレードとして,とのうちの大きい方,つまりが選ばれる.
図 4.24
拡張原理の例(2対1の写像の場合)
|
この写像の拡張原理は普通の文献では天下り的に定義されているが,よく考えると,この定義はファジィ関係の間の演算によって当然の帰結として導くことができる.ここで,詳細に説明する余裕はないが大筋は以下のようになる.まず,写像は上のファジィ関係(実際には,2次元のクリスプ集合だがファジィ関係の特別な場合と見れば統一的な取扱いに便利なので)とみなすことができる.または上のファジィ集合だがこれを同じ「土俵上」つまり同じ台集合に乗せるために,その円柱集合を求める.そしていまここで,写像とが同時に成り立っているという意味で
なるファジィ関係を求める.この得られたファジィ関係を上に射影すると,これが,求める像となるのである.つまり,
である.
上の定義では,1変数の写像しか取り扱わなかった.ここでは,他変数の写像の場合を考える.即ち,全体集合
の要素の変数
を全体集合の要素の変数に対応させる多変数の写像
が与えられた場合,これをファジィ集合の写像に拡張する方法を考える.
つまり,
なる個のファジィ集合に対する写像による像
がどのようなファジィ集合として与えられるかである.これは,全体集合
のファジィ部分集合
に対する写像による像としてとらえれば,直ちに解決する.即ち,
と考える.ここで,
と置けば,は
上の項ファジィ関係であるから,このメンバシップ関数は,
と変数で表される.したがって先の拡張原理ではがファジィ集合であったところを,ここでは,が項ファジィ関係であると一般化して考えればよく,結局,項ファジィ関係の写像による像は下のようなメンバシップ関数を持つファジィ集合として得られる.
これは,次のように読めばよい.つまり,「像の任意のに対するグレードは,
となるようなすべての組合せ
の
に対するグレードのうちで最大(厳密には,上限)のものとする.ただし
となる組合せ
が一つも存在しないときには,に対するグレードは0とする.」とである.
Nguyenの定理よれば,拡張定理はレベル集合を用いて,等価的に下のように与えられる.
つまり,各々のファジィ集合のレベル集合による写像が,の像のファジィ集合のレベル集合となることを示している.これによれば,ファジィ集合の写像を直接扱わなくとも,クリスプ集合であるレベル集合の写像を考えて,最後に写像結果を重ね合わせればよい.
しかし,ここで,よく考察すると,上の定理は,直積が,論理積()に基づいて定義されたときにしか成立しないことに注意する必要がある.より一般的には,Nguyenの定理は,以下のように表されるべきだろう.
ここで,直積が論理積()で定義される場合に限って最初のNguyenの定理のような特別な場合が成立するのは,この場合に限り,
の関係(つまり,ファジィ集合間の直積のレベル集合が,それぞれのファジィ集合のレベル集合間の直積に一致するという関係)が成立するからである.
: ファジィ数とその計算
: ファジィ理論の数学的基礎
: αレベル集合
  目次
平成12年5月17日