Transcript 3．1－B 階層構造のモデリング

３．１－B 階層構造のモデリング
４４０２０１２
今福 珠英
階層構造の認識によるモデリング
（１）故障関連樹
 （２）Lーシステム
 （３）フレーム
 （４）クラスとインヘリタンス

（１）故障関連樹（fault tree/FT)


故障あるいは事故発生のメカニズム
を階層的に表現
対象とする故障や事故を頂上事象、
それに関連する項目を下位事象とす
る
故障関連樹ーつづき


頂上事象、下位事象を“AND”あるいは
“OR”の論理で結合
それ以上展開することができない基本事
象に至るまで同様な操作を続ける
故障関連樹
故障関連樹の基本記号
<表３．１ 故障関連樹の基本記号>
要素
ANDゲート
ORゲート
事象
基本事象
記号
ANDゲートとORゲート
ANDゲート…入力事象がすべて生起するとき出力事象が発生
ORゲート…入力事象のうち１つが生起するとき出力事象が発生
ランプのつかない電気回路
(a) 電気回路
図3.13 電気回路の故障関連樹
電気回路の故障関連樹木
(b) FT
図3.13 電気回路の故障関連樹
（２）L-システム(Linden-mayer systems)


発生過程での細胞分裂や生物の形づくり
のモデル
生物の生長を記録するのに細胞の分割機
構を説明する
「書き換えシステム」
を数学的な方法で用いた。
L-システムの記号表現

オートマトンの一つであり、
状態規則…Q
書き換え規則… δ
初期状態…q0(∈Q)
の３つの組<Q, δ、q0>で表現される
L－システムの書き換え


５種類の状態を書き換え規則によって、初
期状態q0から３回書き換えて二進木構造
が得られる
L－システムは階層の入れ子構造によって
複雑な形態を生成するため単純さの中に
面白さがあるモデル
（３）フレーム

システムの階層構造の記述に適した
データ構造としてフレーム（Frame)が
ある
（３）フレーム その２

型にはまった状況を表現する
属性および属性値の対の組によって
対象の性質が記述可能であること
フレームの基本構造…その１
フレーム
・属性（スロット名）
・属性値（スロット
値）
ファセット(facet)
…側面
スロット１（スロット名）
ファセット：データ（スロット値）
スロット２
デフォルト値（default value)
…暗黙の期待値
<図3.16 フレーム>
タクシードライバーのフレーム
基本動作1
メソッド：
空車走行中にお客に
出会えば乗車させる
基本動作2
スーパークラス
メジロタクシードライバーのフレーム
上位フレーム
値：タクシードライバー
サブクラス
現在の状態
値：完全歩合給
図3.17 フレームによる階層構造の表現
フレームの基本構造…その２

各フレームにその上位（あるいは下位）の
フレームを示すスロットを設けることで、フ
レーム間の階層構造を表現することができ
る
リストによって実現が可能
フレームの基本構造…その３
フレームの上位下位関係
・コンセプト間の包括的関係
・コンセプトと個別的存在
・全体と部分
（４）クラスとインヘリタンス

フレームを利用して個別的存在（イン
スタンス、instance)を一般的コンセプ
ト（クラス、class)に結びつけることが
できる
フレームとオブジェクト指向



フレームのスロットにメソッドなどを追加
１つのオブジェクト
オブジェクト指向の考え方にはフレームか
らの影響が入っている
共通した性質をもつ個々のオブジェクトを
汎化してクラスを作る
※オブジェクト指向…オブジェクトを中心として問題を取り扱
うアプローチ
インヘリタンス（inheritance)


上位下位のフレーム間での性質の継承（イ
ンヘリタンス、inheritance)によって、無駄
のない知識表現ができる
インヘリタンスを利用することで体系化され
た，簡明なモデリングが可能になる。
クラスの階層構造


スーパークラス(super class)…
あるクラスに対してより一般化（汎化、
generalization)した上位のクラス
サブクラス（sub class)…
あるクラスに対して個別化
（特化、specialization)した下位のクラス
スーパークラスの性質を継承する
タクシードライバーのフレーム
基本動作1
メソッド：
空車走行中にお客に
出会えば乗車させる
基本動作2
スーパークラス
メジロタクシードライバーのフレーム
上位フレーム
値：タクシードライバー
サブクラス
現在の状態
値：完全歩合給
図3.17 フレームによる階層構造の表現
フレーム
型
スロット1
クラス
スロット2
インヘリタンス
ユタカ君のフレーム
実体
上位フレーム
値：メジロタクシードライ
バー
現在の状態
値：空車走行
インスタンス