Journal of Mechanical Science and Technology

The Korean Society of Mechanical Engineers (대한기계학회)
권호 표지

A Constraint-Based Inference System for Satisfying Design Constraints

  • Cha, Joo-Heon (CAD/CAM Research Center at Korea Institute of Science and Technology) ;
  • Lee, In-Ho (School of Mechanical Engineering at Hanyang University) ;
  • Kim, Jay-Jung (School of Mechanical Engineering at Hanyang University)
  • Published : 2000.06.01
Download PDF
⟨ Previous Next ⟩

Abstract

We propose an efficient algorithm for the purpose of satisfying a wide range of design constraints represented with equality and inequality equations as well as production rules. The algorithm employs simulated-annealing and a production rule inference engine and works on design constraints represented with networks. The algorithm fulfills equality constraints through constraint satisfaction processes like variable elimination while taking into account inequality constraints and inferring production rules. It can also reduce the load of the optimization procedure if necessary. We demonstrate the implementation of the algorithm with the result on machine tool design.

Keywords

References

  1. Cha, J., H., Yokoyama, M. and Okabe, I., 1993, 'Constraint Satisfaction Method for Networks of Design Variables and Constraints in Mechanical CAD,' Trans. of JSME(C), Vol. 59, No. 568, pp. 3998-4003
  2. Cha, J. H. and Yokoyama, M., 1994, 'A Knowledge-Based System for Supporting Mechanical CAD,' Trans. of JSME(C), Vol. 60, No. 579, pp. 3625-3631
  3. Cha, J. H. Lee, I. H. and Kim, J. J., 1998, 'Constraint Satisfaction System Considering Under-Constrained Problems,' 8th Design & Systems Conference '98 JSME, No. 98-32, pp. 354-357
  4. Feng, C. X. and Kusiak, A., 1995, 'Constraint-based design of parts,' Computer Aided Design, Vol. 27, No. 5, pp. 343-352 https://doi.org/10.1016/0010-4485(95)96798-Q
  5. Fromont, B. and Sriram, D., 1992, 'Constraint Satisfaction as a Planning Process,' in Gero, J. S.(ed.), Artificial Intelligence in Design'92, Kluwer Academic Pub, pp. 97-117
  6. Laarhoven, P. J. M. and Aarts, E. H. L., 1987, Simulated-Annealing; Theory and Applications, D. Reidel Publishing Co
  7. Man, K. F., Tang, K. and Kwong, S. S., 1996, 'Genetic Algorithms: Concepts and Applications,' IEEE Transactions on Industrial Electronic, Vol. 43, No. 5, pp. 519-534 https://doi.org/10.1109/41.538609
  8. Moriwaki, T., Nunobiki, M., Nishimura, K., Yoshizawa, H. and Sakao, K., 1991, 'A Study of Knowledge Based Approach to Basic Design of Machine Tools,' JSME(C), Vol. 57, No. 536, pp. 1371-1376
  9. Moriwaki, T. and Nunobiki, M., 1992, 'Object-oriented Design Support System for Machine Tools,' JSME(C), Vol. 58, No. 546, pp. 655 https://doi.org/10.1007/BF00124686
  10. Murtagh, N. and Masamichi, S., 1991, 'A Constraint-Based Hybrid Engineering Design Systems,' Intelligent CAD III, IFIP, pp. 217-229
  11. Rich, E. and Knight, K., 1991, Artificial Intelligence: Second Edition, McGraw-Hill
  12. Salomons, W., Slooten, F., Houten, F. J. A. M., and Kals, H. J. J., 1995, 'Conceptual Graphs in Constraint Based Re-Design,' Solid Modeling, pp. 55-64
  13. Serrano, D. and Gossard, D. C., 1992, 'Tools and Techniques for Conceptual Design,' in Tong, C. and Sriram, D.(ed.), Artificial Intelligence in Engineering Design, Academic Press Inc., pp. 71-116
  14. Thornton, A. C., 1993, 'Constraint Specification and Satisfaction in Embodiment Design,' Cambridge University, Ph. D. thesis
  15. Thornton, A. C., 1994, 'Genetic Algorithms Versus Simulated-Annealing: Satisfaction of Large Sets of Algebraic Mechanical Design Constraints,'Artificial Intelligence in Design '94, Kluwer Academic Publishers, pp. 381-398
  16. Yang, B. S., Choi, B. G., Yu, Y. H. and Nan, H. T., 1999, 'Optimum Design of a Damping Plate with an Unconstrained Viscoelastic Damping Layer Using Combined Genetic Algorithm,' KSME International Journal, Vol. 13, No. 5, pp. 387-396
  17. Yoshihiki, K., 1991, 'An Approach to Specification Satisfaction by Network Based Method,' JSPE, Vol. 57, No. 4, pp. 711-717
  18. Young, R. E., Greef, A. and O'Grady, P., 1991, 'SPARK-An Artificial Intelligence Constraint Network System for Concurrent Engineering,' in Gero, J. S.(ed.), Artificial Intelligence in Design' 91, pp.79-94
  19. Zeiler, W., 1992, 'Object-Oriented Hybrid Intelligent CAD System,' Computers in Industry 20, Elsevier Science, pp. 1-9 https://doi.org/10.1016/0166-3615(92)90123-5