Design Problem Solving: A Task Analysis

I propose a task structure for design by analyzing a general class of methods that I call propose-critique-modify methods. The task structure is constructed by identifying a range of methods for each task. For each method, the knowledge needed and the subtasks that it sets up are identified. This recursive style of analysis provides a framework in which we can understand a number of particular proposals for design problem solving as specific combinations of tasks, methods, and subtasks. Most of the subtasks are not really specific to design as such. The analysis shows that there is no one ideal method for design, and good design problem solving is a result of recursively selecting methods based on a number of criteria, including knowledge availability. How the task analysis can help in knowledge acquisition and system design is discussed.

[1]  William J. Clancey,et al.  Heuristic Classification , 1986, Artif. Intell..

[2]  Luc Steels,et al.  Components of Expertise , 1990, AI Mag..

[3]  Vinod Goel,et al.  Motivating the Notion of Generic Design within Information-Processing Theory: The Design Problem Space , 1989, AI Mag..

[4]  C SchankRoger,et al.  Dynamic Memory: A Theory of Reminding and Learning in Computers and People , 1983 .

[5]  Clive L. Dym,et al.  PRIDE: An Expert System for the Design of Paper Handling Systems , 1986, Computer.

[6]  Ashok K. Goel,et al.  Functional Representation of Designs and Redesign Problem Solving , 1989, IJCAI.

[7]  Gerald J. Sussman,et al.  Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis , 1976, Artif. Intell..

[8]  Barbara Hayes-Roth,et al.  A Blackboard Architecture for Control , 1985, Artif. Intell..

[9]  Louis I. Steinberg,et al.  The CRITTER System: Analyzing Digital Circuits by Propagating Behaviors and Specifications , 1982, AAAI.

[10]  Mary Lou Zhao F. and Gero John S. Maher,et al.  Creativity in Humans and Computers , 1989 .

[11]  Sanjay Mittal,et al.  Towards a Generic Model of Configuraton Tasks , 1989, IJCAI.

[12]  Allen Newell,et al.  SOAR: An Architecture for General Intelligence , 1987, Artif. Intell..

[13]  Charles Rich.  A Formal Representation For Plans In The Programmer's Apprentice , 1982, On Conceptual Modelling.

[14]  Kristian J. Hammond,et al.  Case-Based Planning: Viewing Planning as a Memory Task , 1989 .

[15]  Earl David Sacerdoti,et al.  A Structure for Plans and Behavior , 1977 .

[16]  Mark Jeffrey Stefik.  Planning with constraints , 1980 .

[17]  Tom Bylander,et al.  A critique of qualitative simulation from a consolidation viewpoint , 1988, IEEE Trans. Syst. Man Cybern..

[18]  Elliot Soloway,et al.  PROUST: Knowledge-Based Program Understanding , 1984, IEEE Transactions on Software Engineering.

[19]  W. F. Punch,et al.  A diagnosis system using a task integrated problem solver architecture (TIPS), including causal reasoning , 1989 .

[20]  Ashok K. Goel,et al.  Integration of case-based reasoning and model-based reasoning for adaptive design problem-solving , 1989 .

[21]  B. Chandrasekaran,et al.  Task-structures, knowledge acquisition and learning , 1989, Machine Learning.

[22]  David C. Brown,et al.  Design Problem Solving: Knowledge Structures and Control Strategies , 1989 .

[23]  Robert Balzer,et al.  Transformational Implementation: An Example , 1981, IEEE Transactions on Software Engineering.

[24]  B. Chandrasekaran,et al.  Generic Tasks in Knowledge-Based Reasoning: High-Level Building Blocks for Expert System Design , 1986, IEEE Expert.

[25]  Tianran Wang,et al.  Knowledge Acquisition for Constructive Systems , 1985, IJCAI.

[26]  Kenneth D. Forbus.  Qualitative physics: past present and future , 1988 .