Contents of Report

[Data of Report]

Report Number:: TR0115
Date of Registration:: 1985.06
English Title:: ***
Japanese Title:: 演繹・帰納・発想の推論機構化をめざして
English Author:: S.Kunifuji
Japanese:: 國藤　進
Name of Organization to which author belongs:: ICOT
PDF:: tr0115.pdf

[Contents]

1	はじめに	.... 2
2	問題解決や推論のプロセスの本質	.... 2
2.1	問題解決のプロセス	.... 2
2.2	推論のプロセス	.... 3
2.3	パースの記号学	.... 3
3	計算機による知識処理	.... 4
3.1	処理対象の拡大	.... 4
3.2	ガソリンやエンジンの変遷	.... 4
3.3	アルゴリズム化の道	.... 4
4	演繹的推論の計算機処理	.... 4
4.1	演繹論理	.... 4
4.2	分解証明法	.... 5
4.3	論理プログラミングでの演繹	.... 6
4.4	Prolog での演繹とその知識獲得への応用	.... 6
5	帰納的推論の計算機処理	.... 7
5.1	学習のモデル	.... 7
5.2	帰納論理	.... 7
5.3	モデル推論アルゴリズム	.... 8
5.4	モデル推論システム	.... 8
6	発想的推論の計算機処理	.... 9
6.1	発想と学習	.... 9
6.2	信念の翻意と発想	.... 10
7	おわりに	.... 10
	参考文献	.... 12
	End	.... 18

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

ICOT研究論文（TR）一覧に戻る / Back to the list of ICOT Technical Reports