Generalization and predicate invention in learning logic programs 論理プログラム学習における汎化と述語発見

この論文をさがす

著者

    • 石坂, 裕毅, 1960- イシザカ, ヒロキ

書誌事項

タイトル

Generalization and predicate invention in learning logic programs

タイトル別名

論理プログラム学習における汎化と述語発見

著者名

石坂, 裕毅, 1960-

著者別名

イシザカ, ヒロキ

学位授与大学

九州大学

取得学位

博士 (理学)

学位授与番号

乙第5398号

学位授与年月日

1993-03-19

注記・抄録

博士論文

目次

  1. Contents / p5 (0007.jp2)
  2. 1 Introduction / p1 (0010.jp2)
  3. 1.1 Generalization / p2 (0011.jp2)
  4. 1.2 Predicate Invention / p3 (0012.jp2)
  5. 1.3 Outline of Thesis / p5 (0014.jp2)
  6. 2 Preliminaries / p7 (0016.jp2)
  7. 2.1 Logic Programs / p7 (0016.jp2)
  8. 2.2 Model Inference / p11 (0020.jp2)
  9. 2.3 Formal Languages / p14 (0023.jp2)
  10. 3 Least Generalization in Learning Logic Programs / p19 (0028.jp2)
  11. 3.1 Least Generalization / p20 (0029.jp2)
  12. 3.2 Model Preserving Instantiation / p21 (0030.jp2)
  13. 3.3 Program Heads and Least Generalizations / p24 (0033.jp2)
  14. 4 Learning Primitive Prologs from Positive Facts / p27 (0036.jp2)
  15. 4.1 Primitive Prologs and Model Inference from Positive Facts / p29 (0038.jp2)
  16. 4.2 Minimal Multiple Generalization / p30 (0039.jp2)
  17. 4.3 DMPLG's of Primitive Prologs / p35 (0044.jp2)
  18. 4.4 A Greedy Search Algorithm for the Body / p41 (0050.jp2)
  19. 4.5 Polynomial Update Time Inferability from Positive Facts / p44 (0053.jp2)
  20. 5 Model Inference with Predicate Invention / p49 (0058.jp2)
  21. 5.1 An Extended Model Inference Problem / p51 (0060.jp2)
  22. 5.2 Problems in Extended Model Inference / p52 (0061.jp2)
  23. 5.3 A Simple Approach to the Problems / p54 (0063.jp2)
  24. 5.4 Examples of Restricted Programs / p56 (0065.jp2)
  25. 6 Learning Regular Languages / p63 (0072.jp2)
  26. 6.1 Regular Model Inference Problem / p64 (0073.jp2)
  27. 6.2 An Extended Model of a Regular Model / p68 (0077.jp2)
  28. 6.3 A Regular Model Inference Algorithm / p70 (0079.jp2)
  29. 6.4 Correctness of the Algorithm / p74 (0083.jp2)
  30. 6.5 Time Complexity of the Algorithm / p81 (0090.jp2)
  31. 7 Learning Simple Deterministic Languages / p83 (0092.jp2)
  32. 7.1 SDG and SDL / p85 (0094.jp2)
  33. 7.2 Learning via Queries / p86 (0095.jp2)
  34. 7.3 A Learning Algorithm for SDL / p88 (0097.jp2)
  35. 7.4 Diagnosing an Incorrect Hypothesis / p89 (0098.jp2)
  36. 7.5 Generating Nonterminals and Productions / p91 (0100.jp2)
  37. 7.6 Correctness and Complexity / p93 (0102.jp2)
  38. 8 Conclusion / p97 (0106.jp2)
  39. Bibliography / p103 (0112.jp2)
2アクセス

各種コード

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