Contents of Report

[Data of Report]

Report Number:: TR0107
Date of Registration:: 1985.04
English Title:: ***
Japanese Title:: 知識工学の基礎と応用　第４回　Prolog における知識ベ－スの管理
English Author:: ***
Japanese:: 国藤　進,北上　始,宮下　泰造,古川　康一
Name of Organization to which author belongs:: ICOT,ICOT,ICOT,ICOT
PDF:: tr0107.pdf

[Contents]

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

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

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