Intelligent Design from Physical Principles
Papers from the 1992 Fall Symposium
Brian Williams and Leo Joskowicz, Program Cochairs
Technical Report FS-92-03. Published by The AAAI Press, Menlo Park, California
This technical report is available in book format.
Please Note: Abstracts are linked to individual titles, and will appear in a separate browser window. Full-text versions of the papers are linked to the abstract text. Access to full text may be restricted to AAAI members. PDF file sizes may be large!
Contents
Preface
Jon Cagan, Leo Joskowicz, Tom Dean, Brian Williams
Generative Design
An Incremental Method for Compositional Model-Based Design of Physical Systems / 1
P. Bose and S Rajamoney
Qualitative Reasoning About Constraint Activity Using Monotonic Influence Diagrams / 7
N. F. Michelena and A. M. Agogino
Design Synthesis with Qualitative Influence Graphs: Steps Towards Multi-State Dynamical Devices / 13
D. Navinchandra, K. P. Sycara, and S. Narasimhan
Innovative Design as Systematic Search / 19
D. Neville and D. S. Weld
Integrating Qualitative and Numerical Models in Binary Distillation Design / 25
N. M. Sgouros
Research Summary / 30
A. M. Agogino and N. F. Michelena
Research Summary / 32
P. Bose
Abstract of Interests in Design from Physical Principles / 33
Jonathan Cagan
Research Summary / 34
Dorothy Neville
Abstract of Research Interests Related to Design from Physical Principles / 35
James R. Rinderle
Research Summary / 36
Nikitas M. Sgouros
Research Summary: Interaction-based Design / 37
Brian C. Williams
Simulation and Interpretation
Aggregating Behaviors and Tractable Simulation /
D. J. Clancy and B. Kuipers / 38
Modeling and Simulation for Automated Yacht Design /
Andrew Gelsey / 44
Kinematic Analysis and Synthesis of Mechanisms via Small-Scale Interference Detection /
R. Gupta and M. J. Jakiela / 50
Design Verification Using Functional Knowledge /
Y. Iwasaki and B. Chandrasekaran / 56
Intelligent Dynamic Simulation of Mechanisms /
Glenn A. Kramer / 62
The Quantity Lattice for Engineering Design /
Robert Schrag / 68
Understanding Linkages /
Howard E. Shrobe / 73
Computational Aspects of the Design of Micro-Mechanical Hinged Structures / 79
K. F. Bohringer
The Design of Shape from Motion Constraints / 80
Michael Caine
Research Summary / 81
D. J. Clancy
Research Summary / 82
J. M. Crawford
Research Summary / 83
Andrew Gelsey
Automating Reasoning about Mechanical Devices / 84
Leo Joskowicz
Research Summary / 85
Glenn A. Kramer
Topological Models for Physical Computing / 86
Richard S. Palmer and Vadim Shapiro
Research Summary / 87
Robert Schrag
Projects
The Stanford How Things Work Project / 88
R. Fikes, T. Gruber, and Y. Iwasaki
Form-Function Synthesis in Engineering Design / 92
U. Fleming and S. Finger; J. Adams, C. Carlson, R. Coyne, S. Fenves,R. Ganeshan, J. Garrett, A. Cupta, Y. Reich, D. Siewiorek, R. Sturges, D. Thomas, R. Woodbury
Research Summary / 98
T. Ellman, J. Keane, and M. Schwabacher
Design Adaptation
A Representation for Algorithmic Expansion of Engineering Designs / 99
V. Aelion, J. Cagan, and G. J. Powers
Causal Inversion: Applying Kinematic Principles to Mechanism Design / 105
B. Faltings and K. Sun
Model Synthesis in Device Redesign / 111
S. Prabhakar and A. Goel
Using Multiple Sources of Knowledge to Generate Design Decompositions / 117
David C. Brown and Jingwen Liu
Research Summary/ 118
S. Prabhakar
Model Generation and Selection
Intelligent Model Selection for Hillclimbing Search in Computer-Aided Design / 119
Thomas Ellman and John Keane
Building a Physical Feature Database for Qualitative Modeling and Reasoning / 125
Takashi Kiriyama Tetsuo Tomiyama and Hiroyuki Yoshikawa
Generating Approximate Thermal Models from Physical Principles / 131
Ringo Ling and Louis Steinberg
A Framework for Structuring Design Knowledge in terms of First Principles/ 137
L. K. Alberts
Logics for Spatial Reasoning / 138
A. G. Cohn, Z. Cui, and D. A. Randell
Compositional Modeling: Producing Parsimonious Descriptions for Design / 139
Brian Falkehainer
Research Summary / 140
Hartmut Freitag
Research Summary / 141
Anne M. Keuneke
Research Summary / 142
T. Kiriyama
Research Summary: Generating Approximate Thermal Models / 143
Ringo Ling and L. Steinberg
Tools For Preliminary Parametric Design / 144
R. Ramaswany
Functional Skeletons as a Means for Specification-Driven Engineering Design / 145
Harold Stadlbauer
Consistency-based Diagnosis and Design / 146
Peter Struss
ECN SE&R Research Activities and Interests / 147
J. Top and H. Akkermans
Design in Planning and Control
Design of Project Plans From Fundamental Knowledge of Engineered Systems / 149
Yan Jin, John C. Kunz, Raymand E. Levitt, and Graham Winstanley
Sensor Abstractions for Control of Navigation / 155
Jak Kirman, Kenneth Basye, Thomas Dean
Design of Task-Level Robot Control Systems / 161
Reid Simmons
Using Temporal Belief Networks for Planning / 165
Jack Kirman
Research Interests / 166
Reid Simmons
Research Interests / 167
David R. Throop
Computational Control Design / 168
Feng Zhao