: 様相論理による可能性限定の解釈
: ファジィ命題の可能性限定
: ファジィ命題の可能性限定
  目次
1.1節で説明した,真理値限定命題とは,「 is 」という標準形命題をファジィ真理値で限定(修飾)した,
という形の命題であった.具体的な例をあげると,「彼の年齢が若いということは,ほぼ真である」というような命題が真理値限定命題であり,これから「彼の年齢は大体これこれである」という標準形の同値命題を求める操作が真理値限定であった.
ここで,取り扱う可能性限定命題とは,「 is 」という標準形命題を可能性に関する性質を限定する言葉:「可能(possible)」,「不可能(impossible)」,「必然(necessary)」および「偶然(contingent)」で限定(修飾)した,
|
(2.1) |
|
(2.2) |
|
(2.3) |
|
(2.4) |
という形の命題であり,これらの可能性限定命題と同値な標準形命題を求める操作を可能性限定とよぶ.例えば,「彼の年齢が若いということは可能である」というのが可能性限定命題であり,これから,「彼の年齢は大体これこれである」という標準形の同値命題を求める操作が可能性限定である.
通常,可能性限定命題というと,式(2.1),式(2.2)のような「可能性」および「不可能性」によって限定された命題を指す場合が多いが,ここでは,「可能性」,「不可能性」とともに「必然性」および「偶然性」についても統一的に取り扱うものとする.これは,これら4つの概念が様相概念として密接に関連しあっているためである(様相概念に関する議論については,第4章も参照されたい.).
ここではまず議論から先に示す.例えばファジィ集合のメンバシップ関数として,図2.1に示すものを仮定すると,式(2.1)から式(2.4)までの可能性限定命題は,それぞれ図2.2から図2.5までに示すファジィ集合を用いて,
|
(2.5) |
|
(2.6) |
|
(2.7) |
|
(2.8) |
なる標準形命題と同値となる.ここで,がタイプ1のファジィ集合であるにもかかわらず,可能性限定命題の標準形を与えるファジィ集合及びは共に,メンバシップ関数のグレードとして区間値をとる,いわゆるタイプ2ファジィ集合(の特別な場合)になっていることに注意する.図の例で,例えば,のときののグレードはであるが,このときの及びのグレードはそれぞれ,
および
なる区間値である.
図 2.2
(( is ) is possible)の例
|
図 2.3
(( is ) is impossible)の例
|
図 2.4
(( is ) is necessary)の例
|
図 2.5
(( is ) is contingent)の例
|
このような標準形が導かれる理由の一つの解釈の仕方としては,次のように考えることができよう.
まず式(2.1)であるが,これは,「( is )ということが可能である」ということを表している.ここで,図2.6のやのようなを包含するようなファジィ集合を作って,「 is 」や「 is 」なる標準形命題を考えてみる.すると「 is 」ということができれば,これらの標準形命題が成立することが継承原理より容易にわかる.これは,を包含するすべてのファジィ集合についていえることであるから,結局「 is 」ということができるということは,(即ち「( is )ということが可能」ということは),を包含するような任意のファジィ集合に対して「 is 」が成立することに他ならない.そこでこのようなをすべて重ね合わせると,即ちこれが区間値グレードを持つタイプ2ファジィ集合となり,式(2.5)が導かれることになる.
図 2.6
ファジィ集合を包含するファジィ集合の例
|
図 2.7
ファジィ集合に包含されるファジィ集合の例
|
次に式(2.2)は「( is )ということが不可能である」ということを表しているのだが,これは,「( is )ということが可能である」ことを否定していることに他ならない.これは,式(2.1)の命題の否定であり,したがって当然,式(2.5)の命題の否定である.ここで,式(2.5)の命題の否定命題は,の補集合not()を用いて,
is not(
)
と表されるが,ここで,
となっているから(タイプ2ファジィ集合の否定演算子に基づく補集合計算から明らか),結局,式(2.6)が導出される.
さて,式(2.3)は,「( is )ということが必然である」こと,あるいは同じことだが「( is )と必然的にいえる」ということを意味している.ここで,図2.7のやのようなに包含されるようなファジィ集合を作って,「 is 」や「 is 」なる標準形命題を考える.するとこれらの命題の成立から「 is 」の成立が必然的にいえることが,継承原理から明らかである.同様のことは,に包含されるすべてのファジィ集合についていえるから,結局「 is 」が必然的にいえるということは,に包含される任意のファジィ集合に対して「 is 」が成立することである.したがってこのようなすべてのを重ね合わせると,区間値グレードを持つタイプ2ファジィ集合が得られ,式(2.7)が導かれることになる.
最後の式(2.4)は「( is )ということは偶然である」ことを示している.これは,内容的に「( is )ということは必然である(式(2.7))」ことの否定である.したがって,式(2.6)の導出と同様の議論により,の補集合から式(2.8)が導出される.
: 様相論理による可能性限定の解釈
: ファジィ命題の可能性限定
: ファジィ命題の可能性限定
  目次
平成12年5月17日