| Project/Area Number |
01633525
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research on Priority Areas
|
| Allocation Type | Single-year Grants |
|---|
| Research Institution | Keio University |
|---|
Principal Investigator |
安西 祐一郎 慶応義塾大学, 理工学部, 教授 (40051875)
|
|---|
| Project Period (FY) |
1989
|
| Project Status |
Completed (Fiscal Year 1989)
|
| Budget Amount *help |
¥2,000,000 (Direct Cost: ¥2,000,000)
Fiscal Year 1989: ¥2,000,000 (Direct Cost: ¥2,000,000)
|
|---|
| Keywords | 制約表現 / 学習 / 知識獲得 / 空間的知識 / 制約論理プログラミング / パタ-ン情報処理 / 認知 |
|---|
| Research Abstract |
1.仮説生成推論システムの開発と改良
パタ-ン情報から記号情報を仮説として生成し、その結果を推論に用いるためのプログラミングシステムとして、制約論理プログラミングを効率的に行うシステムを開発した。本システムは、遅延実行等の通常のメカニズムを備えているだけでなく、大域変数の束縛に関する環境管理をサポ-トしている点に特徴がある。
2.仮説生成推論システムとパタ-ン認識・学習システムの統合およびそのシステム化
1.に述べたシステムを用いて、空間的知識の事例から、その制約表現記述を制約論理プログラミング言語のプログラムの形で生成するアルゴリズムを定式化し、計算機上に実装した。本アルゴリズムにおいては、知識獲得システムへの入力は空間的関係の正事例、負事例のパタ-ン表現であり、出力はそれからの例を値として満たすような制約式の集合である。システムは、パタ-ン表現に含まれる対象間の距離や方向に関する制約表現を生成し、その結果をさらに1.に述べた推論システムのプログラム表現に変換する。このプログラムは、そのままの形で実行できるから、知識表現システムとしてそのまま使える点に大きな特色がある。ただし、現状では、取り扱える制約表現は線形方程式、線形不等式に限られている。
人間の認知・学習機構のコミュニケ-ションに関連した大きな特徴は、言語だけでなく非言語情報によるコミュニケ-ションがきわめて重要だということである。この点を考えると、本研究の成果は高次コミュニケ-ション機構の基礎づけを与えるものとして位置づけることができる。
|
