プルーフチェッカー(Mizar)を用いたファジィ制御における最適化問題の解析

• Project/Area Number: 15700195
• Research Category: Grant-in-Aid for Young Scientists (B)
• Allocation Type: Single-year Grants
• Research Field: Sensitivity informatics/Soft computing
• Research Institution: Miyagi University
• Principal Investigator: 三石 貴志 宮城大学, 事業構想学部, 助手 (00336439)
• Project Period (FY): 2003 – 2005
• Project Status: Completed (Fiscal Year 2005)
• Budget Amount: ¥2,300,000 (Direct Cost: ¥2,300,000); Fiscal Year 2005: ¥700,000 (Direct Cost: ¥700,000); Fiscal Year 2004: ¥700,000 (Direct Cost: ¥700,000); Fiscal Year 2003: ¥900,000 (Direct Cost: ¥900,000)
• Keywords: ファジィ制御 / 最適化問題 / プルーフチェッカー

Research Abstract

ファジィ制御における最適化問題として本年度は,関数解析的手法を用いて中森の推論法に関する考察を行った.この推論法は,Mamdani推論法やT-Sファジィモデルのファジィ推論とは異なり,各ルールごとの推論結果をファジィ集合として出力しない.つまりこの推論法は,ルール全体の推論結果を計算する過程(重心計算)でモデル全体の推論をルール適合度による加重平均で定義している.これは推論過程による出力の可能性分布といえる.
推論計算にて構成される入出力変数は,IF-THENルールにおける前件部および後件部のメンバシップ関数に依存している.それゆえ,出力を算出する中森ファジィ推論法がメンバシップ関数集合族上で連続である事実,および二次形式評価関数のメンバシップ関数集合族上の連続性を証明することにより,最適制御の存在性が証明された("Continuity of Nakamori Fuzzy Model and Its Application to Optimal Feedback Control").
その他,ファジィ制御を用いたアプリケーションとして,色彩の決定をファジィ推論を用いて行うシステムの開発を行った.これは1組のIF-THENルールのみによって色を決定するものではなく,評価的な意味合いを持たせた2組目のIF-THENルールを組み合わせ,2段階で色彩を決定するものである("Approximate Reasoning Using Fuzzy Set as Input Applied to Coloration").

Research Products

• [Journal Article] Continuity of Nakamori Fuzzy Model and Its Application to Optimal Feedback Control (2005)
  • Author(s): T.Mitsuishi, N.Endou, Y.Shidama
  • Journal Title: Proc.of IEEE International Conference on Systems, Man and Cybernetics Pages: 577-581
• [Journal Article] Approximate Reasoning Using Fuzzy Set as Input Applied to Coloration (2005)
  • Author(s): Takashi Mitsuishi et al.
  • Journal Title: Proc.of 2005 Asia-Pacific Workshop on Visual Information Processing Pages: 242-246
• [Journal Article] Transitive Closure of Fuzzy Relations (2004)
  • Author(s): T.Mitsuishi, Grzegorz Bancerek
  • Journal Title: Journal of Formalized Mathematics Vol.12,No.1 Pages: 15-20
• [Journal Article] Analysis of T-S Fuzzy Model (2004)
  • Author(s): T.Mitsuishi, Y.Shidama
  • Journal Title: Mechanized Mathematics and Its Applications Vol.3,No.1 Pages: 1-7
• [Journal Article] Autmatic Color Decision Using Fuzzy Control (2004)
  • Author(s): T.Mitsuishi, N.Kayaki, K.Saigusa, M.Kochizawa
  • Journal Title: Proc.of IFAC Multitrack Conference on Advanced Control Strategies for Social and Economic Systems (ACS2004) (To appear)
• [Journal Article] Continuity of Approximate Reasoning Using L-R Fuzzy Number as Input (2004)
  • Author(s): T.Mitsuishi, Y.Shidama
  • Journal Title: Proc.of 43rd IEEE Conference on Decision and Control(CDC) Pages: 5112-5116
• [Publications] Takashi Mitsuishi: "Color construction using dual fuzzy system"Proc.of IEEE International Symposium on Computational Intelligence for Measurement Systems and Applications. 136-139 (2003)
• [Publications] Takashi Mitsuishi: "Lattice of Fuzzy Sets"Journal of Formalized Mathematics. Vol.15, No.37. (2003)
• [Publications] Takashi Mitsuishi: "Transitive Closure of Fuzzy Relations"Journal of Formalized Mathematics. Vol.15, No.47. (2003)
• [Publications] Takashi Mitsuishi: "Automatic Color Decision Using Fuzzy Control"Proc.of IFAC Multitrack Conference on Advanced Control Strategies for Social and Economic Systems. (to apper).
• [Publications] Takashi Mitsuishi: "Analysis of T-S Fuzzy Model"Mechanized Mathematics and Its Applications. (to apper).