人工知能

• 高次推論機構
  ~~~~~~~~~~~~
  対称性に基づく推論、定性推論、事例ベース推論など主に人間の推論機構を抽出し、定式化しそれを記号処理システムとして実現する。また応用としては、対称性に基づく推論は、数式処理を導入した物理系および物理法則の推論、数学的推論など、定性、事例ベース推論は診断への応用の研究。

• 定性システム論
  ~~~~~~~~~~~~~~
  大規模システムを定性的・グラフ的に表現し、それに基づきその動特性、安定性などを解析し、その挙動の定性的な性質の研究。また大規模システムを設計、解析する際に用いるシステムのグラフ論的構成原理、ヒューリスティックスの研究。さらに大規模システムの定性的な性質を解析するアルゴリズム、ソフトウェアの研究。

• 故障診断
  ~~~~~~~~
  知識ベースシステムの応用として大規模プロセスの診断システムの研究。特に大規模プロセスの定性モデリングのための言語、および知識獲得システムの研究。