| 研究課題/領域番号 |
15500092
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
知能情報学
|
|---|
| 研究機関 | 和歌山大学 |
|---|
研究代表者 |
坂間 千秋 和歌山大学, システム情報学センター, 教授 (20273873)
|
|---|
| 研究期間 (年度) |
2003 – 2004
|
| 研究課題ステータス |
完了 (2004年度)
|
| 配分額 *注記 |
3,600千円 (直接経費: 3,600千円)
2004年度: 1,800千円 (直接経費: 1,800千円)
2003年度: 1,800千円 (直接経費: 1,800千円)
|
|---|
| キーワード | デフォルト推論 / 非単調論理プログラミング / プログラムの順序化 / 帰納論理プログラミング / デフォルト理論 / 多値論理 / 順序化 |
|---|
| 研究概要 |
本研究では不完全なデフォルト知識を含むデフォルト理論や論理プログラムにおいて、プログラムから導かれる情報の内容を区別し、異なるプログラムの間で情報量を比較し、プログラムを順序化するための理論的枠組を構築した。具体的にはデフォルト理論から帰結される論理式に対して、束構造を持つ多値論理に基づく論理的解釈を与え、複数のデフォルト理論をそれぞれが帰結する情報の確からしさによって順序化を行った。また、デフォルト知識を含む非単調な論理プログラムに対して同様の順序化手法を適用し、多値論理の意味論の下でのプログラムの性質を議論した。さらに本研究の応用事例として、デフォルト知識を含む論理プログラムから帰納推論を行う際に順序化構造に基づいてプログラムを帰納的に一般化する方法を検討した。本手法によると一般に不完全な情報を含む背景知識から、与えられた事例を説明するデフォルト規則を帰納的に生成するプロセスが論理的に形式化されることが示された。本研究の今後の展開としては、マルチエージェントシステムのように複数の異なる情報源が存在する状況において、これらの情報源を比較・評価し、より信頼できる情報源を選別して優先的にコミュニケーションを行うための協調問題解決への応用などが考えられる。
|
