: 言語的真理値と可能性,必然性および区間真理値
: 可能性,必然性と区間真理値
: ファジィ集合に対する可能性測度と必然性測度
  目次
5.2節,5.3節では「 is 」であるときに「 is 」である可能性と必然性を測る測度について説明した.本節では,この測度が,4.4節で述べた様相論理のKripkeモデルとどのような関係にあるか議論する.
まず,「 is 」の可能性について考える.ここで,命題「 is 」をと置く.すると,の真理値はの値をと定めればと定まる.したがって,これは,の定義域を可能性世界の全体集合と考え,をある可能性世界と考えれば,付置を用いて,
|
(5.15) |
と表すことができる.つまり,の台集合が可能性世界の全体で,台集合の一つの要素が一つの可能性世界と考えるわけである.図5.6のような1次元のファジィ集合による命題「 is 」を例にとると,メンバシップ関数に垂直な断面で切断したそれぞれの切り口が各可能性世界に対応して,「 is 」の切り口での真理値(つまりグレード)がその可能性世界での命題「 is 」の真理値を与えていると考えることになる(図5.6では6個の可能性世界しか示していないが,この場合,台集合が有限集合なので,可能性世界は実際には無限個ある.).
図 5.6
メンバシップ関数にみる可能性世界
|
さて,ここで,Kripkeモデルによると,可能性世界におけるの真理値は,式(4.41)によるとから到達可能な可能性世界の集合とが真となる可能性世界の集合の共通集合が空集合でないとき,は1であると与えられた.ところで,いま興味があるのは,「 is 」であるとき,「 is 」である可能性である.これは言い換えると,「 is 」であるとき,「( is )」即ち「」の真理値をもとめることに他ならない.これをKripkeモデル流に解釈すると,到達可能な可能性世界がで,を真とする可能性世界がである場合のを求めることに対応するといえるだろう.ただし,ここで,は共に,ファジィ集合であるから,式(4.41)はそのままは使えない.そこで,の真理値はが要素を持つとどの程度いえるかという度合いであると解釈すれば,
|
(5.16) |
と式(4.41)をファジィ的に拡張可能である(式(5.16)はクリスプな場合,式(5.14)と同値になる.).ここで,式(5.16)に
を代入すれば,
|
(5.17) |
が得られるが,これは,式(5.8)の可能性測度と一致する.つまり,「 is 」のとき「 is 」の可能性とは,到達可能な可能性世界がであるときの「( is )が可能」の真理値である.ただし,ここで,式(5.17)の,つまり,現在の可能性世界が何であるかについては,具体的にわからないことに注意する.可能性を知るには現在の可能性世界がわかっていなくても,現在の可能性世界から到達可能な可能性世界の集合がわかっていればよいからである.
可能性測度と同様の考察をすると,「 is 」であるとき「 is 」である必然性は,到達可能な可能性世界がであるときの「( is )が必然」の真理値となるだろう.ここで,Kripkeモデルにおける必然命題真理値の定義は式(4.40)のように与えられたが,これも到達可能世界であってしかもが真ではない可能性世界つまり,
がどの程度ないといえるかという程度を表していると解釈すれば,
|
(5.18) |
と定義できるだろう.ここでとすれば,式(5.16)はさらに,
|
(5.19) |
となる.もちろん式(5.19)はクリスプな場合,式(4.40)に一致する.ここで,式(5.19)に
を代入すれば,
|
(5.20) |
が得られ,これは式(5.11)のと一致する.
: 言語的真理値と可能性,必然性および区間真理値
: 可能性,必然性と区間真理値
: ファジィ集合に対する可能性測度と必然性測度
  目次
平成12年5月17日