人工知能学会誌（1986～2013, Print ISSN:0912-8085）
多重世界環境下におけるプログラム変換
1987 年 2 巻 1 号 p. 112-116
詳細
1987 年 2 巻 1 号 p. 112-116
There are two important parts in the study of the artifitial intelligence. One is a knowledge representation, and the other is a program transformation. Till now, they were studied independently. But we thought if they amalgamated, they might obtain some new results. So we applied the program transformation to the multiple world mechanism which is used for the knowledge representation. In this paper, we introduce an example of the transformation on the multiple world mechanism and examine its validity. As the result, the method described here may be a hopeful approach for the AI programming.
