| authors |
Burrow, Andrew and Woodbury, Robert |
| year |
1999 |
| title |
Pi-Resolution in Design Space Exploration |
| source |
Proceedings of the Eighth International Conference on Computer Aided Architectural Design Futures [ISBN 0-7923-8536-5] Atlanta, 7-8 June 1999, pp. 291-308 |
| summary |
In studying the phenomenon of design we use models to envision mechanisms by which computers might support design. In one such model we understand design as guided movement through a space of possibilities. Design space explorers embody this model as mixed-initiative environments in which designers engage in exploration via human computer interaction. Constraint resolution provides a formal framework for interaction in design space explorers. Rather than directly providing solutions to design problems, constraint resolution provides a mechanism for organizing construction. Therefore, we are less interested in the set of solutions to a constraint problem than the process by which intermediate steps are generated. Pi-resolution is one such mechanism applicable to design space explorers. It describes the solution, by recursive enumeration, of feature structure type constraints. During pi-resolution, satisfiers are constructed by the application of type constraints drawn from an inheritance hierarchy. This constructive process provides a strong model for design space exploration. The constraint solver does not do the work of the designer, but rather design efforts are situated in, and organized by, constraint resolution. Therefore, the efficiency of the recursive enumeration in finding solutions is not an issue, since non-determinism in the search is resolved by the human user as design space exploration. |
| keywords |
Design Space Explorers, Typed Feature Structures, Functional Decomposition, Mixed Initiative |
| series |
CAAD Futures |
| email |
|
| full text |
 file.pdf (129,477 bytes) |
| references |
Content-type: text/plain
|
Ait-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
|
|
|
|
|
Ait-Kaci, H., Boyer, R., Lincoln, P. and Nasr, R. (1989)
Efficient implementation of latice operations
, ACM Transactions on Programming Languages and Systems, I 1 (1): 115-146
|
|
|
|
|
Ait-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
|
|
|
|
|
Carlson, C. and Woodbury, R. (1994)
Hands-on exploration of recursive patterns
, Languages of Design, 2:121-142
|
|
|
|
|
Carlson, C. (1993)
An Algebraic Approach to the Description of Design Spaces
, PhD thesis, Department of Architecture,Carnegie-Mellon University.
|
|
|
|
|
Carpenter, R. (1992)
The Logic of Typed Feature Structures : With Applications to Unification Grammars, Logic Programs and Constraint Resolution
, Number 32 in Cambridge in Theoretical Computer Science. Cambridge University Press, Cambridge
|
|
|
|
|
Coyne, R. (1991)
ABLOOS: An Evolving Hierarchical Design Framework
, PhD thesis, Department of Architecture, Carnegie Mellon University, Pittsburgh, PA. also available as TechReport, (EDRC-02-15-91), Engineering Design Research Center, CMU
|
|
|
|
|
Ellis, G. (1995)
Managing Complex Objects
, PhD thesis, Department of Computer Scie University of Queensland
|
|
|
|
|
Ellis, M.A. and Stroustrup, B. (1990)
The annotated C++ reference manual
, Addison-Wesley-Reading, MA, USA
|
|
|
|
|
Flemming, U. and Woodbury, R. (1995)
Software environment to support early phases building design (seed): Overview
, Journal ofArchitectural Engineering, 1: 147-152
|
|
|
|
|
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., Witkin, A. and Baraff., D. (1995)
Interactive physically-based manipulation discrete/ continuous models
, SIGGRAPH 95 Conference Proceedings, volume pages 199-208. ACM Siggraph, ACM
|
|
|
|
|
Heisserman, J. (1994)
Generative geometric design
, IEEE Computer Graphics and Applications, 14(2):37-45
|
|
|
|
|
Stiny, G. and March, L. (1981)
Design machines
, Environment and Planning B: Planning Design, 8(3):241-244
|
|
|
|
|
Stiny, G. (1980)
Introduction to shape and shape grammars
, Environment and Planning., Planning and Design, 7(3):343-352
|
|
|
|
|
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 Engineeiing, 1(4):170-178
|
|
|
|
|
Woodbury, R.F., Burrow, A.L., Datta, S. and Chang, T.W. (1999)
Typed feature structures in design space exploration
, AIEDAM Special Issue on Generative Systems in Design manuscript available at http://www. arch. adelaide.edu. au/ rw/publications/progress.ht
|
|
|
|
|
Woodbury, R.F., Radford, A.D., Taplin, P.N., and Coppins, S.A. (1992)
Tartan worlds: generative symbol grammar system
, Noble, D. and Kensek, K., editors, ACADIA pages 211-220, Charleston, SC.
|
|
|
|
| last changed |
2006/11/07 07:22 |
|
