Program Transformation on the Multiple World Mechanism

Abstract

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.