Contents of Report

[Data of Report]

	Abstract	.... 2
1	Introduction	.... 2
2	Kernel Language	.... 4
2.1	And-Parallel Function	.... 4
2.2	Or-Parallel Function	.... 5
2.3	Modularization Support Function	.... 5
2.4	Meta-inference Support Function	.... 5
3	Problem-Solving and Inference Issue	.... 6
3.1	Parallel Inference Function	.... 6
3.2	Meta-Inference Function	.... 6
3.3	Powerful Inference Engines	.... 7
4	Knowledge Base Management Issue	.... 7
4.1	Very Large Knowledge Base	.... 7
4.2	Knowledge Acquisition	.... 8
4.3	Knowledge Representation	.... 9
4.4	Expert Systems	.... 10
5	Intelligent Man-Machine Interface	.... 10
5.1	Parsing System	.... 10
5.2	Discourse Understanding System	.... 12
5.3	Machine Readable Dictionary	.... 13
6	Intelligent Programming System	.... 14
6.1	Programming Enviroments for Logic Programming	.... 14
6.2	Program Specification, Verfication and Transformation	.... 14
6.3	Specific Subprojects, CAP and ACT	.... 15
6.4	Transfer to Existing Technology	.... 16
7	Conclusion and Future Direction	.... 16
	Acknowledgements	.... 17
	References	.... 17
	End	.... 22

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