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

PDF papers
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
full text file.pdf (129,477 bytes)
references Content-type: text/plain
Details Citation 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. au/ rw/publications/

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
pick and add to favorite papersHOMELOGIN (you are user _anon_740446 from group guest) CUMINCAD Papers Powered by SciX Open Publishing Services 1.002