研究ぶーろぐ

【整合性管理機構】：TMS
仮説に基づく問題解決において，効率的に仮説の整合性を管理するための機構


ルール　　　　(ノード１)　if ?x is a student then ?x wants to study
アサーション　(ノード２)　taro is a student
推論エンジン (ノード３)　taro wants to study

TMSを利用せず，以上のような推論を行った後，推論エンジンはノード１２３を，TMSに渡す．
つまり，１と２から３が推論できるということを正当化としてTMSに渡す．

■　TMSの役割
・推論結果の説明
「＜（１，２），３，演算推論＞」

■　TMSのノード
・前提ノード　：常に成り立つノード
・矛盾ノード　：常に成り立たないノード
・仮説ノード　：成り立つか成り立たないかのどちらかを選択しなければならないノード

TMSは複数のノードと正当化からなる依存ネットワークを生成し，
ノード間の整合性を管理する．

★ATMS★
TMSの中で，一般的なのがATMS.
各ノードのらべるからnogoodな環境を取り除くことによってノードの整合性を維持する．
ATMSにおいて，各ノードのラベル矛盾が起こらないように計算し更新するアルゴリズムは，
ラベル更新アルゴリズムと呼ばれる．