Hideaki Takeda's Publication

• H. Takeda and A. Tsumaya: A Preliminary Formalization of Knowledge for Synthesis, in Proceedings of International Symposium on Modeling of Synthesis, pp. 13–18, Tokyo (1998).

  In this paper, we investigate how synthesis process should be and propose a preliminary result of logical formalization of synthesis process. Since we often mention analysis and synthesis together, we tend to assume that synthesis process have somewhat similar nature that analysis process has. But it is not good assumption because aims of synthesis and analysis are quite different. They are different in their aims so that knowledge for them should have different characteristics. The aim of analysis is to clarify characteristics of objects. Clarifying objects is to explain different objects in the same manner. In order to apply different objects as much as possible, characteristics should be universal and minimum It implies that requirement for knowledge for analysis is also universal and minimum. On the other hand, the aim of synthesis is to create objects having necessary characteristics. In this case, characteristics is not required as universal and minimum characteristics, rather it should not be. In order to capture human desire for objects, characteristics should be as rich as possible. Then requirement for knowledge for synthesis is not universal and minimum rather individual and various. The last statement indicates that attitude of the traditional logical approach is not appropriate because it tries to capture our world with minimum and universal axioms. We are not going to deny logical approach, but we emphasize that we need new ways to satisfy the above requirements. We have already propose how synthesis can be captured in a logical framework(1). It is still based on logical theory, but we introduce multiple theories in a logical framework. The heart of our formalization is that synthesis is not applying logical theories but to extend and compose logical theories enough to represent human desire to create new artifacts. In this paper, we extend our formalization to be able to explain dynamic nature of synthesis, i.e., synthesis process.