Contents of Report

[Data of Report]

Report Number:: TR0430
Date of Registration:: 1988.10
English Title:: EUODHILOS:A General-Purpose Reasoning Assistant System;Concept and Implementation
Japanese Title:: ***
English Author:: T.Minami,H.Sawamura,K.Satoh,K.Tuchiya
Japanese:: ***
Name of Organization to which author belongs:: Fujitsu,Fujitsu,Fujitsu,Fujitsu
PDF:: tr0430.pdf

	Abstract	.... 3
1	Introduction	.... 4
2	Characterization of the Reasoning Assistant System	.... 5
2.1	Reasoning Assistant System	.... 6
2.2	Automated Theorem Prover	.... 6
2.3	Proof Checker	.... 7
2.4	Proof Constructor/Editor	.... 8
3	Overview of EUODHILOS	.... 9
4	Defining Logics	.... 10
4.1	Language Description Feature of EUDOHILOS	.... 10
4.2	Derivation Description Feature of EUODHILOS	.... 11
5	Constructing Proofs	.... 13
6	Other Facilities for Reasoning	.... 15
6.1	Software Keyboard and Font Editor	.... 15
6.2	Fomula Editor	.... 15
6.3	Staionary for Reasoning	.... 16
7	Concluding Remarks and Directions for Future Research	.... 16
	Acknowledgements	.... 17
	References	.... 17
	End	.... 24

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