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

Kijsirikul, Boonserm ; Kijsirikul, Boonserm [著]

1993

Online Hochschulschrift

Zugriff:

View record in National Diet Library Digital Collections (Volltext)

Titel:	Discrimination-based constructive inductive leaning of logic programs : 論理プログラムの弁別に基づく構成的帰納学習
Autor/in / Beteiligte Person:	Kijsirikul, Boonserm ; Kijsirikul, Boonserm [著]
Link:	View record in National Diet Library Digital Collections (Volltext)
Veröffentlichung:	1993
Medientyp:	Hochschulschrift
Sonstiges:	Nachgewiesen in: National Diet Library Digital Collections - 国立国会図書館デジタルコレクション Contents Note: 論文目録 / (0002.jp2) -- Contents / p3 (0006.jp2) -- 1 Introduction / p1 (0011.jp2) -- 1.1 Inductive Logic Programming / p1 (0011.jp2) -- 1.2 The Purpose of the Research / p3 (0013.jp2) -- 1.3 The Organization of the Thesis / p3 (0013.jp2) -- 2 Previous Works / p5 (0015.jp2) -- 2.1 Previous Works on Selective Induction / p5 (0015.jp2) -- 2.2 Previous Works on Constructive Induction / p13 (0023.jp2) -- 3 Overview of CHAMP / p18 (0028.jp2) -- 3.1 Input & Output / p18 (0028.jp2) -- 3.2 Components of CHAMP / p20 (0030.jp2) -- 4 Selective Induction Component:CHAM / p24 (0034.jp2) -- 4.1 Introduction / p24 (0034.jp2) -- 4.2 Merit Heuristic / p26 (0036.jp2) -- 4.3 Hypothesis space / p30 (0040.jp2) -- 4.4 Algorithm / p30 (0040.jp2) -- 4.5 Learning of Sort Programs / p34 (0044.jp2) -- 4.6 Experiments & Results / p38 (0048.jp2) -- 4.7 Summary / p40 (0050.jp2) -- 5 dbc / p43 (0053.jp2) -- 5.1 Introduction / p43 (0053.jp2) -- 5.2 Discrimination-Based Constructive Inductive Learning / p44 (0054.jp2) -- 5.3 Failure Driven Constructive Induction in CHAMP / p52 (0062.jp2) -- 5.4 Learning Algorithm of CHAMP / p54 (0064.jp2) -- 5.5 Summary / p56 (0066.jp2) -- 6 Inventing Predicates for Sort / p57 (0067.jp2) -- 7 Experimental Results / p62 (0072.jp2) -- 7.1 Sort / p62 (0072.jp2) -- 7.2 Grandmother / p63 (0073.jp2) -- 7.3 Reverse / p65 (0075.jp2) -- 7.4 Union / p66 (0076.jp2) -- 7.5 Arch / p67 (0077.jp2) -- 7.6 Evaluation of the Invented Predicates / p68 (0078.jp2) -- 8 Comparison with Related Works / p71 (0081.jp2) -- 9 Conclusions / p73 (0083.jp2) -- A Logic Programs / p83 (0093.jp2) -- B Proofs of Theorems / p85 (0095.jp2) -- C Sample Runs / p89 (0099.jp2) -- C.1 Sample Run of Sort Program / p89 (0099.jp2) -- C.2 Sample Run of Grandmother Program / p95 (0105.jp2) -- C.3 Sample Run of Arch Program / p98 (0108.jp2) -- C.4 Sample Run of Reverse Program / p102 (0112.jp2) -- C.5 Sample Run of Union Program / p105 (0115.jp2) Document Type: 博士論文 Rights: 国立国会図書館/図書館・個人送信限定 Notes: 博士論文

Klicken Sie ein Format an und speichern Sie dann die Daten oder geben Sie eine Empfänger-Adresse ein und lassen Sie sich per Email zusenden.

BibTeX Citavi, JabRef, u.a.
(Literaturverwaltung)

PDF kein Volltext!
(Merkzettel, Notizen)

RIS Endnote, Citavi u.a.
(Literaturverwaltung)

MODS
(XML zur Weiterverarbeitung)

oder

Wählen Sie das für Sie passende Zitationsformat und kopieren Sie es dann in die Zwischenablage, lassen es sich per Mail zusenden oder speichern es als PDF-Datei.

Gewünschter Zitations-Stil:

oder

Bitte prüfen Sie, ob die Zitation formal korrekt ist, bevor Sie sie in einer Arbeit verwenden. Benutzen Sie gegebenenfalls den "Exportieren"-Dialog, wenn Sie ein Literaturverwaltungsprogramm verwenden und die Zitat-Angaben selbst formatieren wollen.