Abstract
Design space explorers support designers through the metaphor of exploration, a guided movement through a space of possibilities. A subsumption-based design space explorer structures the space in which it navigates by a relation of information specificity. In particular, it conditions its exploration operators so that they move in predictable ways in the underlying space of designs. We have extended the formal system of typed features structures to support subsumption-based design space exploration. This paper discusses the exploration operators available when subsumption-based design space explorers are implemented in typed feature structures. Of particular interest is the handling of erasure, where the constraint on generative operators to be monotonic wrt information specificity leads to a surprisingly clean view of erasure.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Agarwal, M. and Cagan, J.: 1988, A blend of different tastes: The language of coffee makers, Environment and Planning B: Planning and Design, 25(2), 205–226.
Aït-Kaci, H., Boyer, R., Lincoln, P., and Nasr, R.: 1989, Efficient implementation of latice operations, ACM Transactions on Programming Languages and Systems, 11(1), 115–146.
Aït-Kaci, H. and Podelski, A.: 1993, Towards a meaning of LIFE, Technical Report 11, Paris Research Laboratory of Digital Equipment Centre Technique Europe, Rueil-Malmaison, France.
Aït-Kaci, H., Podelski, A., and Goldstein, S. C.: 1993, Order-sorted feature theory unification, Technical Report 32, Paris Research Laboratory of Digital Equipment Centre Technique Europe, Rueil-Malmaison, France.
Carpenter, R.: 1992, The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution, Cambridge University Press, Cambridge.
Carlson, C.: 1993, An Algebraic Approach to the Description of Design Spaces, PhD thesis, Department of Architecture, Carnegie Mellon University, Pittsburgh, PA.
Carlson, C. and Woodbury, R.: 1994, Hands-on exploration of recursive patterns, Languages of Design, 2, 121–142.
Chase, S.: 1989, Shapes and shape grammars: from mathematical model to computer implementation, Planning and Design, 16(2), 215–241.
Chien, S.-F., Donia, M., Snyder, J., and Tsai, W.-J.: 1998, Sg-clips: A system to support the automatic generation of design from grammars, CAADRIA’98, Computer Aided Architectural Design Research in Asia, Osaka.
Coyne, R.: 1991, ABLOOS: An Evolving Hierarchical Design Framework, PhD thesis, Department of Architecture, Carnegie Mellon University, Pittsburgh, PA.
Duarte, J. and Simondetti, A.: 1997, Basic grammars and rapid prototyping, Applications of Artificial Intelligence in Structural Engineering, Tampere, Finland.
Ellis, G.: 1995, Managing Complex Objects, PhD thesis, Department of Computer Science, University of Queensland.
Flemming, U. and Woodbury, R. F.: 1995, Software Environment to support Early phases in building Design SEED: Overview, ASCE Journal of Architectural Engineering, 1(4), 147–152.
Gips, J.: 1975, Shape Grammar and Their Uses, Birkhauser Verlag, Basel, Switzerland.
Gorti, S. R., Kim, G. J., and Siriam, R. D.: 1998, An object-oriented representation for product and design processes, Computer-Aided Design, 30(7), 489–501.
Harada, M.: 1997, Discrete/Continuous Design Exploration by Direct Manipulation, PhD thesis, Carnegie Mellon University, Pittsburgh, PA.
Harada, M., Witkin, A., and Baraff., D.: 1995, Interactive physically-based manipulation of discrete/continuous models, SIGGRAPH’ 95 Conference Proceedings, ACM Siggraph, ACM, 29, 199–208.
Heisserman, J.: 1994, Generative geometric design, IEEE Computer Graphics and Applications, 14(2), 37–45.
Krishnamurti, R.: 1980, The arithmetic of shapes, Environment and Planning B: Planning and Design, 7, 463–484.
Krishnamurti, R.: 1981, The construction of shapes, Environment and Planning B: Planning and Design, 8, 5–40.
Krishnamurti, R. and Giraud, C.: 1986, Towards a shape editor: the implementation of a shape generation system, Planning and Design, 13(4), 391–403.
Li, K., Woodbury, R., and Radford, A.: 1998, A comparison of shape grammars, parametric shape grammars and shape schema grammars, in Barrallo, J., (ed), Proceedings of the Second International Conference on Mathematics and Design, The University of the Basque Country, San Sebastian, pp. 27–34.
Piazzalunga, U. and Fitzhorn, P. I.: 1988, Note on a three-dimensional shape grammar interpreter, Environment and Planning B: Planning and Design, 25(2), 211–233.
Stiny, G.: 1980, Introduction to shape and shape grammars, Environment and Planning B: Planning and Design, 7(3), 343–352.
Stiny, G. and March, L.: 1981, Design machines, Environment and Planning B: Planning and Design, 8(3), 241–244.
Tapia, M. A.: 1999, GEdit: A computer implementation of a shape grammar system performing computations with 2-d lines and labeled points, retrieved from the World Wide Web on October 8, 1999 at http://www.shapegrammar.org/projects.html.
Wang, Y. and Duarte, J. P.: 1998, Synthesising 3d forms: Basic grammars and rapid prototyping
Wille, R.: 1992, Concept lattices and conceptual knowledge systems, Computers Math. Applic., 23(6-9), 493–515.
Woodbury, R. F. and Chang, T.-W.: 1995, Massing and enclosure design with SEED-Config, ASCE Journal of Architectural Engineering, 1(4), 170–178.
Woodbury, R. F., Radford, A. D., Taplin, P. N., and Coppins, S. A.: 1992, Tartan worlds: A generative symbol grammar system, in Noble, D. and Kensek, K., (eds.), ACADIA 92, Charleston, SC, pp. 211–220.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Woodbury, R., Datta, S., Burrow, A. (2000). Erasure in Design Space Exploration. In: Gero, J.S. (eds) Artificial Intelligence in Design ’00. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-4154-3_26
Download citation
DOI: https://doi.org/10.1007/978-94-011-4154-3_26
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-5811-7
Online ISBN: 978-94-011-4154-3
eBook Packages: Springer Book Archive