Design as a formal, knowledge engineered activity
Varol Akman, P.J.W. teHagen, Tetsuo Tomiyama · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 1987
We summarize the framework and the preliminary results of the project Intelligent Integrated Interactive CAD ( lllCAD) conducted at CWI.In e.g.mechanical computer aided engineering, currently much research aspires at using knowledge engineering but truly unifying approaches (i.e."more" than expert systems) are lacking.IIICAD aims at filling this gap using the theory of CAD.Here, we show the concepts and the architecture of IIICAD.We then formulate how IIICAD can help in integrating existing CAD tools and establishing a workbench for design.We demonstrate the relevance and use of qualitative physics in machine design.As for the IIICAD software development methodology, we consider several aspects of software engineering as well as knowledge engineering, for CAD systems tend to be very large.IIICAD has a kernel language based on logic programming and object oriented programming paradigms.We eXJ>lain the combination of these paradigms and give a taste of our III CAD prototype which is presently under construction.CR Categories (1987) D.2.m, 1.2.l,I.2.3, I.2.4,1.2.5, J.