Contents of Report

[Data of Report]

Report Number:: TR0108
Date of Registration:: 1985.08
English Title:: Incorporating Generalization Heuristics into Verification of Prolog Programs
Japanese Title:: ***
English Author:: H.Seki,T.Kanamori
Japanese:: ***
Name of Organization to which author belongs:: Mitsubishi,Mitsubishi
PDF:: tr0108.pdf

	Abstract	.... 2
1	Introduction	.... 2
2	Formulation of Verification	.... 3
3	Inference Rules	.... 5
3.1	Extended Execution	.... 5
3.2	Induction	.... 6
3.3	Examples	.... 6
4	Generalization Heuristics	.... 7
4.1	Mechanical Generalization	.... 7
4.2	Intelligent Generalization	.... 8
5	Intelligent Generalization Heuristic	.... 10
5.1	Intelligent Generalization Scheme	.... 10
5.2	Application to Flawed Induction Schemes	.... 13
6	Concluding Remarks & Related Work	.... 14
	Acknowledgments	.... 14
	Appendix	.... 14
	References	.... 15
	End	.... 16

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