Spatial Computing for Design—an Artificial Intelligence Perspective

The articulation of the Science of Design by Herbert Simon and the paradigmatic relevance of Artificial Intelligence in that context are closely intertwined topics: Simon elaborates the ‘Sciences of the Artificial’ in the context of the design of artefacts. Situated in this AI-centric view of design, we characterize “spatial computing for design” as a specialisation concerned with the development of the general representational and computational apparatus necessary for solving modelling and reasoning problems in spatial design. Several representation and reasoning problems are dis-cussed in the backdrop of relevant examples involving the formal modelling of structural form with respect to a desired/anticipated artefactual function. The discussion, although applicable to any spatial design activity, is grounded in the domain of assistive decision-support in the context of a conventional computer-aided architecture design workflow.

[1]  Ömer Akin,et al.  Architects' Reasoning with Structures and Functions , 1993 .

[2]  H. Simon,et al.  The sciences of the artificial (3rd ed.) , 1996 .

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

[4]  Ramesh Krishnamurti,et al.  Explicit design space? , 2006, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

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

[6]  Gary L. Allen,et al.  Applied Spatial Cognition: From Research to Cognitive Technology , 2007 .

[7]  Michael Thielscher,et al.  Under Consideration for Publication in Theory and Practice of Logic Programming Flux: a Logic Programming Method for Reasoning Agents , 2003 .

[8]  B. Chandrasekaran,et al.  Design Problem Solving: A Task Analysis , 1990, AI Mag..

[9]  John S. Gero,et al.  AI EDAM at 20: Artificial intelligence in designing , 2007, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[10]  Nigan Bayazit,et al.  Investigating Design: A Review of Forty Years of Design Research , 2004, Design Issues.

[11]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[12]  Michael Thielscher,et al.  Introduction to the Fluent Calculus , 1998, Electron. Trans. Artif. Intell..

[13]  Zeno Gantner,et al.  GQR: A Fast Solver for Binary Qualitative Constraint Networks , 2009, AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems.

[14]  Leora Morgenstern,et al.  Introduction: Progress in formal commonsense reasoning , 2004, Artif. Intell..

[15]  Volker Haarslev,et al.  Querying the Semantic Web with Racer + nRQL , 2004 .

[16]  K. Clark,et al.  Judicial Conference Of The United States , 2014 .

[17]  Mehul Bhatt.  Commonsense Inference in Dynamic Spatial Systems “ Phenomenal and Reasoning Requirements , 2009 .

[18]  Steven A. Moore,et al.  Philosophy and design: From engineering to architecture , 2008 .

[19]  Pieter E. Vermaas,et al.  John Gero’s Function-Behaviour-Structure model of designing: a critical analysis , 2005 .

[20]  Adolf Loos.  Ornament and Crime , 1997 .

[21]  Donald Michie,et al.  Machine Intelligence 4 , 1970 .

[22]  Christian Freksa,et al.  Using Orientation Information for Qualitative Spatial Reasoning , 1992, Spatio-Temporal Reasoning.

[23]  Thomas Berger,et al.  The Future Is Bright , 2005 .

[24]  Louis H. Sullivan,et al.  The Tall Office Building Artistically Considered , 2012 .

[25]  John S. Gero,et al.  Design Prototypes: A Knowledge Representation Schema for Design , 1990, AI Mag..

[26]  Mehul Bhatt,et al.  Commonsense Inference in Dynamic Spatial Systems: Epistemological Requirements , 2010, FLAIRS.

[27]  Marina De Vos.  ASP: The Future Is Bright , 2009, LPNMR.

[28]  M. Benedikt,et al.  To Take Hold of Space: Isovists and Isovist Fields , 1979 .

[29]  Reinhard Moratz,et al.  Representing Relative Direction as a Binary Relation of Oriented Points , 2006, ECAI.

[30]  John S. Gero,et al.  Behaviour: A link between function and structure in design , 1992 .

[31]  Hector J. Levesque,et al.  An Incremental Interpreter for High-Level Programs with Sensing , 1999 .

[32]  W. Sander,et al.  Experimental phased array radar ELRA with extended flexibility , 1990 .

[33]  Max Jacobson,et al.  A Pattern Language: Towns, Buildings, Construction , 1981 .

[34]  Herbert A. Simon,et al.  The Sciences of the Artificial , 1970 .

[35]  J. Dill,et al.  Intelligent computer aided design , 1993 .

[36]  A. U. Frank,et al.  Qualitative Spatial Reasoning , 2008, Encyclopedia of GIS.

[37]  Christian Freksa,et al.  Qualitative Spatial Representation and Reasoning in the SparQ-Toolbox , 2006, Spatial Cognition.

[38]  Mehul Bhatt,et al.  Modular Ontologies for Architectural Design , 2009, FOMI.

[39]  E. Davis,et al.  Common Sense Reasoning , 2014, Encyclopedia of Social Network Analysis and Mining.

[40]  Bernhard Nebel,et al.  Qualitative Spatial Reasoning Using Constraint Calculi , 2007, Handbook of Spatial Logics.

[41]  M. B. Waldron,et al.  Intelligent Computer Aided Design, Proceedings of the IFIP WG 5.2 Working Conference on Intelligent Computer Aided Design (IntCAD91), Columbus, OH, USA, 30 September - 3 October 1991 , 1992, IntCAD.

[42]  Yarden Katz,et al.  Pellet: A practical OWL-DL reasoner , 2007, J. Web Semant..

[43]  Frank van Harmelen,et al.  Handbook of Knowledge Representation , 2008, Handbook of Knowledge Representation.

[44]  Simon Szykman,et al.  A functional basis for engineering design: Reconciling and evolving previous efforts , 2002 .

[45]  Marek J. Sergot,et al.  A logic-based calculus of events , 1989, New Generation Computing.

[46]  Jack Belzer,et al.  Encyclopedia of Computer Science and Technology , 2020 .

[47]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[48]  David M. Mark,et al.  Cognitive and Linguistic Aspects of Geographic Space: New Perspectives on Geographic Information Research , 1991 .

[49]  Mehul Bhatt,et al.  Reasoning about Space, Actions, and Change: A Paradigm for Applications of Spatial Reasoning , 2014 .

[50]  Andrew U. Frank,et al.  Theories and Methods of Spatio-Temporal Reasoning in Geographic Space , 1992, Lecture Notes in Computer Science.

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

[52]  Raymond Reiter,et al.  Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter , 2001 .

[53]  Michael J. Maher,et al.  Constraint Logic Programming: A Survey , 1994, J. Log. Program..

[54]  David C. Brown.  AI EDAM at 20 , 2007, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[55]  Christian Freksa,et al.  Qualitative spatial reasoning , 1990, Forschungsberichte, TU Munich.