演繹推論の高コストルール対処法及び仮説推論の高速矛盾処理に関する研究

Access this Article

博士論文

目次 / 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)

5access