Contents of Report

[Data of Report]

Report Number:: TR0303
Date of Registration:: 1987.09
English Title:: Conception of General Reasoning Assistant System and Its Realization Method
Japanese Title:: 汎用の論証支援システムの構想とその実現法
English Author:: H.Sawamura,T.Minami
Japanese:: 沢村　一,南　俊朗
Name of Organization to which author belongs:: Fujitsu,Fujitsu
PDF:: tr0303.pdf

	Abstract	.... 2
1	はじめに	.... 3
2	汎用の論理支援システムの意義	.... 3
3	汎用の論理支援システム(メタシステム)の構想	.... 4
4	実現に向けての方策	.... 5
4.1	論理系とその記述言語	.... 5
4.2	論理的思考(計算)のための作業シートを用いる証明方法論	.... 7
4.3	種々の理論間の関係依存性の保持	.... 8
4.4	論証支援システムのための固有のインタフェース	.... 8
5	おわりに	.... 9
	謝辞	.... 9
	参考文献	.... 9

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