Bridging qualitative spatial constraints and feature-based parametric modelling: Expressing visibility and movement constraints

被引:15
作者
Schultz, Carl [1 ,2 ]
Bhatt, Mehul [1 ,3 ]
Borrmann, Andre [4 ]
机构
[1] DesignSpace Grp, Bremen, Germany
[2] Univ Munster, Spatial Intelligence Lab SIL, Munster, Germany
[3] Univ Bremen, Dept Comp Sci, Bremen, Germany
[4] Tech Univ Munich, Chair Computat Modeling & Simulat, Munich, Germany
关键词
Feature-based parametric modelling; Geometric constraint solving; Declarative spatial reasoning; Knowledge representation and reasoning; SPACE LAYOUTS; DESIGN;
D O I
10.1016/j.aei.2015.10.004
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
We present a concept for integrating state-of-the-art methods in geometric and qualitative spatial representation and reasoning with feature-based parametric modelling systems. Using a case-study involving a combination of topological, visibility, and movement constraints, we demonstrate the manner in which a parametric model may be constrained by the spatial aspects of conceptual design specifications and higher-level semantic design requirements. We demonstrate the proposed methodology by applying it to architectural floor plan layout design, where a number of spaces with well defined functionalities have to be arranged such that particular functional design constraints are maintained. The case-study is developed by an integration of the declarative spatial reasoning system CLP(QS) (CLP(QS) - a declarative spatial reasoning system. www.spatial-reasoning.com.) with the parametric CAD system FreeCAD. (C) 2015 Elsevier Ltd. All rights reserved.
引用
收藏
页码:2 / 17
页数:16
相关论文
共 45 条
[11]  
Bhatt M, 2009, LECT NOTES COMPUT SC, V5756, P371, DOI 10.1007/978-3-642-03832-7_23
[12]  
Borrmann A., 2010, PROCEEDINGS OF THE 8
[13]  
Bouhineau D., 1996, Artificial Intelligence and Symbolic Mathematical Computation. International Conference, AISMC-3. Proceedings, P274
[14]   GEOMETRIC CONSTRAINT SOLVER [J].
BOUMA, W ;
FUDOS, I ;
HOFFMANN, C ;
CAI, JZ ;
PAIGE, R .
COMPUTER-AIDED DESIGN, 1995, 27 (06) :487-501
[16]  
Collins G.E., 1975, AUTOMATA THEORY FORM, V33, P134, DOI [10.1007/3-540-07407-417, DOI 10.1007/3-540-07407-4_17, DOI 10.1007/3-540-07407-417]
[17]  
Damski JC, 1997, CAAD FUTURES 1997, P855
[18]   POINT-SET TOPOLOGICAL SPATIAL RELATIONS [J].
EGENHOFER, MJ ;
FRANZOSA, RD .
INTERNATIONAL JOURNAL OF GEOGRAPHICAL INFORMATION SYSTEMS, 1991, 5 (02) :161-174
[19]   Correctness proof of a geometric constraint solver [J].
Fudos, I ;
Hoffmann, CM .
INTERNATIONAL JOURNAL OF COMPUTATIONAL GEOMETRY & APPLICATIONS, 1996, 6 (04) :405-420
[20]   New visual languages supporting design of multi-storey buildings [J].
Grabska, Ewa ;
Lachwa, Andrzej ;
Slusarczyk, Grazyna .
ADVANCED ENGINEERING INFORMATICS, 2012, 26 (04) :681-690