| 研究課題/領域番号 |
07680375
|
|---|
| 研究種目 |
一般研究(C)
|
| 配分区分 | 補助金 |
|---|
| 研究分野 |
知能情報学
|
|---|
| 研究機関 | 北海道大学 |
|---|
研究代表者 |
山本 章博 北海道大学, 工学部, 助教授 (30230535)
|
|---|
| 研究分担者 |
原口 誠 北海道大学, 工学部, 教授 (40128450)
|
|---|
| 研究期間 (年度) |
1995
|
| 研究課題ステータス |
完了 (1995年度)
|
| 配分額 *注記 |
1,100千円 (直接経費: 1,100千円)
1995年度: 1,100千円 (直接経費: 1,100千円)
|
|---|
| キーワード | 論理プログラミング / アルゴリズム / 帰納推論 |
|---|
| 研究概要 |
階層的知識表現のための型付き論理プログラミング言語による学習の基礎研究
本年度は、オブジェクト指向論理型言語としてその展開が期待されているF論理上で、帰納的一般化を行う学習方式の基礎研究を行った。具体的には、F論理の階層的かつオブジェクト中心のスタイルで記述された領域知識と実際のデータの間に不整合性がある場合に、領域知識を修正し、データと無矛盾なものに自動変換することを意図している。そうした修正を行うための可能な戦略としては、いくつか考えられるが、本研究では、1階の(型なし)言語上で開発されてきた極小多重汎化手法を拡張したものになっており、そうした基本的手法が高度な記述力をもつF論理に適用できることを理論的に実証している。特に、計算量の問題に関しても、多くの部分が多項式時間の計算量で収まることを証明し、今後の実際の応用研究への一つの重要な指針を与えることができた。
|
