人間と機械における学習・推論と認知プロセスに関する研究

本研究班の目標は,人間と機械に於ける総合的な知的コミュニケ-ションのための論理や推論,認知,学習等の本質を理論と実際の両面から究明し,定式化を始めとしてアルゴリズム化,効率化にいたるまで体系的に研究することである.本年度の主な研究成果は以下の通りである.1.論理に関する研究:知識と信念の論理を様相論理弱S5を対象に展開し,また証明における決定問題を解決した.さらに,エレベ-タ等の動作記述のために新しい時区間論理を提案し,その有効性を示した.2.推論に関する研究:仮説推論,デフォルト推論,自己認識推論,帰納推論,類推,最小限定等に関して,定式化から,アルゴリズム化,効率化に至るまでの体系的研究を行い,極めて多くの成果を得た.特に,仮説推論に関してはその中心となる推論エンジンを数100〜数1000倍に高速化することに成功した.3.認知に関する研究:人間との接点である自然言語処理に関して,自然言語によるプログラミング,文章要約とそのための論理の研究を行い基礎的な成果を得た.また,多エ-ジェント系自己認識論理の定式化とその応用によって多エ-ジェント系としてのコミュニケ-ションに関して重要な成果を得た.4.学習に関する研究:帰納推論のための新しい論理的枠組みを与え,正デ-タからの学習可能性に関する重要な成果を得た.また,学習における教師の役割について新しい定式化のもとで究明し,教師は時間を無視すれば必要ないが,学習能率を上げるためには不可欠である,という直観に合致した本質的な結果を理論的に得ることができた.さらに推類による学習,最小限定による学習,学習効率等に関しても独創的な研究を展開した.

本研究班の目標は,人間と機械に於ける総合的な知的コミュニケ-ションのための論理や推論,認知,学習等の本質を理論と実際の両面から究明し,定式化を始めとしてアルゴリズム化,効率化にいたるまで体系的に研究することである.本年度の主な研究成果は以下の通りである.1.論理に関する研究:知識と信念の論理を様相論理弱S5を対象に展開し,また証明における決定問題を解決した.さらに,エレベ-タ等の動作記述のために新しい時区間論理を提案し,その有効性を示した.2.推論に関する研究:仮説推論,デフォルト推論,自己認識推論,帰納推論,類推,最小限定等に関して,定式化から,アルゴリズム化,効率化に至るまでの体系的研究を行い,極めて多くの成果を得た.特に,仮説推論に関してはその中心となる推論エンジンを数100〜数1000倍に高速化することに成功した.3.認知に関する研究:人間との接点である自然言語処理に関して,自然言語によるプログラミング,文章要約とそのための論理の研究を行い基礎的な成果を得た.また,多エ-ジェント系自己認識論理の定式化とその応用によって多エ-ジェント系としてのコミュニケ-ションに関して重要な成果を得た.4.学習に関する研究:帰納推論のための新しい論理的枠組みを与え,正デ-タからの学習可能性に関する重要な成果を得た.また,学習における教師の役割について新しい定式化のもとで究明し,教師は時間を無視すれば必要ないが,学習能率を上げるためには不可欠である,という直観に合致した本質的な結果を理論的に得ることができた.さらに推類による学習,最小限定による学習,学習効率等に関しても独創的な研究を展開した.