CumInCAD is a Cumulative Index about publications in Computer Aided Architectural Design
supported by the sibling associations ACADIA, CAADRIA, eCAADe, SIGraDi, ASCAAD and CAAD futures

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 rob_woodbury@sfu.ca
full text file.pdf (129,477 bytes)
references Content-type: text/plain
details citation check to select
100%; open Ait-Kaci, H. and Podelski, A. (1993) Find in CUMINCAD Towards a meaning of LIFE , Technical Report 11, Paris Research Laboratory of Digital Equipment Centre Technique Europe, Rueil-Malmaison, France
100%; open Ait-Kaci, H., Boyer, R., Lincoln, P. and Nasr, R. (1989) Find in CUMINCAD Efficient implementation of latice operations , ACM Transactions on Programming Languages and Systems, I 1 (1): 115-146
100%; open Ait-Kaci, H., Podelski, A. and Goldstein, S.C. (1993) Find in CUMINCAD Order-sorted feature theory unification , Technical Report 32, Paris Research Laboratory of Digital Equipment Centre Technique Europe, Rueil-Malmaison, France
100%; open Carlson, C. and Woodbury, R. (1994) Find in CUMINCAD Hands-on exploration of recursive patterns , Languages of Design, 2:121-142
100%; open Carlson, C. (1993) Find in CUMINCAD An Algebraic Approach to the Description of Design Spaces , PhD thesis, Department of Architecture,Carnegie-Mellon University.
100%; open Carpenter, R. (1992) Find in CUMINCAD 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
100%; open Coyne, R. (1991) Find in CUMINCAD 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
100%; open Ellis, G. (1995) Find in CUMINCAD Managing Complex Objects , PhD thesis, Department of Computer Scie University of Queensland
100%; open Ellis, M.A. and Stroustrup, B. (1990) Find in CUMINCAD The annotated C++ reference manual , Addison-Wesley-Reading, MA, USA
100%; open Flemming, U. and Woodbury, R. (1995) Find in CUMINCAD Software environment to support early phases building design (seed): Overview , Journal ofArchitectural Engineering, 1: 147-152
100%; open Gorti, S.R., Kim, G.J. and Siriam, R.D. (1998) Find in CUMINCAD An object-oriented representation for product, and design processes , Computer-Aided Design, 30(7):489-501
100%; open Harada, M., Witkin, A. and Baraff., D. (1995) Find in CUMINCAD Interactive physically-based manipulation discrete/ continuous models , SIGGRAPH 95 Conference Proceedings, volume pages 199-208. ACM Siggraph, ACM
100%; open Heisserman, J. (1994) Find in CUMINCAD Generative geometric design , IEEE Computer Graphics and Applications, 14(2):37-45
100%; open Stiny, G. and March, L. (1981) Find in CUMINCAD Design machines , Environment and Planning B: Planning Design, 8(3):241-244
100%; open Stiny, G. (1980) Find in CUMINCAD Introduction to shape and shape grammars , Environment and Planning., Planning and Design, 7(3):343-352
100%; open Wille, R. (1992) Find in CUMINCAD Concept lattices and conceptual knowledge systems , Computers Math. Applic., 23(6-9):493-515
100%; open Woodbury, R.F. and Chang, T.W. (1995) Find in CUMINCAD Massing and enclosure design with SEED-Config. , ASCE Journal of Architectural Engineeiing, 1(4):170-178
100%; open Woodbury, R.F., Burrow, A.L., Datta, S. and Chang, T.W. (1999) Find in CUMINCAD 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
100%; open Woodbury, R.F., Radford, A.D., Taplin, P.N., and Coppins, S.A. (1992) Find in CUMINCAD Tartan worlds: generative symbol grammar system , Noble, D. and Kensek, K., editors, ACADIA pages 211-220, Charleston, SC.

last changed 2006/11/07 06:22
HOMELOGIN (you are user _anon_761853 from group guest) Works Powered by SciX Open Publishing Services 1.002