Contents of Report

[Data of Report]

Report Number:: TR0120
Date of Registration:: 1985.06
English Title:: ***
Japanese Title:: 論理型言語Prolo による知識ベ－スの管理
English Author:: Kunifuji,Kitakami,Miyachi,Furukawa
Japanese:: 國藤　進,北上　始,宮地　泰造,古川　康一
Name of Organization to which author belongs:: ICOT,Fujitsu,ICOT,ICOT
PDF:: tr0120.pdf

[Contents]

1	はじめに	.... 2
2	知識獲得とメタ知識	.... 2
2.1	知識獲得問題	.... 2
2.2	知識とメタ知識	.... 3
3	メタ推論	.... 3
3.1	理論的根拠	.... 3
3.2	メタ推論方式	.... 3
3.3	実現法	.... 4
4	メタプログラミング	.... 5
4.1	否定の導入	.... 5
4.2	カットの導入	.... 5
4.3	証明のプロセス情報の抽出	.... 5
5	知識同化機構の実現	.... 6
5.1	知識同化	.... 6
5.2	知識同化プログラム	.... 6
5.3	例外値の扱い	.... 8
6	知識調節機構の実現	.... 10
6.1	知識調節	.... 10
6.2	知識調節プログラム	.... 10
6.3	知識同化や知識調節の実行例	.... 11
7	おわりに	.... 12
	参考文献	.... 13
	Appendix	.... 15

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

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