Generalization and predicate invention in learning logic programs 論理プログラム学習における汎化と述語発見
この論文にアクセスする
この論文をさがす
著者
書誌事項
- タイトル
-
Generalization and predicate invention in learning logic programs
- タイトル別名
-
論理プログラム学習における汎化と述語発見
- 著者名
-
石坂, 裕毅, 1960-
- 著者別名
-
イシザカ, ヒロキ
- 学位授与大学
-
九州大学
- 取得学位
-
博士 (理学)
- 学位授与番号
-
乙第5398号
- 学位授与年月日
-
1993-03-19
注記・抄録
博士論文
1 Introduction 2 Preliminaries 3 Least Generalization in Learning Logic Programs 4 Learning Primitive Prologs from Positive Facts 5 Model Inference with Predicate Invention 6 Learning Regular Languages 7 Learning Simple Deterministic Languages 8 Conclusion
主1-参1
目次
- Contents / p5 (0007.jp2)
- 1 Introduction / p1 (0010.jp2)
- 1.1 Generalization / p2 (0011.jp2)
- 1.2 Predicate Invention / p3 (0012.jp2)
- 1.3 Outline of Thesis / p5 (0014.jp2)
- 2 Preliminaries / p7 (0016.jp2)
- 2.1 Logic Programs / p7 (0016.jp2)
- 2.2 Model Inference / p11 (0020.jp2)
- 2.3 Formal Languages / p14 (0023.jp2)
- 3 Least Generalization in Learning Logic Programs / p19 (0028.jp2)
- 3.1 Least Generalization / p20 (0029.jp2)
- 3.2 Model Preserving Instantiation / p21 (0030.jp2)
- 3.3 Program Heads and Least Generalizations / p24 (0033.jp2)
- 4 Learning Primitive Prologs from Positive Facts / p27 (0036.jp2)
- 4.1 Primitive Prologs and Model Inference from Positive Facts / p29 (0038.jp2)
- 4.2 Minimal Multiple Generalization / p30 (0039.jp2)
- 4.3 DMPLG's of Primitive Prologs / p35 (0044.jp2)
- 4.4 A Greedy Search Algorithm for the Body / p41 (0050.jp2)
- 4.5 Polynomial Update Time Inferability from Positive Facts / p44 (0053.jp2)
- 5 Model Inference with Predicate Invention / p49 (0058.jp2)
- 5.1 An Extended Model Inference Problem / p51 (0060.jp2)
- 5.2 Problems in Extended Model Inference / p52 (0061.jp2)
- 5.3 A Simple Approach to the Problems / p54 (0063.jp2)
- 5.4 Examples of Restricted Programs / p56 (0065.jp2)
- 6 Learning Regular Languages / p63 (0072.jp2)
- 6.1 Regular Model Inference Problem / p64 (0073.jp2)
- 6.2 An Extended Model of a Regular Model / p68 (0077.jp2)
- 6.3 A Regular Model Inference Algorithm / p70 (0079.jp2)
- 6.4 Correctness of the Algorithm / p74 (0083.jp2)
- 6.5 Time Complexity of the Algorithm / p81 (0090.jp2)
- 7 Learning Simple Deterministic Languages / p83 (0092.jp2)
- 7.1 SDG and SDL / p85 (0094.jp2)
- 7.2 Learning via Queries / p86 (0095.jp2)
- 7.3 A Learning Algorithm for SDL / p88 (0097.jp2)
- 7.4 Diagnosing an Incorrect Hypothesis / p89 (0098.jp2)
- 7.5 Generating Nonterminals and Productions / p91 (0100.jp2)
- 7.6 Correctness and Complexity / p93 (0102.jp2)
- 8 Conclusion / p97 (0106.jp2)
- Bibliography / p103 (0112.jp2)