演繹推論の高コストルール対処法及び仮説推論の高速矛盾処理に関する研究
この論文にアクセスする
この論文をさがす
著者
書誌事項
- タイトル
-
演繹推論の高コストルール対処法及び仮説推論の高速矛盾処理に関する研究
- 著者名
-
阿部, 武彦
- 著者別名
-
アベ, タケヒコ
- 学位授与大学
-
金沢大学
- 取得学位
-
博士 (学術)
- 学位授与番号
-
甲第1517号
- 学位授与年月日
-
1997-09-30
注記・抄録
博士論文
目次
- 目次 / p1 (0003.jp2)
- 1 序論 / p1 (0006.jp2)
- 1.1 序言 / p1 (0006.jp2)
- 1.2 演繹推論の高速化 / p3 (0008.jp2)
- 1.3 仮説推論の高速化 / p5 (0010.jp2)
- 1.4 本論文の構成 / p6 (0011.jp2)
- 2 演繹推論の現状と課題 / p11 (0016.jp2)
- 2.1 諸言 / p11 (0016.jp2)
- 2.2 演繹推論の現状 / p12 (0017.jp2)
- 2.3 演繹推論の課題 / p18 (0023.jp2)
- 2.4 結言 / p18 (0023.jp2)
- 3 演繹推論の高コストルール対処法 / p20 (0025.jp2)
- 3.1 諸言 / p20 (0025.jp2)
- 3.2 高コストルール / p21 (0026.jp2)
- 3.3 直接条件照合アルゴリズムの拡張による対処法 / p24 (0029.jp2)
- 3.4 プレチェック条件照合による対処法 / p43 (0048.jp2)
- 3.5 Reteアルゴリズムの拡張による対処法 / p53 (0058.jp2)
- 3.6 結言 / p55 (0060.jp2)
- 4 仮説推論の現状と課題 / p57 (0062.jp2)
- 4.1 諸言 / p57 (0062.jp2)
- 4.2 仮説推論の現状 / p58 (0063.jp2)
- 4.3 推論パスネットワークによる仮説推論の課題 / p61 (0066.jp2)
- 4.4 結言 / p62 (0067.jp2)
- 5 仮説推論の高速矛盾処理 / p63 (0068.jp2)
- 5.1 諸言 / p63 (0068.jp2)
- 5.2 無矛盾性チェックの効率改善 / p64 (0069.jp2)
- 5.3 推論パスネットワークの変形 / p71 (0076.jp2)
- 5.4 結言 / p75 (0080.jp2)
- 6 結論 / p76 (0081.jp2)
- 謝辞 / p80 (0085.jp2)
- 参考文献 / p81 (0086.jp2)