• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

2005 年度 実績報告書

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

研究課題

研究課題/領域番号 15700195
研究機関宮城大学

研究代表者

三石 貴志  宮城大学, 事業構想学部, 助手 (00336439)

キーワードファジィ制御 / 最適化問題 / プルーフチェッカー
研究概要

ファジィ制御における最適化問題として本年度は,関数解析的手法を用いて中森の推論法に関する考察を行った.この推論法は,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").

  • 研究成果

    (2件)

すべて 2005

すべて 雑誌論文 (2件)

  • [雑誌論文] Continuity of Nakamori Fuzzy Model and Its Application to Optimal Feedback Control2005

    • 著者名/発表者名
      T.Mitsuishi, N.Endou, Y.Shidama
    • 雑誌名

      Proc.of IEEE International Conference on Systems, Man and Cybernetics

      ページ: 577-581

  • [雑誌論文] Approximate Reasoning Using Fuzzy Set as Input Applied to Coloration2005

    • 著者名/発表者名
      Takashi Mitsuishi et al.
    • 雑誌名

      Proc.of 2005 Asia-Pacific Workshop on Visual Information Processing

      ページ: 242-246

URL: 

公開日: 2007-04-02   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi