Contents of Report

[Data of Report]

Report Number:: TM0052
Date of Registration:: 1984.04
English Title:: ***
Japanese Title:: PrologによるBelief Systemの実現方法
English Author:: H.Kitakami,S.Kunifuji,K.Furukawa,T.Miyaji
Japanese:: 北上　始,国藤　進,古川　康一,宮地　泰造
Name of Organization to which author belongs:: ICOT,ICOT,ICOT,ICOT
PDF:: tm0052.pdf

[Contents]

	概要	.... 2
1	はじめに	.... 2
2	オブジェクト知識とメタ推論知識の構造	.... 3
3	否定的知識としてのファクト	.... 4
4	メタ推論	.... 4
5	信念としてのオブジェクト知識の修正	.... 4
6	適用例	.... 6
7	まとめ	.... 7
	謝辞	.... 7
	参考文献	.... 8
付録1	プログラムリスト	.... 10
付録2	プログラムリスト	.... 15
	End	.... 20

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

ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda