A highly intriguing problem in combining artificial intelligence and engineering design is automation of the creative and innovative phases of the design process. This paper gives a brief introduction to the theory of inventive problem solving (TIPS) selected as a theoretical basis of the authors' research efforts in this field. The research is conducted in the Stevin Project of the Knowledge-Based System Group of the University of Twente (Enschede, The Netherlands) in cooperation with the Invention Machine Laboratory (Minsk, Belarus). This collaboration aims at developing a formal basis for the creation of an automated reasoning system to support creative engineering design
