Generalization and predicate invention in learning logic programs 論理プログラム学習における汎化と述語発見
Access this Article
Search this Article
Author
Bibliographic Information
- Title
-
Generalization and predicate invention in learning logic programs
- Other Title
-
論理プログラム学習における汎化と述語発見
- Author
-
石坂, 裕毅, 1960-
- Author(Another name)
-
イシザカ, ヒロキ
- University
-
九州大学
- Types of degree
-
博士 (理学)
- Grant ID
-
乙第5398号
- Degree year
-
1993-03-19
Note and Description
博士論文
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
Table of Contents
- 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)