A comparison of declarative AI techniques for computer automated design of elevator systems
Article type: Research Article
Authors: Cicala, G. | Demarchi, S.; * | Menapace, M. | Annunziata, L. | Tacchella, A.; 1
Affiliations: DIBRIS, Università degli Studi di Genova, Via Opera Pia, Genoa, Italy
Correspondence: [*] Corresponding author: Stefano Demarchi, DIBRIS, Università degli Studi di Genova, Via Opera Pia, 13, 16145 Genoa, Italy. Tel.: +39 010 335 2811; E-mail: stefano.demarchi@edu.unige.it.
Note: [1] Leopoldo Annunziata is with Studio Progettazione Annunziata, Via Giorgio Chiesa, 21/2, 16147 Genoa, Italy. l.annunziata@studio-annunziata.it — Giuseppe Cicala,Stefano Demarchi, Marco Menapace, Armando Tacchella are with DIBRIS, Università degli Studi di Genova, Via Opera Pia, 13, 16145 Genoa, Italy. giuseppe.cicala@unige.it, stefano.demarchi@edu.unige.it, marco.menapace@edu.unige.it, armando.tacchella@unige.it
Abstract: Like other custom-built machinery, elevators are charecterized by a design process which includes selection, sizing and placement of components to fit a given configuration, satisfy users’ requirements and adhere to stringent normative regulations. Unlike mass-produced items, the design process needs to be repeated almost from scratch each time a new configuration is considered. Since elevators are still designed mostly manually, project engineers must engage in time-consuming and error-prone activities over and over again, leaving little to be reused from one design to the next. Computer automated design can provide a cost-effective solution as it relieves the project engineer from such burdens. However, it introduces new challenges both in terms of efficiency — the search space for solutions grows exponentially in the number of component choices — and effectiveness — the perceived quality of the final design may not be as good as in the manual process. In this paper we compare three mainstream AI techniques that can provide problem-solving capabilities inside our tool LiftCreate for automated elevator design, namely Genetic Algorithms (GAs), Constraint Programming (CP) and Satisfiability Modulo Theories (SMT). A special-purpose heuristic search technique embedded in LiftCreate provides us with a yardstick to evaluate the solutions obtained with GAs, CP and SMT and to assess their feasibility for practical applications.
Keywords: Automated configuration and design, genetic algorithms, constraint programming, satisfiability modulo theories
DOI: 10.3233/IA-210132
Journal: Intelligenza Artificiale, vol. 16, no. 1, pp. 131-150, 2022
A comparison of declarative AI techniques for computer automated design of elevator systems
What is it about?
Like other custom-built machinery, elevators are charecterized by a design process which includes selection, sizing and placement of components to fit a given configuration, satisfy users’ requirements and adhere to stringent normative regulations. Unlike mass-produced items, the design process needs to be repeated almost from scratch each time a new configuration is considered. Since elevators are still designed mostly manually, project engineers must engage in time-consuming and error-prone activities over and over again, leaving little to be reused from one design to the next. Computer automated design can provide a cost-effective solution as it relieves the project engineer from such burdens. However, it introduces new challenges both in terms of efficiency — the search space for solutions grows exponentially in the number of component choices — and effectiveness — the perceived quality of the final design may not be as good as in the manual process. In this paper we compare three mainstream AI techniques that can provide problem-solving capabilities inside our tool LiftCreate for automated elevator design, namely Genetic Algorithms (GAs), Constraint Programming (CP) and Satisfiability Modulo Theories (SMT). A special-purpose heuristic search technique embedded in LiftCreate provides us with a yardstick to evaluate the solutions obtained with GAs, CP and SMT and to assess their feasibility for practical applications.