Skip to main content
SpringerLink
Log in

Intelligent CAD Systems

  • Conference paper
Advances in Computer Graphics

Part of the book series: EurographicSeminars ((FOCUS COMPUTER))

Abstract

Computer Aided Design (CAD) systems are now indispensable in many industries, such as mechanical, aeronautical, electrical, automobile, architectural, and chemical industries. Particularly in mechanical engineering where geometrical information is dominant, CAD has become not optional but necessary. Recent advances of artificial intelligence (AI) and knowledge engineering technology have given a new direction for CAD, i.e., so-called intelligent CAD systems (ICAD). ICAD is advocated to be a promising approach to converting the designer’s power to more essential and creative phases of design. However, unfortunately the state of the art is such that anything relevant to improving conventional CAD is called ICAD.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Agogino, A. M. and Almgren, A. S., “Symbolic computation in computer aided optimal design,” in Expert Systems in Computer Aided Design, Gero, J. (ed.), North-Holland, 1987, pp. 267–287.

    Google Scholar 

  2. Akman, V., Hagen, P. and Tomiyama, T.,“Design as a Formal, Knowledge Engineered Activity,” CWI Report No. CS-R8744, Centre for Mathematics and Computer Science, Amsterdam, September 1987.

    Google Scholar 

  3. Akman, V. and ten Hagen, P. J. W., “The power of physical representations,” in Intelligent CAD Systems II: Implementational Issues, Akman, V., ten Hagen, P. J. W. and Veerkamp, P. J. (eds.), Springer-Verlag, Heidelberg, Berlin, Heidelberg, New York, London, Paris, Tokyo, 1989, pp. 170–194.

    Google Scholar 

  4. Akman, V., ten Hagen, P. J. W. and Veerkamp, P. J. (eds.), Intelligent CAD Systems II: Implementational Issues, Springer-Verlag, Heidelberg, Berlin, Heidelberg, New York, London, Paris, Tokyo, 1989.

    MATH  Google Scholar 

  5. Akman, V., ten Hagen, P. J. W. and Tomiyama, T., “A fundamental and theoretical framework for an intelligent CAD system,” Computer-Aided Design, 22(6), 1990, pp. 352–367.

    Article  Google Scholar 

  6. Arbab, F. and Wing, J. M., “Geometric reasoning: A new paradigm for processing geometric information,” in Design Theory for CAD, Proceedings of the IFIP W.G. 5 2 Working Conference 1985 (Tokyo), Yoshikawa, H. and Warman, E. A. (eds.), North-Holland, Amsterdam, 1987, pp. 145–165.

    Google Scholar 

  7. Arbab, F., “A paradigm for intelligent CAD,” in Intelligent CAD Systems I: Theoretical and Methodological Aspects, ten Hagen, P. J. W. and Tomiyama, T. (eds.), Springer-Verlag, Berlin, Heidelberg, New York, Tokyo., 1987, pp. 20–39.

    Chapter  Google Scholar 

  8. Baker, K. D., Ball, L. J., Culverhouse, P. F., Dennis, I., Evans, J. S., Jagodzinski, A. P., Pearce, P. D., Scothern, D. G. C. and Venner, G. M., “A psychologically based intelligent design aid,” in Intelligent CAD Systems III: Practical Experience and Evaluation, ten Hagen, P. J. W. and Veerkamp, P. J. (eds.), Springer-Verlag, Heidelberg, Berlin, Heidelberg, New York, London, Paris, Tokyo, to appear in 1991.

    Google Scholar 

  9. Bart Veth, “An Integrated Data Description Language for Coding Design Knowledge,” in Intelligent CAD Systems I: Theoretical and Methodological Aspects, ten Hagen, P. J. W. and Tomiyama, T. (eds.), Springer-Verlag, Berlin, Heidelberg, New York, London, Paris, Tokyo, 1987, pp. 295–313.

    Chapter  Google Scholar 

  10. Barthes, J. P. A. and El Dahshan, K. (eds.), Intelligent CAD Systems IV: Added Value to Intelligent CAD Systems, Springer-Verlag, Heidelberg, Berlin, Heidelberg, New York, London, Paris, Tokyo, to appear in 1991.

    Google Scholar 

  11. Bijl, A., “An approach to design theory,” in Design Theory for CAD, Proceedings of the IFIP W.G. 5.2 Working Conference 1985 (Tokyo), Yoshikawa, H. and Warman, E. A. (eds.), North-Holland, Amsterdam, 1987, pp. 3–31.

    Google Scholar 

  12. Bobrow, D. G. (ed.), Qualitative Reasoning about Physical Systems, North-Holland, Amsterdam, 1985.

    Google Scholar 

  13. Bobrow, D. G., Kahn, K., Kiczales, G., Masinter, L., Stefik, M. and Zdybel, F., “CommonLoops: Merging Lisp and object-oriented programming,” Proceedings of OOPSLA ’86, special issue of SIGPLAN Notices, 21(11), 1986, pp. 17–29.

    Google Scholar 

  14. Brachman, R. J., “What IS-A is and isn’t An analysis of taxonomic links in semantic networks,” IEEE Computer, 16(10), October 1983, pp. 30–36.

    Article  Google Scholar 

  15. Brodie, M. L., Mylopoulos, J. and Schmidt, J. W. (eds.), On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases, and Programming Languages, Springer-Verlag, New York, Berlin, Heidelberg, Tokyo, 1984.

    MATH  Google Scholar 

  16. Brown, D. C. and Chandrasekaran, B., “Expert systems for a class of mechanical design activity,” in Knowledge Engineering in Computer-Aided Design, Proceedings of the IFIP W.G. 5.2 Working Conference 1984 (Budapest), Gero, J. S. (ed.), North-Holland, Amsterdam, 1985, pp. 259–290.

    Google Scholar 

  17. Chandrasekaran, B. and Mittal, S., “Deep versus compiled knowledge approaches to diagnostic problemsolving,” in Developments in Expert Systems, Coombs, M. J. (ed.), Academic Press, 1984, pp. 23–34.

    Google Scholar 

  18. Chen, P. P., “The Entity-Relationship model — Toward a unified view of data,” ACM Transactions on Database Systems, 1(1), March 1976, pp. 9–36.

    Google Scholar 

  19. Chikayama, T.,“ESP Reference Manual,” ICOT Technical Report No. Tech. Rep.-044, ICOT, Tokyo, Feb. 1984.

    Google Scholar 

  20. Chung, J. C. H., Cook, R. L., Patel, D. and Simmons, M. K., “Feature-based geometry construction for geometric reasoning,” in Proceedings of the 1988 ASME International Computers in Engineering Conference and Exhibition, Vol. 1, Tipnis, V. J. and Patton, E. M. (eds.), ASME, New York, 1988, pp. 497–504.

    Google Scholar 

  21. Cox, B. J., Object Oriented Programming: An Evolutionary Approach, Addison-Wesley Publishing Company, Reading, MA, USA, 1986.

    Google Scholar 

  22. Coyne, R. D., Roseman, M. A., Radford, A. D. and Gero, J. S., “Innovation and creativity in knowledgebased CAD,” in Expert Systems in Computer-Aided Design, Proceedings of the IFIP W.G. 5 2 Working Conference 1987 (Sydney), Gero, J. S. (ed.), North-Holland, Amsterdam, 1987, pp. 435–471.

    Google Scholar 

  23. Coyne, R., Logic Models of Design, Pitman Publishing, London, 1988.

    MATH  Google Scholar 

  24. Cutkosky, M. R., Tenenbaum, J. M. and Muller, D., “Feature in process-based design,” in Proceedings of the 1988 ASME International Computers in Engineering Conference and Exhibition, Vol. 1, Tipnis, V. J. and Patton, E. M. (eds.), ASME, New York, 1988, pp. 557–562.

    Google Scholar 

  25. de Kleer, J. and Brown, J. S., “A qualitative physics based on confluences,” Artificial Intelligence, 24(3), 1984, pp. 7–83.

    Article  Google Scholar 

  26. de Kleer, J., “An assumption-based TMS,” Artificial Intelligence, 28 , 1986, pp. 127–162.

    Article  Google Scholar 

  27. Dietterich, T. A. and Ullman, D. G., “FORLOG: A logic-based architecture for design,” in Expert Systems in Computer-Aided Design, Proceedings of the IFIP W.G. 5.2 Working Conference 1987 (Sydney), Gero, J. S. (ed.), North-Holland, Amsterdam, 1987, pp. 1–24.

    Google Scholar 

  28. Dixon, J. R. and Simmons, M. K., “Computers that design: Expert systems for mechanical engineers,” Computers in Mechanical Engineering, 2(3), November 1983, pp. 10–17.

    Google Scholar 

  29. Dixon, J. R., “On research methodology towards a scientific theory of engineering design,” Artificial Intelligence for Engineering Design, Analysis and Manufacturing (AIEDAM), 1(3), 1987, pp. 145–157.

    Article  Google Scholar 

  30. Dixon, J. R. and Cunningham, J. J., “Research in designing with features,” in Intelligent CAD, I, Yoshikawa, H. and Gossard, D. C. (eds.), North-Holland, Amsterdam, 1989, pp. 137–148.

    Google Scholar 

  31. Doyle, J., “A truth maintenance system,” Artificial Intelligence, 12 , 1979, pp. 231–272.

    Article  MathSciNet  Google Scholar 

  32. Dyer, M. G., Flowers, M. and Hodges, J., “EDISON: An engineering design invention system operating naively,” Artificial Intelligence in Engineering, 1(1), 1986, pp. 36–44.

    Article  Google Scholar 

  33. Eder, W. E. (ed.), WDK 13, Proceedings of the 1987 International Conference on Engineering Design, (ICED 87), ASME, New York, 1987.

    Google Scholar 

  34. El Dahshan, K. and Barthes, J. P., “Implementing constraint propagation in mechanical CAD systems,” in Intelligent CAD Systems II: Implementational Issues, Akman, V., ten Hagen, P. J. W. and Veerkamp, P. J. (eds.), Springer-Verlag, Heidelberg, Berlin, Heidelberg, New York, London, Paris, Tokyo, 1989, pp. 217–227.

    Google Scholar 

  35. Elmaraghy, W. H., Seering, W. P. and Ullman, D. G. (eds.), Design Theory and Methodology DTM ’89, ASME, New York, 1989.

    Google Scholar 

  36. Encarnacao, J. (ed.), Computer Aided Design: Modelling, Systems Engineering, CAD-Systems, Springer-Verlag, Berlin, 1980.

    MATH  Google Scholar 

  37. Ericsson, K. E. and Simon, H. A., “Verbal reports as data,” Psychological Review, 87(3), 1980, pp. 215–251.

    Article  Google Scholar 

  38. Faltings, B., “Qualitative Knematics in mechanisms,” Proceedings of IJCAI ’87, 1987, pp. 436–442.

    Google Scholar 

  39. Fann, K. T., Peirce’ s Theory ofAbduction, Martinus Nijhoff, The Hague, Holland, 1970.

    Book  Google Scholar 

  40. Finger, S. and Dixon, J. R., “A review of research in mechanical engineering design. Part I: Descriptive, prescriptive, and computer-based models of design processes,” Research in Engineering Design, 1(1), 1989, pp. 51–67.

    Article  Google Scholar 

  41. Proceedings of the First International Workshop on Formal Methods in Engineering Design, Manufacturing, and Assembly (January 15–17, 1990, Colorado Springs, Colorado, USA), 1990.

    Google Scholar 

  42. Forbus, K.,“Qualitative process theory,” Artificial Intelligence, 24(3), 1984, pp. 85–168.

    Article  Google Scholar 

  43. Forbus, K. D., “Intelligent computer-aided engineering,” AI Magazine, 9(3), Fall 1988, pp. 23–36.

    Google Scholar 

  44. Gero, J. S. (ed.), Optimization in Computer-Aided Design, Proceedings of the IFIP W.G. 5 .2 Working Conference 1983, North-Holland, Amsterdam, 1985.

    Google Scholar 

  45. Gero, J. S. (ed.), Knowledge Engineering in Computer-Aided Design, Proceedings of the IFIP W.G. 5.2 Working Conference 1984 (Budapest), North-Holland, Amsterdam, 1985.

    Google Scholar 

  46. Gero, J. S. (ed.), Expert Systems in Computer-Aided Design, Proceedings of the IFIP W.G. 5.2 Working Conference 1987 (Sydney), North-Holland, Amsterdam, 1987.

    Google Scholar 

  47. Gero, J. S. (ed.), Artificial Intelligence in Engineering Design, Elsevier, Amsterdam, Oxford, New York, Tokyo, 1988.

    MATH  Google Scholar 

  48. Gero, J. S. (ed.), Artificial Intelligence in Design, Computational Mechanics Publications & Springer-Verlag, Southampton, Boston, 1989.

    MATH  Google Scholar 

  49. Goel, V. and Pirolli, P., “Motivating the Notion of Generic Design within Information-processing Theory: The Design Problem Space,” AI magazine, 10(1),1989, pp. 18–47.

    Google Scholar 

  50. Goldberg, A. and Robson, D., Smalltalk-80: The Language and its Implementation, Addison-Wesley, Reading, MA, 1983.

    MATH  Google Scholar 

  51. Hayes, P. J., “The second naive physics manifesto,” in Formal Theories of the Commonsense World, Hobbs, J. and Moore, R. (eds.), Ablex Publishing, Co., Norwood, New Jersey, 1985, pp. 1–36.

    Google Scholar 

  52. Hayes, P. J., “Naive physics manifesto I: Ontology for liquids,” in Formal Theories of the Commonsense World, Hobbs, J. and Moore, R. (eds.), Ablex Publishing, Co., Norwood, New Jersey, 1985, pp. 71–107.

    Google Scholar 

  53. Henderson, M. R. and Anderson, D. C., “Computer recognition and extraction of form features: A CAD/CAM link,” Computers in Industry, 6(4), 1984, pp. 315–325.

    Google Scholar 

  54. Hubka, V. and the Programme Committee (eds.), WDK 12, Proceedings of ICED 85 (Hamburg) — Theory and Practice of Engineering Design in International Comparison, Heurista, Zurich, 1985.

    Google Scholar 

  55. Hubka, V. and Eder, W. E., Theory of Technical Systems: A Total Concept Theory for Engineering Design, Springer-Verlag, Berlin, Heidelberg, New York, London, Paris, Tokyo, 1988.

    Google Scholar 

  56. Hughes, G. E. and Cresswell, M. J., An Introduction to Modal Logic, Methuen and Company Ltd., London, 1968.

    MATH  Google Scholar 

  57. Ishida, Y., Xue, D., Tomiyama, T. and Yoshikawa, H., “A user-interface system for a design description language in intelligent CAD systems,” in Computer Applications in Production and Engineering, Proceedings of the Third International IFIP Conference on Computer Applications in Production and Engineering (CAPE ’89, October 2–5, 1989, Tokyo), kimura, F. and Rolstadas, A. (eds.), North-Holland, Amsterdam, New York, Oxford, Tokyo, 1989, pp. 617–624.

    Google Scholar 

  58. Ito, M., Kono, M. and Hayashi, K., “CONMOTO: A machine part description system based on designer’s mental processes,” in Design Theory for CAD Proceedings of the IFIP W.G. 5.2 Working Conference 1985 (Tokyo), Yoshikawa, H. and Warman, E. A. (eds.), North-Holland, Amsterdam, 1987, pp. 167–198.

    Google Scholar 

  59. Jackson, P., Reichgelt, H. and van Harmelen, F. (eds.), Logic-Based Knowledge Representation, The MIT Press, Cambridge, London, 1989.

    Google Scholar 

  60. Johnson-Laird, P. N., Mental Models, Cambridge University Press, Cambridge, UK, 1983.

    Google Scholar 

  61. Joskowicz, L., “Shape and function in mechanical devices,” Proceedings of AAAI 87, 1987, pp. 611–615.

    Google Scholar 

  62. Kalay, Y. E. (ed.), Computability of Design, John Wiley & Sons, New York, Chichester, Brisbane, Toronto, Singapore, 1987.

    Google Scholar 

  63. Kim, W. and Lochovsky, F. H. (eds.), Object-Oriented Concepts, Databases, and Applications, ACM Press, New York, and Addison-Wesley, Reading, MA, 1989.

    Google Scholar 

  64. Kimura, F., Sata, T. and Hosaka, M., “Integration of design and manufacturing activities based on object modelling,” in Advances in CAD/CAM, Proceedings of the 5th International IFIPIIFAC Conference on Programming Research and Operations Logistics in Advanced Manufacturing Technology (PROLAMAT 82, Leningrad, USSR), Ellis, T. M. R. and Semenkov, O. I. (eds.), North-Holland, Amsterdam, 1983, pp. 375–385.

    Google Scholar 

  65. Kimura, F., Suzuki, H. and Wingard, L., “A uniform approach to dimensioning and tolerancing in product modelling,” in Proceedings of CAPE ’86, Second International Conference on Computer Applications in Production and Engineering, Bo, K., Estensen, L. and Warman, E. A. (eds.), Copenhagen, 1986, pp. 165–171.

    Google Scholar 

  66. Kiriyama, T., Yamamoto, F., Tomiyama, T. and Yoshikawa, H., “Metamodel: An integrated modeling framework for intelligent CAD,” in Artificial Intelligence in Design, Gero, J. S. (ed.), Computational Mechanics Publications, Southampton, Boston, 1989, pp. 429–449.

    Google Scholar 

  67. Kiriyama, T., Kurumatani, K., Tomiyama, T. and Yoshikawa, H., “Qualitative behavior representation and reasoning for intelligent CAD systems,” in Computer Applications in Production and Engineering, Proceedings of the Third International IFIP Conference on Computer Applications in Production and Engineering (CAPE ’89, October 2–5, 1989, Tokyo), Kimura, F. and Rolstadas, A. (eds.), North-Holland, Amsterdam, New York, Oxford, Tokyo, 1989, pp. 29–36.

    Google Scholar 

  68. Krause, F. L., Vosgerau, F. H. and Yaramanoglu, N., “Implementation of technical rules in a feature based modeller,” in Intelligent CAD Systems II: Implementational Issues, Akman, V., ten Hagen, P. J. W. and Veerkamp, P. J. (eds.), Springer-Verlag, Heidelberg, Berlin, Heidelberg, New York, London, Paris, Tokyo, 1989, pp. 195–208.

    Google Scholar 

  69. Kuipers, B., “Qualitative simulation,” Artificial Intelligence, 29 , 1986, pp. 289–338.

    Article  MathSciNet  MATH  Google Scholar 

  70. Latombe, J., “Artificial intelligence in computer aided design: The TROPIC system,” in CAD Systems: Proceedings of the IFIP Working Conference 1976 (Austin, Texas, USA), Allan, III, J. J. (ed.), North-Holland, Amsterdam, 1977, pp. 61.

    Google Scholar 

  71. Lenat, D. B. and Guha, R. V., Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project, Addison-Wesley, Reading, MA, USA, 1989.

    Google Scholar 

  72. Lieberman, H., “Using prototypical objects to implement shared behavior in object-oriented systems,” Special Issue of ACM SIGPLAN Notices (Proceedings of Object-Oriented Programming Systems, Languages and Applications ’86), 21(11), November 1986, pp. 214–223.

    MathSciNet  Google Scholar 

  73. MacCallum, K. J., “Knowledge-based systems for CAD,” Proceedings of CAPE ’86, Second International Conference on Computer Applications in Production and Engineering, Copenhagen, 1986, pp. 903.

    Google Scholar 

  74. Maher, M. L. and Fenves, S. J., “HI-RISE: An expert system for the preliminary structural design of high rise buildings,” in Knowledge Engineering in Computer-Aided Design, Proceedings of the IFIP W.G. 5.2 Working Conference 1984 (Budapest), Gero, J. S. (ed.), North-Holland, Amsterdam, 1985, pp. 125–146.

    Google Scholar 

  75. Mantyla, M., An Introduction to Solid Modeling Computer Science Press, Rockville, Maryland, USA, 1989.

    Google Scholar 

  76. Maunier, K. L. and Dixon, J. R., “Iterative respecification: a computational model for hierarchical mechanical system design,” in Proceedings of the 1988 ASME International Computers in Engineering Conference and Exhibition, Tipnis, V. A. and Patton, E. M. (eds.), 1988, pp. 25–32.

    Google Scholar 

  77. McCarthy, J., “Circumscription — A form of non-monotonic reasoning,” Artificial Intelligence, 13 , 1980, pp. 27–39.

    Article  MathSciNet  MATH  Google Scholar 

  78. Minsky, M., “A framework for representing knowledge,” in The Psychology of Computer Vision, Winston, P. H. (ed.), McGraw-Hill, New York, 1975, pp. 211–277.

    Google Scholar 

  79. Mistree, F., Karandikar, H. and Kamal, S., “Knowledge-based mathematical programming: A hybrid approach for decision making in design,” in Design Theory for CAD, Proceedings of the IFIP W.G. 5.2. Working Conference 1985 (Tokyo), Yoshikawa, H. and Warman, E. A. (eds.), North-Holland, Amsterdam, 1987, pp. 201.

    Google Scholar 

  80. Mittal, S., Dym, C. L. and Morjaria, M., “PRIDE: An expert system for the design of paper handling systems,” IEEE Computer,19(7), July 1986, pp. 102–114.

    Article  Google Scholar 

  81. Murthy, S. S. and Addanki, S., “PROMPT: An innovative design tool,” in Expert Systems in Computer-Aided Design, Gem, J. S. (ed.), North-Holland, Amsterdam, 1987, pp. 323–347.

    Google Scholar 

  82. Nagasawa, I., “Attributive modeling changes CAD,” Pixel, 86 , November 1989, pp. 147–152. In Japanese.

    Google Scholar 

  83. Nakajima, N. and Gossard, D. C.,“Basic Study on Feature Descriptor,” MIT CAD Laboratory Technical Report No. 1, Massachusetts Institute of Technology, Cambridge, MA, USA, 1982.

    Google Scholar 

  84. Newsome, S. L., Spillers, W. R. and Finger, S. (eds.), Design Theory ’88, Proceedings of the 1988 NSF Grantee Workshop on Design Theory and Methodologies, Springer-Verlag, New York, Berlin, Heidelberg, London, Paris, Tokyo, 1989.

    Google Scholar 

  85. Ohsuga, S., “Conceptual design of CAD systems involving knowledge bases,” in Knowledge Engineering in Computer-Aided Design, Proceedings of the IFIP W.G. 5 .2 Working Conference 1984 (Budapest), Gero, J. S. (ed.), North-Holland, Amsterdam, 1985, pp. 29–56.

    Google Scholar 

  86. Pahl, G. and Beitz, W., Engineering Design: A Systematic Approach, The Design Council, London, and Springer-Verlag, Berlin, Heidelberg, New York, London, Paris, Tokyo, 1988.

    Google Scholar 

  87. Pentland, A. and Williams, J., “Virtual manufacturing,” in Preprints of NFS Engineering Design Research Conference (June 11–14, 1989, Amherst, MA, USA), College of Engineering, University of Massachusetts, Amherst, MA, USA, 1989, pp. 301–316.

    Google Scholar 

  88. Peterson, G. E. (ed.), Object-Oriented Computing 2: Implementations, IEEE Computer Society Press, Los Angeles, CA, USA, 1987.

    Google Scholar 

  89. Peterson, G. E. (ed.), Object-Oriented Computing 1: Concepts IEEE Computer Society Press, Los Angeles, CA, USA, 1987.

    Google Scholar 

  90. Pineda, L. A., Klein, E. and Lee, J., “GRAFLOG: Understanding drawings through natural language,” Computer Graphics Forum, 7(2), June 1988, pp. 97–103.

    Article  Google Scholar 

  91. Pu, P. and Badler, N. I., “Design knowledge capture and causal simulation,” in Intelligent CAD, I, Yoshikawa, H. and Gossard, D. C. (eds.), North-Holland, Amsterdam, 1989, pp. 201–212.

    Google Scholar 

  92. Rehak, D. R., Howard, H. C. and Sriram, D., “Architecture of an integrated knowledge based environment for structural engineering applications,” in Knowledge Engineering in Computer-Aided Design, Proceedings of the IFIP W.G. 5.2 Working Conference 1984 (Budapest), Gero, J. S. (ed.), North-Holland, Amsterdam, 1985, pp. 89–124.

    Google Scholar 

  93. Reiter, R., “A logic for default reasoning,” Artificial Intelligence, 13(1, 2), 1980, pp. 81–132.

    Article  MathSciNet  MATH  Google Scholar 

  94. Rodenacker, W., Methodisches Konstruieren, Springer, Berlin, Heidelberg, New York, 1971.

    Google Scholar 

  95. Rossignac, J. R., Borrel, P. and Nackman, L. R., “Interactive design with sequences of parameterized transformations,” in Intelligent CAD Systems II: Implementational Issues, Akman, V., ten Hagen, P. J. W. and Veerkamp, P. J. (eds.), Springer-Verlag, Heidelberg, Berlin, Heidelberg, New York, London, Paris, Tokyo, 1989, pp. 93–125.

    Google Scholar 

  96. Ruttkay, Z., Allen, R. H. and Laczik, B., “A multiparadigm user interface for intelligent CAD systems,” in Intelligent CAD Systems I: Theoretical and Methodological Aspects, ten Hagen, P. J. W. and Tomiyama, T. (eds.), Springer-Verlag, New York, Berlin, Heidelberg, Tokyo, 1987, pp. 242–255.

    Chapter  Google Scholar 

  97. Rychener, M. D. (ed.), Expert Systems for Engineering Design, Academic Press, Boston, San Diego, New York, Berkeley, London, Sydney, Tokyo, Toronto, 1988.

    MATH  Google Scholar 

  98. Sakurai, H. and Gossard, D. C., “Shape feature recognition from 3d solid models,” in Proceedings of the 1988 ASME International Computers in Engineering Conference and Exhibition, Vol. 1, Tipnis, V. J. and Patton, E. M. (eds.), ASME, New York, 1988, pp. 515–519.

    Google Scholar 

  99. Schmidt, J. W. and Thanos, C. (eds.), Foundations of Knowledge Base Management, Springer-Verlag, Berlin, Heidelberg, New York, London, Paris, Tokyo, Hong Kong, 1989.

    MATH  Google Scholar 

  100. Shah, J. J. and Rogers, M. T., “Expert form feature modelling shell,” Computer-Aided Design, 20(9), 1988, pp. 515–524.

    Article  Google Scholar 

  101. Shortliffe, E. H., Computer-based Medical Consultations; MYCIN, American Elsevier, New York, 1976.

    Google Scholar 

  102. Smithers, T., Conkie, A., Doheny, J., Logan, B. and Millington, K., “Design as intelligent behavior: An AI in design research programme,” in Artificial Intelligence in Design, Gero, J. S. (ed.), Computational Mechanics Publications, Southampton, Boston, and Springer-Verlag, Berlin, Heidelberg, New York, London, Paris, Tokyo, Hong Kong, 1989, pp. 294–334.

    Google Scholar 

  103. Smithers, T., “Al-based design versus geometry-based design or Why design cannot be supported by geometry alone,” Computer-Aided Design, 21(3), April 1989, pp. 141–150.

    Article  Google Scholar 

  104. Sriram, D. and Adey, R. A. (eds.), Applications of Artificial Intelligence in Engineering Problems, Springer-Verlag, Berlin, Heidelberg, New York, Tokyo, 1986.

    MATH  Google Scholar 

  105. Sriram, D. and Leff, L., “Knowledge-based expert systems in engineering: An annotated bibliography,” ACM SIGART Newsletter, July 1989, pp. 38–89.

    Google Scholar 

  106. Sriram, D., Logcher, R. and Fukuda, S. (eds.), Proceedings of the MIT-JSME Workshop on Cooperative Product Development (November 20–21, 1989, Cambridge, MA, USA), Massachusetts Institute of Technology, Cambridge, MA, 1989.

    Google Scholar 

  107. Suh, N. P., The Principles of Design, Oxford University Press, New York, Oxford, 1990.

    Google Scholar 

  108. Sunde, G., “A CAD system with declarative specification,” in Intelligent CAD Systems I: Theoretical and Methodological Aspects, ten Hagen, P. J. W. and Tomiyama, T. (eds.), Springer-Verlag, Berlin, Heidelberg, New York, London, Paris, Tokyo, 1987, pp. 90–104.

    Chapter  Google Scholar 

  109. Sutherland, I. E.,“SKETCHPAD: A man-machine graphical communication system,” MIT Lincoln Laboratory Report No. 296, Cambridge, MA, USA, May 1965.

    Google Scholar 

  110. Suzuki, H., Ando, H. and Kimura, F., “Synthesizing pmduct shapes with geometric design constraints and reasoning,” in Intelligent CAD, II, Yoshikawa, H. and Holden, T. (eds.), North-Holland, Amsterdam, 1990, pp. 309–324.

    Google Scholar 

  111. Szalapaj, P. J. and Bijl, A., “Knowing where to draw the line,” in Knowledge Engineering in Computer-Aided Design, Proceedings of the IFIP W.G. 5 2 Working Conference 1984 (Budapest), Gero, J. S and Gero, J. S. (eds.), North-Holland, Amsterdam, 1984, pp. 149–169.

    Google Scholar 

  112. Takeda, H., Tomiyama, T. and Yoshikawa, H., “A logical formalization of design processes,” in Intelligent CAD, II, Yoshikawa, H. and Holden, T. (eds.), North-Holland, Amsterdam, 1990, pp. 325–336.

    Google Scholar 

  113. ten Hagen, P. J. W. and Tomiyama, T. (eds.), Intelligent CAD Systems I: Theoretical and Methodological Aspects, Springer-Verlag, Berlin, Heidelberg, New York, London, Paris, Tokyo, 1987.

    MATH  Google Scholar 

  114. ten Hagen, P. J. W. and Veerkamp, P. J. (eds.), Intelligent CAD Systems III: Practical Experience and Evaluation, Springer-Verlag, Heidelberg, Berlin, Heidelberg, New York, London, Paris, Tokyo, to appear in 1991.

    MATH  Google Scholar 

  115. Tomiyama, T. and Yoshikawa, H., “An application of knowledge engineering to CAD,” in WDK 10, Proceedings of the International Conference on Engineering Design in Copenhagen 1983, Hubka, V. and Andreasen, M. M. (eds.), Heurista, Zurich, 1983, pp. 607–614.

    Google Scholar 

  116. Tomiyama, T. and Yoshikawa, H., “Requirements and principles for intelligent CAD systems,” in Knowledge Engineering in Computer-Aided Design, Proceedings of the IFIP W.G. 5.2 Working Conference 1984 (Budapest), Gero, J. S. (ed.), North-Holland, Amsterdam, 1985, pp. 1–23.

    Google Scholar 

  117. Tomiyama, T. and Yoshikawa, H., “Extended general design theory,” in Design Theory for CAD, Proceedings of the IFIP W.G. 5 2 Working Conference 1985 (Tokyo), Yoshikawa, H. and Warman, E. A. (eds.), North-Holland, Amsterdam, 1987, pp. 95–130.

    Google Scholar 

  118. Tomiyama, T., “Object oriented programming paradigm for intelligent CAD systems,” in Intelligent CAD Systems II: Implementational Issues, Akman, V., ten Hagen, P. J. W. and Veerkamp, P. J. (eds.), Springer-Verlag, Heidelberg, Berlin, Heidelberg, New York, London, Paris, Tokyo, 1989, pp. 3–16.

    Google Scholar 

  119. Tomiyama, T., Kiriyama, T., Takeda, H., Xue, D. and Yoshikawa, H., “Metamodel: A key to intelligent CAD systems,” Research in Engineering Design, 1(1), 1989, pp. 19–34.

    Article  Google Scholar 

  120. Tomiyama, T. and Arbab, F. (eds.), “Special Issue on Features and Geometric Reasoning,” Computers & Graphics,14(2), 1990.

    Google Scholar 

  121. Tomiyama, T. and ten Hagen, P. J. W., “Representing Knowledge in Two Distinct Descriptions: Extensional vs. Intensional,” Artificial Intelligence in Engineering, 5(1), 1990, pp. 23–32.

    Article  Google Scholar 

  122. Tomiyama, T., Xue, D. and Ishida, Y., “An experience with developing a design knowledge representation language,” in Intelligent CAD Systems III: Practical Experience and Evaluation, ten Hagen, P. J. W. and Veerkamp, P. J. (eds.), Springer-Verlag, Heidelberg, Berlin, Heidelberg, New York, London, Paris, Tokyo, to appear in 1991.

    Google Scholar 

  123. Treur, J., “A logical framework for design processes,” in Intelligent CAD Systems III: Practical Experience and Evaluation, ten Hagen, P. J. W. and Veerkamp, P. J. (eds.), Springer-Verlag, Heidelberg, Berlin, Heidelberg, New York, London, Paris, Tokyo, to appear in 1991.

    Google Scholar 

  124. Ullman, D. G., Dietterich, T. G. and Stauffer, L. A., “A model of the mechanical design process based on empirical data: a summary,” in Artificial Intelligence in Engineering Design, Gero, J. S. (ed.), Elsevier, Amsterdam, Oxford, New York, Tokyo, 1988, pp. 193–215.

    Google Scholar 

  125. van den Kroonenberg, H. H., “CAD applications in the creative phases of the methodological design process,” in Proceedings of CAPE ’86, Second International Conference on Computer Applications in Production and Engineering, Bo, K., Estensen, L. and Warman, E. A. (eds.), Copenhagen, 1986, pp. 339–348.

    Google Scholar 

  126. Veerkamp, P., Kiriyama, T., Xue, D. and Tomiyama, T., “Representation and implementation of design knowledge for intelligent CAD: Theoretical aspects,” in Preprints of the Fourth Eurographics Workshop on Intelligent CAD Systems (April 24–27, 1990, Mortefontaine, France), 1990, pp. 184–205.

    Google Scholar 

  127. Veerkamp, P., Pieters Kwiers, R. and Hagen, P. J. W., Intelligent CAD Systems III: Practical Experience and Evaluation, Springer-Verlag, Heidelberg, Berlin, Heidelberg, New York, London, Paris, Tokyo, to appear in 1991.

    MATH  Google Scholar 

  128. Weiler, K., “Boundary graph operators for non-manifold geometric modeling topology representations,” in Geometric Modeling for CAD Applications, Wozny, M. J., McLaughlin, H. W. and Encarnacao, J. L. (eds.), North-Holland, Amsterdam, 1988, pp. 37–66.

    Google Scholar 

  129. Weiler, K., “The radial edge structure: A topological representation for non-manifold geometric broundary modeling,” in Geometric Modeling for CAD Applications, Wozny, M. J., McLaughlin, H. W. and Encarnacao, J. L. (eds.), North-Holland, Amsterdam, 1988, pp. 3–36.

    Google Scholar 

  130. Weld, D. S. and de Kleer, J. (eds.), Readings in Qualitative Reasoning about Physical Systems, Morgan-Kaufmann Publishers, Inc., San Mateo, CA, 1990.

    Google Scholar 

  131. Weyhrauch, R. W., “Prolegomena to a theory of mechanized formal reasoning,” Artificial Intelligence, 13 , 1980, pp. 133–170.

    Article  MathSciNet  MATH  Google Scholar 

  132. Widman, L. E., Loparo, K. A. and Nielsen, N. R. (eds.), Artificial Intelligence, Simulation, and Modeling, John Wiley & Sons, New York, Chichester, Brisbane, Toronto, Singapore, 1989.

    Google Scholar 

  133. Wilson, P. R. and Pratt, M. J., “A taxonomy of features for solid modeling,” in Geometric Modeling for CAD Applications, Wozny, M. J., McLaughlin, H. W. and Encarnacao, J. L. (eds.), North-Holland, Amsterdam, 1988, pp. 125–136.

    Google Scholar 

  134. Woodbury, R. F. and Oppenheim, I. J., “An approach to geometric reasoning,” in Intelligent CAD, I, Yoshikawa, H. and Gossard, D. C. (eds.), North-Holland, Amsterdam, 1989, pp. 149–168.

    Google Scholar 

  135. Xue, D., Kiriyama, T., Veerkamp, P. and Tomiyama, T., “Representation and implementation of design knowledge for intelligent CAD: Implementational aspects,” in Preprints of the Fourth Eurographics Workshop on Intelligent CAD Systems (April 24–27 , 1990, Mortefontaine, France), 1990, pp. 206–226.

    Google Scholar 

  136. Yoshikawa, H., “General design theory and a CAD system,” in Man-Machine Communication in CAD/CAM, Proceedings of the IFIP Working Group 5 .2 Working Conference 1980 (Tokyo), Sata, T. and Warman, E. A. (eds.), North-Holland, Amsterdam, 1981, pp. 35–58.

    Google Scholar 

  137. Yoshikawa, H., Arai, E. and Goto, T., “Theory of design experiment,” Journal of JSPE, 47(7), 1981, pp. 830–835. In Japanese.

    Google Scholar 

  138. Yoshikawa, H., “CAD framework guided by general design theory,” in CAD Systems Framework, Proceedings of IFIP Working Group 5 2, Bo, K. and Lillehagen, E. M. (eds.), North-Holland, Amsterdam, 1983, pp. 241–253.

    Google Scholar 

  139. Yoshikawa, H., “Automation of thinking in design,” in Proceedings of CAPE ’83, Second International Conference on Computer Applications in Production and Engineering, Amsterdam, Warman, E. A. (ed.), North-Holland, Amsterdam, 1983, pp. 405–417.

    Google Scholar 

  140. Yoshikawa, H. and Warman, E. A. (eds.), Design Theory for CAD, Proceedings of the IFIP W.G. 5.2 Working Conference 1985 (Tokyo), North-Holland, Amsterdam, 1987.

    Google Scholar 

  141. Yoshikawa, H. and Gossard, D. C. (eds.), Intelligent CAD, I, Proceedings of the First IFIP Working Group 5 2 Workshop on Intelligent CAD, 6–8 October 1987, Cambridge, MA, USA, North-Holland, Amsterdam, 1989.

    Google Scholar 

  142. Yoshikawa, H. and Holden, T. (eds.), Intelligent CAD, II: Proceedings of the Second IFIP Working Group 5 .2 Workshop on Intelligent CAD, North-Holland, Amsterdam, 1990.

    Google Scholar 

  143. Yoshikawa, H. and Arbab, F. (eds.), Intelligent CAD, III: Proceedings of the Third IFIP Working Group 52 Workshop on Intelligent CAD, North-Holland, Amsterdam, in preparation, 1991.

    Google Scholar 

Download references

Authors
  1. Tetsuo Tomiyama
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Unité de Synthèse de l’Image Numérique, Ecole cantonale d’art de Lausanne, 46, rue de l’Industrie, CH-1030, Bussigny, Switzerland

    Gérald Garcia

  2. Department of Interactive Systems, Centre for Mathematics and Computer Sciences (CWI), Kruislaan 413, NL-1098 SJ, Amsterdam, The Netherlands

    Ivan Herman

Rights and permissions

Reprints and permissions

Copyright information

© 1991 EUROGRAPHICS The European Association for Computer Graphics

About this paper

Cite this paper

Tomiyama, T. (1991). Intelligent CAD Systems. In: Garcia, G., Herman, I. (eds) Advances in Computer Graphics. EurographicSeminars. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-76286-4_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-76286-4_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-76288-8

  • Online ISBN: 978-3-642-76286-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation