Contents of Report

[Data of Report]

Report Number:: TR0137
Date of Registration:: 1985.09
English Title:: ***
Japanese Title:: メタプログラミングによる論理プログラミングと知識情報処理技術の融合
English Author:: Kunifuji,Takewaki,Segi,Takeuchi,Ohki,Furukawa,Tsurumaki
Japanese:: 國藤　進,武脇　敏晃,世木　博久,竹内　彰一,大木　優,古川　康一,鶴巻　宏治
Name of Organization to which author belongs:: ICOT,ICOT,ICOT,ICOT,ICOT,ICOT,NTT
PDF:: tr0137.pdf

[Contents]

1	はじめに	.... 2
2	問題解決と推論	.... 2
2.1	問題解決のプロセス	.... 2
2.2	推論のプロセス	.... 3
2.3	パースの記号学	.... 3
3	知識情報処理への道	.... 3
3.1	処理対象の拡大	.... 3
3.2	推論エンジンの変遷	.... 3
3.3	アルゴリズム化の道	.... 3
4	メタ推論	.... 4
4.1	メタ知識	.... 4
4.2	demo 述語によるメタ推論	.... 4
4.3	simulate 述語によるメタ推論	.... 4
5	知識利用機能の実現	.... 5
5.1	数式処理の制御	.... 5
5.2	規則制御の実際	.... 5
6	知識表現機能の実現[19]	.... 6
6.1	知識表現機能の拡大	.... 6
6.2	Mandala におけるsimulate の役割	.... 6
7	知識獲得機能の実現	.... 7
7.1	知識同化による知識獲得	.... 7
7.2	知識調節による知識獲得	.... 7
7.3	類推による知識獲得	.... 8
8	部分計算による推論エンジンの高速化	.... 8
8.1	部分計算	.... 8
8.2	推論エンジンの高速化	.... 9
9	おわりに	.... 9
	謝辞	.... 10
	参考文献	.... 10
	End	.... 11

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

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