Upload
emilia
View
39
Download
0
Embed Size (px)
DESCRIPTION
ファジィ論理と ファジィ構造モデリング. 北海道工業大学 情報デザイン学科 三田村 保. 内容. ファジィ論理 ファジィ関係 ファジィ構造モデリング. 2値論理. 命題論理 命題 A= 「雪は白い」「日本の首都は京都である」 命題の真理値 = {真、偽} = { 1, 0 } 論理演算(合成命題) 論理和( OR ) A∨B“A または B” 論理積( AND ) A∧B“A かつ B” 否定( NOT )~ A“A でない” 含意( Implication ) A→B“A ならば B” = ~ A∨B. - PowerPoint PPT Presentation
Citation preview
ファジィ論理とファジィ構造モデリング
北海道工業大学情報デザイン学科
三田村 保
内容
• ファジィ論理• ファジィ関係• ファジィ構造モデリング
2値論理
命題論理命題 A= 「雪は白い」「日本の首都は京都である」命題の真理値 = {真、偽} = { 1, 0 }
論理演算(合成命題)論理和( OR ) A B∨ “A または B”論理積( AND ) A B∧ “A かつ B”否定( NOT ) ~ A “A でない”含意( Implication ) A→B “A ならば B”
= ~ A B∨
2値論理の公理系( 1 )
ベキ等律 A A=A∨ 、 A A=A∧交換律 A B=B A∨ ∨ 、 A B=B A∧ ∧結合律 A∨ ( B C∨ ) = ( A B∨ )∨ C吸収律 A A B=A∨ ∧ 、 A∧ ( A B∨ ) =A分配法則 A B C=∨ ∧ ( A B∨ )∧( A C∨ )二重否定 ~(~ A ) =Aド・モルガン律~( A B∨ ) = ~ A ∧ ~ B最大元 A 1=1∨ 、 A 1=A∧最小元 A 0=∨ A、 A 0=0∧
2値論理の公理系(2)
相補律A∨ ~ A=1 、 A∧ ~ A=0
排中律A∨ ~ A=1
矛盾律A∧ ~ A=0
ファジィ論理
ファジィ命題 A= 「今日は天気が良い」
命題の真理値→区間値{真、偽}→{真~偽}{ 1, 0 }→ [0, 1]
特性関数とメンバシップ関数
1.0 1.0
X 歳は成人である X 歳は大人である
20
メンバシップ関数μA : X→[0, 1]
特性関数ψA : X→{0, 1}
x x20
ファジィ論理
代表的なファジィ論理演算論理和( OR ) A B = max(A, B)∨限界和 A B = min(1, A+B)⊕
論理積( AND ) A B = min(A, B)∧限界積 A B = max(0, A+B⊙ - 1)
否定( NOT ) ~ A = 1 - A含意( Implication ) A→B =min(1, 1 - A+B)
ファジィ論理の公理系( 1 )
成立ベキ等律 A A=A∨ 、 A A=A∧交換律 A B=B A∨ ∨ 、 A B=B A∧ ∧結合律 A∨ ( B C∨ ) = ( A B∨ )∨ C
吸収律 A A B=A∨ ∧ 、 A∧ ( A B∨ ) =A
分配法則 A B C=∨ ∧ ( A B∨ )∧( A C∨ )最大元 A 1=1∨ 、 A 1=A∧最小元 A 0=∨ A、 A 0=0∧
ファジィ論理の公理系(2)
非成立二重否定 ~(~ A ) =A
ド・モルガン律~( A B∨ ) = ~ A ∧ ~ B
相補律 A∨ ~ A=1 、 A∧ ~ A=0
排中律 A∨ ~ A=1
矛盾律 A∧ ~ A=0
関係
• 変数 x 、 y を含む命題例: 「 x と y は等しい」 「 x は y より大きい」
• 二項関係 R
aRb :” a は b に関係がある”a , b X∈aRb = { 偽、真 } ={0, 1}
ファジィ関係
• 変数 x 、 y を含む命題例:「 x と y は似ている」「 x と y は親しい」
「 x は y より好ましい」• ファジィ二項関係
aRb :” a は b に関係がある”a , b X∈μR(a,b) =[0, 1]
関係の諸性質
• 反射性 =aRa• 反対称性 =aRb かつ bRa→ a=b• 推移性 =aRb, bRc → aRc• 対称性 =aRb → bRa
• 半順序関係 = 反射性、反対称性、推移性– 因果関係、 IF-THEN ルール
• 同値関係 = 反射性、対称性、推移性– 同値関係、類似関係
• 前順序関係 = 反射性、推移性
ファジィ関係の適用による問題解決
• システム工学への応用– 対象となる問題を要素に分解する– 要素間の関係概念(類似性、因果性、 IF-
THEN ルール)をファジィ関係としてモデル化する
– 対象問題の挙動をマクロ的に分析する
ファジィ構造モデリング
ファジィ構造モデリング
• 定義• 従来のファジィ構造モデリング
– ファジィ行列– ファジィ可到達行列
• 新しいファジィ構造モデリング– ファジィ部分行列– 更新ルール
定義
• 要素集合 X={x1, x2, ・・・ , xn}• ファジィ二項関係
aRb a, b X∈μR(a,b) =[0, 1]
• ファジィ二項関係の性質– ファジィ前順序関係
• 反射性• 推移性
「ファジィ構造モデリングとは要素集合 X 上のファジィ前順序関係を決定すること」
ファジィ行列モデル
10 ),(:
, ][
R
ijij
ij
mjim
XjimM
15.07.00
015.00
0110
102.01
M
ファジィ前順序関係
10 ][ ijij mmM
1iim
),min( kjikij mmm 0.5
0.2
0.1
2
3
1
反射性
推移性
ファジィ行列
1.0
M M2
ファジィ行列 M
ファジィ可到達行列(反射性・推移性)
•要素と要素の関係を入力•全一対比較 入力数: n(n-1)
M M2
ac
b d
ファジィ構造モデリング
ファジィ可到達行列生成Fuzzy Warshall アルゴリズム
1
2 1
.
.
*
* * * *
M M
k n
m m m mij ij ik kj
for to
0.5
0.7
0.2 0.6
0.3
0.5
0.7
0.5 0.6
0.5i
jk
h
k
i
j
h
従来のファジィ構造モデリング
• すべてのファジィ二項関係を入力する→入力コスト( n(n-1) )がかかる
• ファジィ二項関係からファジィ可到達行列の生成→入力された関係の修正
ファジィ部分可到達行列
M(i,j) 入力
含意規則による行列更新
対話型ファジィ構造モデリング( FISM/fuzzy )
•一対比較数の削減全一対比較の2 0 %~3 0 %•入力された帰属度を尊重•帰属度の変更も可能
ファジィ可到達行列],[ ijij mmM
ファジィ部分行列
],[ ijij mmM
1
3
2
[0.0, 1.0]
0.2
[0.5, 1.0]
15.0]7.0,1.0[]1,0[
]1,0[1]0.1,5.0[]1,0[
]1,0[]1,0[10
]1,0[]1,0[2.01
M
メンバシップ関数
1.0
],[ ijij mmM
ijm ijm
ファジィ部分可到達行列
],[ ijij mmM
ijkikj
jkijik
kjikij
mmm
mmm
mmm
1 iiii mm
反射性
部分可到達性
M(i, j)
M(l, m)l
ji
m
含意規則
],[),( ijij mmjiM
],[),( lmlm mmmlM
))((
))((
))((
)(
ljmiijlmlm
imjlijlmlm
ijmjillmlm
ijjmlilmlm
mmmmm
mmmmm
mmmmm
mmmmm
新しいファジィ構造モデリング
• 関係を入力するコストは削減される• 入力された関係は修正されない
• 同時に複数個の関係を入力できない
参考文献ファジィ論理・ファジィ関係• 日本ファジィ学会編:講座ファジィ4 ファジィ論理、日刊工業新聞社• 日本ファジィ学会編:講座ファジィ2 ファジィ集合、日刊工業新聞社ファジィ構造モデリング• 三田村保 , 若林高明 , 大内 東 : ファジィ構造モデリングにおける階層グ
ラフを用いた構造化法 , 日本ファジィ学会誌 , Vol.12, No.2:pp.321-328(2000.4)
• 三田村保 , 若林高明 , 大内 東 : FISM/fuzzy によるレパートリーグリッドを用いたファジィ構造モデリング , 日本ファジィ学会誌 , Vol.11, No.2:pp.298-308(1999.4)
• 三田村保 , 大内 東 : ファジィ構造モデリングの修正理論とアルゴリズム , 日本ファジィ学会誌 , Vol.8, No.4:pp.725-733(1996.8)
• 三田村保 , 大内 東 : FISM/fuzzy の推移的具象化における戦略の検討 , 日本ファジィ学会誌 , Vol.7, No.2:pp.322-329(1995.4)
• 三田村保 , 大内 東 : ファジィ構造モデリングにおけるファジィ推移的具象化の理論とアルゴリズム , 情報処理学会論文誌 , Vol.35 No.2, pp.301-308(1994.2)