| Project/Area Number |
08204203
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research on Priority Areas
|
| Allocation Type | Single-year Grants |
|---|
| Research Institution | Hokkaido University |
|---|
Principal Investigator |
赤間 清 北海道大学, 工学部, 助教授 (50126265)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
川口 雄一 苫小牧工業高等専門学校情報工学科, 助教授 (60234051)
|
|---|
| Project Period (FY) |
1996
|
| Project Status |
Completed (Fiscal Year 1996)
|
| Budget Amount *help |
¥1,400,000 (Direct Cost: ¥1,400,000)
Fiscal Year 1996: ¥1,400,000 (Direct Cost: ¥1,400,000)
|
|---|
| Keywords | 法的推論 / 等価変換 / 不完全知識 / 仮説推論 / 条件付解答 |
|---|
| Research Abstract |
本研究の目的は、不完全な知識のもとで柔軟かつ的確な推論を行なうための理論を構築し、法的推論システムを試作してその有効性を実証することである。
本研究では次の点を研究した。
1.不完全知識の表現方法や、不完全知識による推論の基礎理論を「等価変換による計算」に基づいて定式化した。
2.本方法を従来の仮説推論のアプローチと比較し、推論の柔軟性と有効性を確認した。
3.従来の仮説推論方法を等価変換による方法で計算する理論を与えた。
4.否定の計算を正しく行なう方法を与え、その実装を行なった。
|
