Conceptual Designing Supported by Automated Checking of Design Requirements and Constraints

  • Wojciech PalaczEmail author
  • Ewa Grabska
  • Szymon Gajek
Conference paper
Part of the Advanced Concurrent Engineering book series (ACENG)


This paper aims at contributing to a better understanding of essential concepts of supporting system for initial visual design. Towards this end, we first outline the system architecture corresponding to our model of conceptual design aided by computer, in which designer’s drawings created on the monitor screen are automatically transformed into elements of a graph-based data structure and next into the first-order logic formulas. Then, we describe particular modules of the proposed model paying attention to the role of a graph-based data structure gathering information on which design knowledge is based. Finally, the approach is illustrated on examples of designing floor layouts where fire code regulations and ranges of sensors are checked on the base of the proposed design knowledge reasoning module.


CAD system Visual language Graph-based data structure Design knowledge First-order logic 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Goldschmidt G. The Dialectic of Sketching. Creativity Research Journal vol 4,1991.Google Scholar
  2. 2.
    Yang M. Observations on concept generation and sketching in engineering design. Research in Engineering Design 2009; 20:1-11CrossRefGoogle Scholar
  3. 3.
    Tang HH, Gero JS. Cognition-based CAAD. In: Vries B, Leeuwen JP, Achten HH (eds) CAADFutures 01. Eindhoven, The Netherlands, 2001; 521-531Google Scholar
  4. 4.
    Baxter D, Gao J, Case K, Harding J, Young B, Cochrane S, Dani S. An engineering design knowledge reuse methodology using process modelling. Research in Engineering Design 2007; 18:37-48CrossRefGoogle Scholar
  5. 5.
    Demian P, Fruchter R. An ethnographic study of design knowledge reuse in the architecture, engineering, and construction industry. Research in Engineering Design 2006; 16:184-195CrossRefGoogle Scholar
  6. 6.
    Yurchyshyna A. Modélisation du contrôle de conformité en construction: une approche ontologique. PhD thesis, Universite de Nice-Sophia Antipolis, 2009.Google Scholar
  7. 7.
    Eastman C, Lee J, Jeong Y, Lee J. Automatic rule-based checking of building designs. In: Automation in Construction vol 18, 2009; 1011-1033.Google Scholar
  8. 8.
    Fagin R, Halpern JY, Moses Y, Vardi MY. Reasoning About Knowledge. MIT Press, 2003.Google Scholar
  9. 9.
    Bhatt M, Freksa C. Spatial computing for design: An artificial intelligenceperspective. In: Visual and Spatial Reasoning for Design Creativity (SDC ’10), 2010.Google Scholar
  10. 10.
    Grabska E, Borkowski A, Palacz W, Gajek Sz. Hypergraph System Supporting Design and Reasoning. In: Wolfgang Huhnt (ed) Computing in Engineering EG-ICE Conference 2009. Shaker Verlag, 2009; 134-141.Google Scholar
  11. 11.
    Grabska E, Lembas J, Łachwa A, Ślusarczyk G, Grzesiak-Kopeć K. Hierarchical layout hypergraph operations and diagrammatic reasoning. Machine Graphics & Vision 2008; 16(1/2):23-38Google Scholar
  12. 12.
    Palacz W. Algebraic Hierarchical Graph Transformation. In: Journal of Computer and System Sciences vol 68, 2004; 497-520zbMATHCrossRefMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag London Limited  2011

Authors and Affiliations

  1. 1.Faculty of Physics, Astronomy and Applied Computer ScienceJagiellonian UniversityKrakowPoland

Personalised recommendations