Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Goldschmidt G. The Dialectic of Sketching. Creativity Research Journal vol 4,1991.
Yang M. Observations on concept generation and sketching in engineering design. Research in Engineering Design 2009; 20:1-11
Tang HH, Gero JS. Cognition-based CAAD. In: Vries B, Leeuwen JP, Achten HH (eds) CAADFutures 01. Eindhoven, The Netherlands, 2001; 521-531
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-48
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-195
Yurchyshyna A. Modélisation du contrôle de conformité en construction: une approche ontologique. PhD thesis, Universite de Nice-Sophia Antipolis, 2009.
Eastman C, Lee J, Jeong Y, Lee J. Automatic rule-based checking of building designs. In: Automation in Construction vol 18, 2009; 1011-1033.
Fagin R, Halpern JY, Moses Y, Vardi MY. Reasoning About Knowledge. MIT Press, 2003.
Bhatt M, Freksa C. Spatial computing for design: An artificial intelligenceperspective. In: Visual and Spatial Reasoning for Design Creativity (SDC ’10), 2010.
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.
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-38
Palacz W. Algebraic Hierarchical Graph Transformation. In: Journal of Computer and System Sciences vol 68, 2004; 497-520
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag London Limited
About this paper
Cite this paper
Palacz, W., Grabska, E., Gajek, S. (2011). Conceptual Designing Supported by Automated Checking of Design Requirements and Constraints. In: Frey, D., Fukuda, S., Rock, G. (eds) Improving Complex Systems Today. Advanced Concurrent Engineering. Springer, London. https://doi.org/10.1007/978-0-85729-799-0_30
Download citation
DOI: https://doi.org/10.1007/978-0-85729-799-0_30
Published:
Publisher Name: Springer, London
Print ISBN: 978-0-85729-798-3
Online ISBN: 978-0-85729-799-0
eBook Packages: EngineeringEngineering (R0)