2004 Fiscal Year Annual Research Report
プルーフチェッカー(Mizar)を用いたファジィ制御における最適化問題の解析
| Project/Area Number |
15700195
|
|---|
| Research Institution | Miyagi University |
|---|
Principal Investigator |
三石 貴志 宮城大学, 事業構想学部, 助手 (00336439)
|
|---|
| Keywords | ファジィ制御 / 最適化問題 / プルーフチェッカー |
|---|
| Research Abstract |
ファジィ制御における最適化問題として本年度は高木・菅野モデル(T-Sファジィモデル)の数理的解析を行った.T-Sファジィモデルのファジィ推論により構成される入出力変数は,IF-THENルールにおける前件部のメンバシップ関数に依存している。それゆえ,出力を算出するファジィ推論法がメンバシップ関数集合族上で連続である事実,および二次形式評価関数のメンバシップ関数集合族上の連続性を証明することにより,最適制御の存在性が証明された"Analysis of T-S Fuzzy Model".一方,田中氏により提案された,ファジィ制御の入力値が確定した値でなくファジィ数であるIF-THENルールを用いたファジィ推論法の連続性および解の存在性に関する解析を行い,制御の評価関数に最小値を与えるIF-THEN型ファジィプロダクションルールの存在性の証明を行った。"Continuity of Approximate Reasoning Using L-R Fuzzy Number as Input".
また,上述の証明等,これまで証明を行ってきたファジィ制御における最適制御の存在性をプルーフチェッカー(Mizar)を用いて検証するため,準備としてMizarシステムのライブラリを作成した。"Transitive Closure of Fuzzy Relations".
その他,ファジィ制御を用いたアプリケーションとして,色彩の決定をファジィ推論を用いて行うシステムの開発を行った.これは1組のIF-THENルールのみによって色を決定するものではなく,評価的な意味合いを持たせた2組目のIF-THENルールを組み合わせ,2段階でで色彩を決定するものである。"Automatic Color Decision Using Fuzzy Control".
|
