Contents of Report

[Data of Report]

Report Number:: TR0010
Date of Registration:: 1983.05
English Title:: ***
Japanese Title:: 知識同化機構の一実現法
English Author:: H.Kitakami,M.Asoh,S.Kunifuji,T.Miyachi,K.Furukawa
Japanese:: 北上　始,麻生　盛敏,国藤　進,宮地　泰造,古川　康一
Name of Organization to which author belongs:: ICOT,ICOT,ICOT,ICOT,ICOT
PDF:: tr0010.pdf

[Contents]

1	はじめに	.... 2
2	知識同化機構の構成	.... 3
2.1	論理データベースの考察	.... 3
2.2	知識同化機構の概念構成	.... 5
3	演繹的推論機構	.... 7
3.1	存在命令の証明	.... 7
3.2	全称命題の証明	.... 9
4	帰納的推論機構	.... 11
4.1	モデル推論	.... 11
4.2	知識同化への適用方法	.... 11
5	知識同化アルゴリズムの改善	.... 13
6	知識同化プログラムの実行例	.... 14
6.1	問題の設定	.... 14
7	おわりに	.... 17
8	謝辞	.... 17
9	参考文献	.... 18
	End	.... 27

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

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