ファジィ集合

テンプレート:Redirect テンプレート:出典の明記 ファジィ集合（ファジィしゅうごう、テンプレート:Lang-en-short）は、自然言語で表されるような曖昧な対象を定量化し、通常の集合（集合の要素であるかないかが、「ある」か「ない」のどちらかであるような集合）と同じように演算など（集合代数）の対象とされる、集合である。ZFCなどをベースとしているためあくまで累積階層的集合観（cumulative hierarchy notion of set）の理論である。

1965年にロトフィ・ザデーによって提唱された。集合に帰属する度合を表すメンバシップ関数により、曖昧な対象を定量化して扱う。

なお、日本語の「曖昧」という言葉は多義的で、「多義的」（2つ以上の意味にとれる）という意味があるが、ファジィはファズの形容詞形で、たとえば綿毛（冠毛）のような、境界がはっきりしないようす、周辺が不明瞭なことを意味し、多義的という意味はない。

一般に集合の体系には論理の体系が対応するが、ファジィ集合に対応するのはファジィ論理である。ファジィ集合やファジィ論理を利用した制御をファジィ制御といい、これらのファジィに関する理論をファジィ理論という。

導入

あるファジィ集合の要素である度合いは、メンバシップ関数によって表される。例えばある年齢の人間を「若者」「中年」「老人」という3種類にわけることを考える。このときどこまでの年齢を若者とするか老人とするかは人によって意見の分かれる部分である。ファジィ理論ではこのような曖昧な事象を定量化し、集合のように扱うことを可能にする。例えば若者に属する集合を A、中年に属する集合を B、老人に属する集合を Cとすると「35歳の人間」 x は

${\mu }_A(x)=0.2$

${\mu }_B(x)=0.7$

${\mu }_C(x)=0.1$

という風に表す、ここでは35歳の人間は0.7の割合で中年に属し0.2の割合で若者に属し0.1の割合で老人に属すると置いている（実際に正しいかどうかは別、あくまでこのように定義するという指標）。このとき ${\mu }_A(x)+{\mu }_B(x)+{\mu }_C(x)=1$ である。（ただし、各概念がこのようにきちんと分割できなければいけないというわけではない。）このように「どこまで属する」という事柄を割合として表すことのできる集合 $A,B,C$ をファジィ集合といい、具体的な割合の数値をだす各${\mu }_A(x),{\mu }_B(x),{\mu }_C(x)$をメンバシップ関数という。メンバシップ関数の値が0か1にしかならないのが、 通常の集合（非ファジィ集合、あるいはクリスプ集合と呼ぶ）であり、ファジィ集合は通常の集合の拡張といえる。

なお、ここで「年齢」という「変数」を考え、その「値」として「若者」「中年」「老人」という値をとる、といったようにして、（ファジィの研究者の用語で）「言語学的変数」（linguistic variables）といったものを導入することがあるが、以上で説明したように、最終的には実数値を扱うものであり、（ソシュールやチョムスキーらによるような）言語学的な何かがそこにあるわけではない。

厳密な定義

定義

ファジィ集合とは、集合 テンプレート:Mvar と テンプレート:Mvar から単位閉区間 テンプレート:Math への函数 テンプレート:Math の対 テンプレート:Math のことをいう。

函数 テンプレート:Mvar をファジィ集合 テンプレート:Math の帰属函数（membership function; メンバシップ函数）といい、各 テンプレート:Math に対して、値 テンプレート:Math は テンプレート:Math における テンプレート:Mvar の帰属度 (grade of membership) と呼ばれる。有限集合 テンプレート:Math に対してファジィ集合 テンプレート:Math をしばしばテンプレート:Math のようにも書く。

ファジィ集合 テンプレート:Math において、テンプレート:Math が

• テンプレート:Math のとき、このファジィ集合に含まれない (not included) または属さない
• テンプレート:Math のときまったく含まれる (fully included)
• テンプレート:Math となる テンプレート:Mvar は テンプレート:Math のファジィ元（fuzzy member; あいまい要素）

という。また、

• 集合 テンプレート:Math をファジィ集合 テンプレート:Math の台 (support)
• 集合 テンプレート:Math をファジィ集合 テンプレート:Math の核 (kernel, core)

と呼ぶ。

ときには、より一般化されたファジィ集合の一種として、帰属函数がある種の代数系や構造 テンプレート:Mvar（テンプレート:Mvar は一つ固定して考えることも動かして考えることもある）に値をとるようにすることもある（大抵は テンプレート:Mvar が少なくとも順序集合や束となるくらいのことは仮定する）。これらを通常のファジィ集合と明示的に区別するときは、通常は テンプレート:Mvar-ファジィ集合 (テンプレート:Mvar-fuzzy set) や テンプレート:Mvar-値帰属函数のようにいう。通常の単位閉区間値の帰属函数は テンプレート:Math-値帰属函数、通常のファジィ集合は テンプレート:Math-ファジィ集合である。このような一般化は、初め1967年にザデーの弟子 テンプレート:仮リンク によって与えられた。

諸定義

ファジィ集合によってさまざまな概念をファジィ化したものが定式化できる。

ファジィ数

凸かつ正規化された帰属函数 テンプレート:Math を持つ実数からなるファジィ集合 テンプレート:Math がファジィ数であるとは、その帰属函数が少なくとも区分的に連続かつ、少なくとも一点において テンプレート:Math となるものをいう。

この概念は、相手の体重を推測して正解により近い値を答えたほうが勝ちという「体重当て」遊びにも近いものがある。この場合、実体重を正確に言い当てることが帰属函数の値が テンプレート:Math になることに相当する。

ファジィ区間

実数全体の成す集合の部分集合 テンプレート:Math が テンプレート:Math なる元に挟まれた区間となっているようなファジィ集合 テンプレート:Math をファジィ区間 (fuzzy interval) という。ファジィ数と同様に、帰属函数 テンプレート:Math は凸かつ正規化され、少なくとも区分的に連続とする

ファジィ圏

圏論において、集合の帰属関係を主要な構成要素として用いるような圏はファジィ集合を使って一般化することができる。このようなアプローチはファジィ集合の導入されてすぐ後の1968年には始まっており、21世紀には「ゴーグエン圏」("Goguen category") の発展を導いた。これらの圏では、通常の集合の（二値）帰属函数ではなく、より一般の区間値のものが用いられ、あるいはまた テンプレート:Mvar-ファジィ集合のように束に値をとるものとすることもできる。

ファジィ集合の基本演算

テンプレート:特殊文字 通常の集合の各基本演算に対応するファジィ集合の基本演算がそれぞれ定義されている。

ファジィ理論では特にメンバシップ関数の大小が大きく影響するので、

$a\wedge b\stackrel{\text{def}}{=}\min (a,b)$

$a\vee b\stackrel{\text{def}}{=}\max (a,b)$

とあらかじめ定義される。このときファジィ集合を $A,B$と各メンバシップ関数を ${\mu }_A(x),{\mu }_B(x)$ とおくと各演算は

和集合

$A\cup B\stackrel{\text{def}}{⟺}{\mu }_{A\cup B}(x):={\mu }_A(x)\vee {\mu }_B(x)$

共通集合

$A\cap B\stackrel{\text{def}}{⟺}{\mu }_{A\cap B}(x):={\mu }_A(x)\wedge {\mu }_B(x)$

補集合

$\bar{A}\stackrel{\text{def}}{⟺}{\mu }_{\bar{A}}(x):=1-{\mu }_A(x)$

となるメンバシップ関数をもつ集合と定義される。また対等関係、包含関係は以下のように表す。

相等関係

$A=B\stackrel{\text{def}}{⟺}{\mu }_A(x)={\mu }_B(x),\mathrm{\forall }x\in X$

包含関係

$A\subseteq B\stackrel{\text{def}}{⟺}{\mu }_A(x)\le {\mu }_B(x),\mathrm{\forall }x\in X$

ここで $X$ は全体集合のことである。これらの定義からファジィ集合には以下の定理が成り立つことが証明されている。

二重否定

$\overline{\stackrel{‾}{A}}=A$

ド・モルガンの法則

$\overline{A\cup B}=\bar{A}\cap \bar{B}$

$\overline{A\cap B}=\bar{A}\cup \bar{B}$

また、ファジィ集合独自の演算として以下のようなものが定義されている。

代数和

$A⊞B,A\dotplus B,A+B\stackrel{\text{def}}{⟺}{\mu }_{A+B}(x):={\mu }_A(x)+{\mu }_B(x)-{\mu }_A(x)\cdot {\mu }_B(x)$

代数積

$A\cdot B\stackrel{\text{def}}{⟺}{\mu }_{A\cdot B}(x):={\mu }_A(x)\cdot {\mu }_B(x)$

限界和

$A\oplus B\stackrel{\text{def}}{⟺}{\mu }_{A\oplus B}(x):=({\mu }_A(x)+{\mu }_B(x))\wedge 1$

限界差

$A\ominus B\stackrel{\text{def}}{⟺}{\mu }_{A\ominus B}(x):=({\mu }_A(x)-{\mu }_B(x))\vee 0$

限界積

$A\odot B,A\otimes B\stackrel{\text{def}}{⟺}{\mu }_{A\otimes B}:=({\mu }_A(x)+{\mu }_B(x)-1)\vee 0$

激烈和

$A\dot{\vee }B\stackrel{\text{def}}{⟺}{\mu }_{A\dot{\vee }B}(x):=\{\begin{array}{cc}{\mu }_A(x),& \text{if }{\mu }_B(x)=0\\ {\mu }_B(x),& \text{if }{\mu }_A(x)=0\\ 1,& \text{otherwise}\end{array}$

激烈積

$A\dot{\wedge }B\stackrel{\text{def}}{⟺}{\mu }_{A\dot{\wedge }B}(x):=\{\begin{array}{cc}{\mu }_A(x),& \text{if }{\mu }_B(x)=1\\ {\mu }_B(x),& \text{if }{\mu }_A(x)=1\\ 0,& \text{otherwise}\end{array}$

関連項目

• 多重集合
• 砂山のパラドックス

外部リンク

• 日本知能情報ファジィ学会
• テンプレート:Wayback - スカラーペディア百科事典「ファジィ集合」の項目。