Conceptual geometric reasoning by the manipulation of models based on prototypes

The ability to understand the implications of the geometry of solid objects is an important aspect of intelligent behavior. This paper presents work designed to enable reasoning with relatively loose conceptualizations of geometry. The method operates by comparing target geometry to known geometry, and involves the manipulation of models based upon prototypes. In particular, three techniques of simplification, approximation, and transformation are discussed. Finally, an application of the method to the domain of stress concentration prediction is presented.

[1]  Zenon W. Pylyshyn,et al.  What the Mind’s Eye Tells the Mind’s Brain: A Critique of Mental Imagery , 1973 .

[2]  John R. Dixon,et al.  Creating and using a features data base , 1986 .

[3]  John S. Gero.  Artificial intelligence in engineering: robotics & processes , 1988 .

[4]  John S. Gero,et al.  Chunking Structural Design Knowledge as Prototypes , 1989 .

[5]  Rodney A. Brooks,et al.  Symbolic Reasoning Among 3-D Models and 2-D Images , 1981, Artif. Intell..

[6]  Jami J. Shah,et al.  Expert form feature modelling shell , 1988 .

[7]  Jami J. Shah,et al.  Feature transformations between application-specific feature spaces , 1988 .

[8]  Stuart C. Shapiro,et al.  Encyclopedia of artificial intelligence, vols. 1 and 2 (2nd ed.) , 1992 .

[9]  Mark Richard Henderson.  EXTRACTION OF FEATURE INFORMATION FROM THREE-DIMENSIONAL CAD DATA , 1984 .

[10]  T. C. Chang,et al.  Graph-based heuristics for recognition of machined features from a 3D solid model , 1988 .

[11]  Janet L. Kolodner,et al.  Case-Based Reasoning , 1988, IJCAI 1989.

[12]  Drew McDermott.  A Theory of Metric Spatial Inference , 1980, AAAI.

[13]  Kenneth N. Brown,et al.  Grammars of Features in Design , 1992 .

[14]  Kenneth N. Brown,et al.  Reasoning with geometry: Predicting stress concentration factors , 1990, Artif. Intell. Eng..

[15]  Patrick Henry Winston,et al.  The psychology of computer vision , 1976, Pattern Recognit..

[16]  Michael R. Lowry,et al.  Learning Physical Descriptions From Functional Definitions, Examples, and Precedents , 1983, AAAI.

[17]  S. Kosslyn.  Image and mind , 1982 .

[18]  Kenneth N. Brown.  Conceptual geometric reasoning in artificial intelligence and engineering , 1991 .

[19]  Johan de Kleer.  Multiple Representations of Knowledge in a Mechanics Problem-Solver , 1977, IJCAI.

[20]  Ann Patricia Fothergill,et al.  Reasoning About the Spatial Relationships Derived From a RAPT Program for Describing Assembly by a Robot , 1983, IJCAI.

[21]  Jami J. Shah,et al.  Group technology classification from feature-based geometric models , 1989 .

[22]  David L. Waltz,et al.  Visual Analog Representations for Natural Languages Understanding , 1979, IJCAI.

[23]  ARISTIDES A. G. REQUICHA,et al.  Representations for Rigid Solids: Theory, Methods, and Systems , 1980, CSUR.

[24]  Craig Stanfill.  The Decomposition of a Large Domain: Reasoning About Machines , 1983, AAAI.

[25]  R. Peterson,et al.  Stress Concentration Factors , 1974 .

[26]  Ramakant Nevatia,et al.  Structured Descriptions of Complex Objects , 1973, IJCAI.

[27]  Sanjaya Addanki,et al.  PROMPT: An Innovative Design Tool , 1987, AAAI.

[28]  Gil J. Ettinger,et al.  Large hierarchical object recognition using libraries of parameterized model sub-parts , 1988, Proceedings CVPR '88: The Computer Society Conference on Computer Vision and Pattern Recognition.

[29]  Marvin Minsky,et al.  A framework for representing knowledge , 1974 .

[30]  Gordon S. Novak.  Representations of Knowledge in a Program for Solving Physics Problems , 1977, IJCAI.

[31]  Charles Lipson,et al.  Handbook of Stress and Strength Design and Material Applications , 1963 .

[32]  Thomas J. Peters,et al.  Topological properties that model feature-based representation conversions within concurrent engineering , 1992 .

[33]  Leo Joskowicz.  Shape and Function in Mechanical Devices , 1987, AAAI.

[34]  Ernest Davis,et al.  A logical framework for commonsense predictions of solid object behaviour , 1988, Artif. Intell. Eng..

[35]  Gerald J. Agin.  Hierarchical Representation of Three-Dimensional Objects Using Verbal Models , 1981, IEEE Transactions on Pattern Analysis and Machine Intelligence.