ファジィ論理(ファジィろんり、英: Fuzzy logic)は、1965年、カリフォルニア大学バークレー校のロトフィ・ザデーが生み出したファジィ集合から派生した[1][2]多値論理の一種で、真理値が0から1までの範囲の値をとり、古典論理のように「真」と「偽」という2つの値に限定されない[3]ことが特徴である。ファジィ論理は制御理論(ファジィ制御)から人工知能まで様々な分野に応用されている。 ファジィ論理と確率論理は数学的に似ており、どちらも0から1までの値を真理値とするが、概念的には解釈の面で異なる。ファジィ論理の真理値が「真の度合い」に対応しているのに対し、確率論理では「確からしさ」や「尤もらしさ」に対応している。このような違いがあるため、ファジィ論理と確率論理では同じ実世界の状況に異なるモデルを提供する。 真理値と確率が0から1の範囲の値をとるため、表面的には似ているように思われる。例えば、100mlのコップに30mlの水が入っているとする。これに対して「空」と「満杯」の2つの概念を考える。それぞれの意味は所定のファジィ集合、およびそれを定義付けるメンバシップ関数で表される。例えば、そのコップについて「空だ」が真である度合いは0.7、「満杯だ」が真である度合いは0.3と定義することも考えられる。「空だ」という概念は主観的であり、観察者や設計者によって感じ方は異なる。設計者によっては、50mlでも満杯だとするようにメンバシップ関数を設定するかもしれない。ファジィ論理ではあいまいな現象の数理モデルとして「真の度合い」を使うのに対し、確率論は未知のことに対しての数理モデルである。確率論的手法を使って同じことを達成するには、「満杯」か否かを表す二値変数をコップに入っている水の量という連続値によって決定するという形で定義することになる。 ファジィ論理は洗濯機や冷蔵庫のような家電機器の制御に使われる。例えば洗濯機では、洗濯物の量や洗剤の濃度を調べて、洗濯槽の回転などを調整する。 基本的な応用の特徴として、連続値をいくつかの区分に分ける点が挙げられる。例えば、アンチロック・ブレーキ・システムでは温度を測定するが、温度をいくつかの区分に分け、それぞれにメンバシップ関数を定義し、ブレーキを適切に制御する。各関数は同じ温度に0から1までの真理値を割り当てる。これらの真理値を使って、ブレーキをどう制御すべきかを決定する。 上図では、cold、warm、hot という関数で温度の値をマッピングしている。ある温度には各関数に対応した3つの真理値がある。上図で縦線で示している温度を見てみると、3つの真理値(0.8、0.2、0)が対応し、それらを解釈すると「かなり冷たい」(青い矢印)、「やや暖かい」(黄色の矢印)、「熱くない」(赤い矢印)ということになる。 数学における変数は一般に数値を値とするが、ファジィ論理は非数値的な「言語学的変数」を使うことで規則や事実の表現が容易になるような分野にもよく応用される[4]。 ここでいう「非数値的」「言語学的」という意味は、例えば速度といったような変数のような「確定的な値を持つような変数」ではない、という意味であって、実際のところ(ソシュールやチョムスキーらによるような)言語学的な何かがあるわけではない。具体例として「年齢」に対し「若い」、あるいはその反対の「高齢だ」という値は、結局のところ、「20歳」という実際の年齢に対して、「若い」は 0.8 という高い値になり、「高齢だ」は 0.05 という低い値になる、といったように、最終的には実数(数値)になるのである。言語学的変数の最大の利点は、主たる単語に修飾語を添えることでその意味を修正できる点であると主張される。修飾語は特定の関数と対応付けることができる。例えば、ザデーはメンバシップ関数の平方をとることを提案している。 ファジィ集合論では、ファジィ集合に関するファジィ演算を定義している。これを利用する際の問題は、適切なファジィ演算がどれなのかわからない場合があることである。そのため、ファジィ論理ではIF/THEN規則やそれに類するもの(例えばファジィ関係行列 規則は以下のような形式で表現される。IF 「変数」IS「集合」THEN 「アクション」を実行する。 例えば、ファンを使って温度を一定に保つ非常に単純な機器があるとしたら、次のような規則が考えられる。
「真」の度合い
ファジィ論理の真理値の具体例
言語学的変数
ファジィ論理の応用例
ヴィークルの制御や群管理。オートマチックトランスミッション、アンチロック・ブレーキ・システム、クルーズコントロール。日本の鉄道車両では仙台市交通局1000系電車が初期の導入例として知られる。
空調
CG合成ソフト(MASSIVEなど)
カメラ
デジタル画像処理(エッジ検出など)
炊飯器
食器洗い機
エレベーター
洗濯機などの家電機器
コンピュータゲームの人工知能
電子掲示板などで好ましくないテキストを排除するフィルタ
リモートセンシングでのパターン認識
マイクロコントローラやマイクロプロセッサ(Freescale 68HC12など)。
ファジィ論理の実際
IF 温度 IS 「非常に寒い」 THEN ファンを止める。
IF 温度 IS 「寒い」 THEN ファンを遅くする。
IF 温度 IS 「普通」 THEN ファンを一定に保つ。
IF 温度 IS 「暑い」 THEN ファンを速くする。
Size:72 KB
出典: フリー百科事典『ウィキペディア(Wikipedia)』
担当:undef