Contents of Report

[Data of Report]

Report Number:: TR0030
Date of Registration:: 1983.12
English Title:: Paradigms of Knowledge Based Software System and Its Service Image
Japanese Title:: ***
English Author:: H.Enomoto,N.Yonezaki,M.Saeki,S.Kunifuji
Japanese:: ***
Name of Organization to which author belongs:: Tokyo Institute of Technology,Institute of Technology,Institute of Technology,ICOT
PDF:: tr0030.pdf

	Abstract	.... 3
1	Introduction	.... 4
2	Information and its representation in natural language	.... 5
2.1	Introduction	.... 5
2.2	Category of Information	.... 5
2.3	Language culture and information represeNting scheme	.... 8
3	Knowledge base system for software development from the view point of service	.... 11
3.1	Introduction	.... 11
3.2	Framework of knowladge base system from service view point	.... 11
3.3	Paradigm of the language and system feature	.... 13
3.4	Software development and knowledge base	.... 14
3.5	References	.... 16
4	Specification technique using natural language	.... 17
4.1	Introduction	.... 17
4.2	Specification technique	.... 18
4.3	Specifications of functional system	.... 23
4.4	Specifications of concurrent systems	.... 25
4.5	Translation into temporal logic	.... 29
4.6	Tell project	.... 35
4.7	Exection language-concept of mission and meta inference rule	.... 36
4.8	Acknowledgement	.... 40
4.9	References	.... 41
5	Meta Inference and Its Application in Fifth Generation Kernel Language	.... 43
5.1	Introduction	.... 43
5.2	Basic concept of meta inference	.... 43
5.3	Muluti-world identification type	.... 44
5.4	Meta Information Derivation type	.... 45
5.5	Control Information Addition type	.... 46
	References	.... 46
6	Conclusion	.... 47
	End	.... 48

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