| 研究課題/領域番号 |
02452154
|
|---|
| 研究種目 |
一般研究(B)
|
| 配分区分 | 補助金 |
|---|
| 研究分野 |
情報工学
|
|---|
| 研究機関 | 東京大学 |
|---|
研究代表者 |
石塚 満 東京大学, 生産技術研究所, 助教授 (50114369)
|
|---|
| 研究期間 (年度) |
1990 – 1991
|
| 研究課題ステータス |
完了 (1991年度)
|
| 配分額 *注記 |
5,600千円 (直接経費: 5,600千円)
1991年度: 1,800千円 (直接経費: 1,800千円)
1990年度: 3,800千円 (直接経費: 3,800千円)
|
|---|
| キーワード | 知識ベ-ス / 人工知能 / 推論 / 仮説推論 / 不完全知識 / 非単調推論 / 論理 / 知識コンパイル / 推論機構 / 知識ベ-スコンパイル / 類推 |
|---|
| 研究概要 |
演繹的推論機能を越える高次人工知能機能を導入することによって、現在の知識ベ-ス・システムの能力の幅を拡大するため、不完全な知識の操作を基底技術と考える観点から研究、開発を行った。具体的には、不完全な知識を仮説として扱う論理に基づく仮説推論システムを出発点に設定して研究を遂行した。仮説推論はその理論的な基盤性と、診断や設計といった問題に適用できるといった実用性の両面で今後の知識処理の有力な枠組みであるが、不完全な知識に起因して非単調推論が必要となり、低い推論速度の克服が最大の課題である。そこで、仮説推論の高速化を重点課題にして研究を行い、次の成果を得た。
第1は推論パスネットワ-クによる高速仮説推論法であり、仮説間の矛盾によって生じるバックトラックを回避することにより大幅な速度向上を達成している。また変数を含む述語論理表現の仮説推論に適用できる同様な高速推論法も開発した。仮説推論を始めとする非単調推論の計算複雑度はNPー完全であり、最悪値で指数オ-ダとなる推論時間の壁は、通常の採索による求解の範囲に留まっていたのでは克服できない。本研究ではこの指数オ-ダの壁を克服する手法として、類推による高速仮説推論法、経験に基づく学習による仮説推論の高速化法、発想的知識生成のための論理知識ベ-スのコンパイル法、0ー1整数計画法の利用による高速最適解計算の仮説推論法を考案し、具体化した。類推は過去の類似する求解の成功例を利用する。経験に基づく学習は、推論の経験を知識として定着させ以後の推論の高速化に活用する。知識ベ-ス・コンパイルの基本的考え方は、通常の推論はゴ-ルが与えられてから開始されるのに対し、ゴ-ルが与えられる以前に可能な推論は行ってしまうものであり、ここでは論理知識表現のPrime Implicateへの高速変換法を与えている。整数計画法の利用では近似解法の有効性を明らかにしている。
|
