ファジィ論理
ファジィ集合論では、ファジィ集合に関するファジィ演算を定義している。これを利用する際の問題は、適切なファジィ演算がどれなのかわからない場合があることである。そのため、ファジィ論理ではIF/THEN規則やそれに類するもの(例えばファジィ関係行列)を使うのが一般的である。
規則は以下のような形式で表現される。
IF 「変数」IS「集合」THEN 「アクション」を実行する。
例えば、ファンを使って温度を一定に保つ非常に単純な機器があるとしたら、次のような規則が考えられる。
IF 温度 IS 「非常に寒い」 THEN ファンを止める。
IF 温度 IS 「寒い」 THEN ファンを遅くする。
IF 温度 IS 「普通」 THEN ファンを一定に保つ。
IF 温度 IS 「暑い」 THEN ファンを速くする。
ELSE節がない点に注意されたい。全ての規則は同時に評価される。何故なら、温度は(程度の差はあっても)同時に「寒い」と「普通」の両方に属するといったことが考えられるからである。