【12/14(木)17時より】CiNiiの常時SSL化(HTTPS接続)について

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

この論文をさがす

著者

    • 阿部, 武彦 アベ, タケヒコ

書誌事項

タイトル

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

著者名

阿部, 武彦

著者別名

アベ, タケヒコ

学位授与大学

金沢大学

取得学位

博士 (学術)

学位授与番号

甲第1517号

学位授与年月日

1997-09-30

注記・抄録

博士論文

目次

  1. 目次 / p1 (0003.jp2)
  2. 1 序論 / p1 (0006.jp2)
  3. 1.1 序言 / p1 (0006.jp2)
  4. 1.2 演繹推論の高速化 / p3 (0008.jp2)
  5. 1.3 仮説推論の高速化 / p5 (0010.jp2)
  6. 1.4 本論文の構成 / p6 (0011.jp2)
  7. 2 演繹推論の現状と課題 / p11 (0016.jp2)
  8. 2.1 諸言 / p11 (0016.jp2)
  9. 2.2 演繹推論の現状 / p12 (0017.jp2)
  10. 2.3 演繹推論の課題 / p18 (0023.jp2)
  11. 2.4 結言 / p18 (0023.jp2)
  12. 3 演繹推論の高コストルール対処法 / p20 (0025.jp2)
  13. 3.1 諸言 / p20 (0025.jp2)
  14. 3.2 高コストルール / p21 (0026.jp2)
  15. 3.3 直接条件照合アルゴリズムの拡張による対処法 / p24 (0029.jp2)
  16. 3.4 プレチェック条件照合による対処法 / p43 (0048.jp2)
  17. 3.5 Reteアルゴリズムの拡張による対処法 / p53 (0058.jp2)
  18. 3.6 結言 / p55 (0060.jp2)
  19. 4 仮説推論の現状と課題 / p57 (0062.jp2)
  20. 4.1 諸言 / p57 (0062.jp2)
  21. 4.2 仮説推論の現状 / p58 (0063.jp2)
  22. 4.3 推論パスネットワークによる仮説推論の課題 / p61 (0066.jp2)
  23. 4.4 結言 / p62 (0067.jp2)
  24. 5 仮説推論の高速矛盾処理 / p63 (0068.jp2)
  25. 5.1 諸言 / p63 (0068.jp2)
  26. 5.2 無矛盾性チェックの効率改善 / p64 (0069.jp2)
  27. 5.3 推論パスネットワークの変形 / p71 (0076.jp2)
  28. 5.4 結言 / p75 (0080.jp2)
  29. 6 結論 / p76 (0081.jp2)
  30. 謝辞 / p80 (0085.jp2)
  31. 参考文献 / p81 (0086.jp2)
0アクセス

各種コード

  • NII論文ID(NAID)
    500000152470
  • NII著者ID(NRID)
    • 8000001086656
  • DOI(NDL)
  • NDL書誌ID
    • 000000316784
  • データ提供元
    • NDL-OPAC
    • NDLデジタルコレクション
ページトップへ