Contents of Report

[Data of Report]

Report Number:: TR0260
Date of Registration:: 1987.05
English Title:: Inductive Inference of Logic Programs Based on Algebraic Semantics
Japanese Title:: ***
English Author:: Y.Sakakibara
Japanese:: 榊原　康文
Name of Organization to which author belongs:: Fujitsu
PDF:: tr0260.pdf

	Abstract	.... 2
1	Introduction	.... 2
2	Basic definitions of tree	.... 4
3	Tree automaton and linear monadic logic program	.... 5
4	Predicate characterization matrix	.... 8
5	Inductive inference algorithm for linear monadic logic program	.... 14
6	Correctness and complexity	.... 16
7	Concluding remarks	.... 20
	References	.... 21
	End	.... 22

目次をクリックすると、PDFファイルが表示されます。