Cha, JP Lee, IH Kim, JJ 2024-01-21T14:02:51Z 2024-01-21T14:02:51Z 2021-09-05 2000-06 1226-4865 https://pubs.kist.re.kr/handle/201004/141345 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. English KOREAN SOC MECHANICAL ENGINEERS A constraint-based inference system for satisfying design constraints Article 10.1007/BF03184441 1 KSME INTERNATIONAL JOURNAL, v.14, no.6, pp.655 - 665 KSME INTERNATIONAL JOURNAL 14 6 655 665 scie scopus 000087454200008 2-s2.0-0034195874 Engineering, Mechanical Engineering Article inequality constraints equality constraints simulated-annealing inference engines CAD system production rules