caa a22 4500 475823133 CHVBK 20180406123824.0 cr unu---uuuuu 170329e20000901xx s 000 0 eng 10.1007/PL00007190 doi (NATIONALLICENCE)springer-10.1007/PL00007190 Constraint Satisfaction Methods for Applications in Engineering [Elektronische Daten] [E. Gelle, B.V. Faltings, D.E. Clément, I.F.C. Smith] Abstract.: Constraints provide declarative descriptions of important requirements related to engineering projects. Most existing algorithms for constraint satisfaction require input consisting of binary constraints on variables that have discrete values. Such restrictions limit their use in engineering since complex constraints, involving several variables that have discrete and numeric values, are common. This paper provides an approach for decision support through approximating solution spaces that are defined by constraints. Our algorithm is not limited to a specific type of constraint, but handles numeric and discrete variables in the same frame-work. Since a new type of local consistency narrows down the search space effectively, full-scale engineering tasks, such as designs involving hundreds of variables, are accommodated without excessive computational complexity. The approach is demonstrated for selection of appropriate wind bracing for single story steel-framed buildings. Results may be used for input into other tools containing algorithms such as those offering (i) higher levels of consistency, (ii) optimally directed point-solution search, and (iii) simulation behaviour. Finally, extension to dynamic constraint satisfaction using different combinations of activation conditions is straightforward. It is expected that this approach will improve the performance of many existing and future computeraided engineering tools. Springer-Verlag London Limited, 2000 Keywords. Constraint satisfaction nationallicence Discrete values nationallicence Dynamic CSP's nationallicence Knowledge representation nationallicence Local consistency nationallicence Reasoning nationallicence Search nationallicence Solution spaces nationallicence Structures nationallicence Gelle E. Artificial Intelligence Laboratory (LIA), CH aut Faltings B.V. Artificial Intelligence Laboratory (LIA), CH aut Clément D.E. Institute of Structural Engineering and Mechanics (ISS-IMAC), EPEL - Swiss Federal Institute of Technology, Lausanne, Switzerland, CH aut Smith I.F.C. Institute of Structural Engineering and Mechanics (ISS-IMAC), EPEL - Swiss Federal Institute of Technology, Lausanne, Switzerland, CH aut https://doi.org/10.1007/PL00007190 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/PL00007190 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Gelle E. Artificial Intelligence Laboratory (LIA), CH aut NATIONALLICENCE 700 1- Faltings B.V. Artificial Intelligence Laboratory (LIA), CH aut NATIONALLICENCE 700 1- Clément D.E. Institute of Structural Engineering and Mechanics (ISS-IMAC), EPEL - Swiss Federal Institute of Technology, Lausanne, Switzerland, CH aut NATIONALLICENCE 700 1- Smith I.F.C. Institute of Structural Engineering and Mechanics (ISS-IMAC), EPEL - Swiss Federal Institute of Technology, Lausanne, Switzerland, CH aut Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer