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.

A comparison of declarative AI techniques for computer automated design of elevator systems

Cicala, G;Demarchi, S;Menapace, M;Annunziata, L;Tacchella, A
2022-01-01

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.
File in questo prodotto:
File Dimensione Formato  
main.pdf

accesso chiuso

Descrizione: Articolo su rivista
Tipologia: Documento in Pre-print
Dimensione 622.95 kB
Formato Adobe PDF
622.95 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11567/1094834
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact