Contents of Report

[Data of Report]

Report Number:: TR0140
Date of Registration:: 1985.10
English Title:: An Algebraic Manipulation System Using Meta-level Inference Based on Human Heuristics
Japanese Title:: ***
English Author:: T.Takewaki,T.Miyachi,S.Kuniufuji,K.Fukukawa
Japanese:: ***
Name of Organization to which author belongs:: ICOT,ICOT,ICOT,ICOT
PDF:: tr0140.pdf

	Abstract	.... 2
1	Introduction	.... 2
2	System Characteristics	.... 4
2.1	Meta-level Inference	.... 4
2.2	Inference Process and Degrees of Difficulty	.... 4
2.3	Explanation Function	.... 4
2.4	Use of Prolog	.... 5
3	Algebraic Expression and Simplification Method	.... 5
3.1	Canonical Form and Powerful Matching Function	.... 5
3.2	Simplification of Algebraic Expressions	.... 7
4	Methods of Control	.... 7
4.1	Form Control of Equations	.... 8
4.2	Form Control of Integration	.... 9
4.3	Rules Control	.... 9
4.4	Rewriting Rules for Equations	.... 11
4.5	Rewriting Rules for Integration	.... 13
5	Inference Method	.... 15
6	Dtermining Degree of Difficulty	.... 15
7	Examples	.... 16
8	Conclusion	.... 20
	Acknowledgments	.... 20
	References	.... 20

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