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

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 systemCLP(QS) (CLP(QS) - a declarative spatial reasoning system. www.spatial-reasoning.com.) with the parametric CAD system FreeCAD.

[1]  S. Kimmel.  Architecture , 2013, Arsham-isms.

[2]  Bernard Yannou,et al.  Dynamic space ordering at a topological level in space planning , 2001, Artif. Intell. Eng..

[3]  Hans W. Guesgen,et al.  Qualitative Spatial and Temporal Reasoning: Emerging Applications, Trends, and Directions , 2011, Spatial Cogn. Comput..

[4]  Mehul Bhatt,et al.  Encoding Relative Orientation and Mereotopology Relations with Geometric Constraints in CLP(QS) , 2015, LQMR@FedCSIS.

[5]  Mehul Bhatt,et al.  Spatio-terminological Inference for the Design of Ambient Environments , 2009, COSIT.

[6]  Denis Bouhineau.  Solving Geometrical Constraint Systems Using CLP Based on Linear Constraint Solver , 1996, AISMC.

[7]  Carl P. L. Schultz,et al.  Towards a Declarative Spatial Reasoning System , 2012, ECAI.

[8]  John S. Gero,et al.  An Evolutionary Approach to Generating Constraint-Based Space Layout Topologies , 1997 .

[9]  Carl P. L. Schultz,et al.  Computing Narratives of Cognitive User Experience for Building Design Analysis: KR for Industry Scale Computer-Aided Architecture Design , 2014, KR.

[10]  George E. Collins,et al.  Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition , 1975, Automata Theory and Formal Languages.

[11]  J. C. Owen,et al.  Algebraic solution for geometry from dimensional constraints , 1991, SMA '91.

[12]  Gilles Pesant,et al.  QUAD-CLP(R): Adding the Power of Quadratic Constraints , 1994, PPCP.

[13]  Johan van Benthem,et al.  Handbook of Spatial Logics , 2007 .

[14]  Mehul Bhatt,et al.  Ontological modelling of form and function for architectural design , 2012, Appl. Ontology.

[15]  Carl P. L. Schultz,et al.  CLP(QS): A Declarative Spatial Reasoning Framework , 2011, COSIT.

[16]  Grazyna Slusarczyk,et al.  New visual languages supporting design of multi-storey buildings , 2012, Adv. Eng. Informatics.

[17]  Charles M. Eastman,et al.  Enumerating Architectural Arrangements by Generating Their Underlying Graphs , 1980 .

[18]  Bruno Buchberger,et al.  Bruno Buchberger's PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal , 2006, J. Symb. Comput..

[19]  Christoph M. Hoffmann,et al.  Correctness proof of a geometric constraint solver , 1996, Int. J. Comput. Geom. Appl..

[20]  Terry W. Knight,et al.  Designing a Shape Grammar , 1998, AID.

[21]  Georg Suter,et al.  Operations on network-based space layouts for modeling multiple space views of buildings , 2014, Adv. Eng. Informatics.

[22]  Anthony G. Cohn,et al.  A Spatial Logic based on Regions and Connection , 1992, KR.

[23]  Mehul Bhatt,et al.  Architecture, computing, and design assistance☆ , 2013 .

[24]  João Bento,et al.  Floor plan design using block algebra and constraint satisfaction , 2012, Adv. Eng. Informatics.

[25]  Christoph M. Hoffmann,et al.  Geometric constraint solver , 1995, Comput. Aided Des..

[26]  John Grason.  An approach to computerized space planning using graph theory , 1971, DAC '71.

[27]  Mehul Bhatt,et al.  The ‘Space’ in Spatial Assistance Systems : Conception, Formalisation and Computation , 2014 .

[28]  MAX J. EGENHOFER,et al.  Point Set Topological Relations , 1991, Int. J. Geogr. Inf. Sci..

[29]  Carl P. L. Schultz,et al.  InSpace3D: A Middleware for Built Environment Data Access and Analytics , 2013, ICCS.

[30]  G. Ślusarczyk,et al.  Supporting the design process with hypergraph genetic operators , 2014, Adv. Eng. Informatics.

[31]  Robin S Liggett,et al.  Automated facilities layout: past, present and future , 2000 .

[32]  Danny Lobos,et al.  The problem of space layout in architecture: A survey and reflections , 2010 .

[33]  Gilles Pesant,et al.  Reasoning about Solids Using Constraint Logic Programming , 1999, Journal of Automated Reasoning.

[34]  Gérard Ligozat.  Qualitative Spatial and Temporal Reasoning: Ligozat/Qualitative Spatial and Temporal Reasoning , 2013 .

[35]  W. Böge,et al.  Quantifier Elimination for Real Closed Fields , 1985, AAECC.

[36]  John S. Gero,et al.  Space layout planning using an evolutionary approach , 1998, Artif. Intell. Eng..

[37]  Carl P. L. Schultz,et al.  Declarative Spatial Reasoning with Boolean Combinations of Axis-Aligned Rectangular Polytopes , 2014, ECAI.

[38]  Georg Suter.  Structure and spatial consistency of network-based space layouts for building and product design , 2013, Comput. Aided Des..

[39]  Anthony G. Cohn,et al.  Qualitative Spatial Representation and Reasoning with the Region Connection Calculus , 1997, GeoInformatica.

[40]  Mehul Bhatt,et al.  Spatial Computing for Design—an Artificial Intelligence Perspective , 2015 .

[41]  William J. Mitchell,et al.  The Palladian Grammar , 1978 .

[42]  Harald Winroth,et al.  Dynamic projective geometry , 1999 .

[43]  Marcus Liwicki,et al.  Graph-based retrieval of building information models for supporting the early design stages , 2013, Adv. Eng. Informatics.

[44]  André Borrmann,et al.  Towards spatial reasoning on building information models , 2010 .