Discrimination-based constructive inductive leaning of logic programs 論理プログラムの弁別に基づく構成的帰納学習

この論文をさがす

著者

    • Kijsirikul, Boonserm キッスィリクン, ブンサーム

書誌事項

タイトル

Discrimination-based constructive inductive leaning of logic programs

タイトル別名

論理プログラムの弁別に基づく構成的帰納学習

著者名

Kijsirikul, Boonserm

著者別名

キッスィリクン, ブンサーム

学位授与大学

東京工業大学

取得学位

博士 (工学)

学位授与番号

甲第2613号

学位授与年月日

1993-03-26

注記・抄録

博士論文

目次

  1. 論文目録 / (0002.jp2)
  2. Contents / p3 (0006.jp2)
  3. 1 Introduction / p1 (0011.jp2)
  4. 1.1 Inductive Logic Programming / p1 (0011.jp2)
  5. 1.2 The Purpose of the Research / p3 (0013.jp2)
  6. 1.3 The Organization of the Thesis / p3 (0013.jp2)
  7. 2 Previous Works / p5 (0015.jp2)
  8. 2.1 Previous Works on Selective Induction / p5 (0015.jp2)
  9. 2.2 Previous Works on Constructive Induction / p13 (0023.jp2)
  10. 3 Overview of CHAMP / p18 (0028.jp2)
  11. 3.1 Input & Output / p18 (0028.jp2)
  12. 3.2 Components of CHAMP / p20 (0030.jp2)
  13. 4 Selective Induction Component:CHAM / p24 (0034.jp2)
  14. 4.1 Introduction / p24 (0034.jp2)
  15. 4.2 Merit Heuristic / p26 (0036.jp2)
  16. 4.3 Hypothesis space / p30 (0040.jp2)
  17. 4.4 Algorithm / p30 (0040.jp2)
  18. 4.5 Learning of Sort Programs / p34 (0044.jp2)
  19. 4.6 Experiments & Results / p38 (0048.jp2)
  20. 4.7 Summary / p40 (0050.jp2)
  21. 5 dbc / p43 (0053.jp2)
  22. 5.1 Introduction / p43 (0053.jp2)
  23. 5.2 Discrimination-Based Constructive Inductive Learning / p44 (0054.jp2)
  24. 5.3 Failure Driven Constructive Induction in CHAMP / p52 (0062.jp2)
  25. 5.4 Learning Algorithm of CHAMP / p54 (0064.jp2)
  26. 5.5 Summary / p56 (0066.jp2)
  27. 6 Inventing Predicates for Sort / p57 (0067.jp2)
  28. 7 Experimental Results / p62 (0072.jp2)
  29. 7.1 Sort / p62 (0072.jp2)
  30. 7.2 Grandmother / p63 (0073.jp2)
  31. 7.3 Reverse / p65 (0075.jp2)
  32. 7.4 Union / p66 (0076.jp2)
  33. 7.5 Arch / p67 (0077.jp2)
  34. 7.6 Evaluation of the Invented Predicates / p68 (0078.jp2)
  35. 8 Comparison with Related Works / p71 (0081.jp2)
  36. 9 Conclusions / p73 (0083.jp2)
  37. A Logic Programs / p83 (0093.jp2)
  38. B Proofs of Theorems / p85 (0095.jp2)
  39. C Sample Runs / p89 (0099.jp2)
  40. C.1 Sample Run of Sort Program / p89 (0099.jp2)
  41. C.2 Sample Run of Grandmother Program / p95 (0105.jp2)
  42. C.3 Sample Run of Arch Program / p98 (0108.jp2)
  43. C.4 Sample Run of Reverse Program / p102 (0112.jp2)
  44. C.5 Sample Run of Union Program / p105 (0115.jp2)
0アクセス

各種コード

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