Contents of Report

[Data of Report]

Report Number:: TM0868
Date of Registration:: 1990.03
English Title:: Problem Solving Based on Constraint Propagation among Objects
Japanese Title:: オブジェクト間の制約式の伝幡による問題解決
English Author:: T.Yokoyama
Japanese:: 横山　孝典
Name of Organization to which author belongs:: ICOT
PDF:: tm0868.pdf

	標題論文オブジェクト間の制約式の伝幡による問題解決	.... 2
	梗概	.... 4
1	はじめに	.... 5
2	オブジェクト指向への制約の導入	.... 6
3	制約式の伝幡によるオブジェクト指向計算モデル	.... 9
4	制約充足方式	.... 16
5	知識表現システムへの適用	.... 21
6	今後の課題	.... 25
7	おわりに	.... 26
	謝辞	.... 28
	参考文献	.... 29
	End	.... 39

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