A fundamental and theoretical framework for an intelligent CAD system

Abstract Currently, there exists a line of research in mechanical CAD that is directed towards using AI and knowledge engineering ideas, but truly unifying approaches in this respect are lacking. The authors hope to fill this gap via a logic-based, theoretical approach. A formulation is given for how a designer's apprentice (or a design workbench) can be established. The relevance of naive physics and commonsense reasoning in machine design are demonstrated. As for the software development methodology several aspects of software engineering are considered. A design base language which is built upon logic programming and object-oriented programming paradigm is proposed.

[1]  Kenneth D. Forbus.  Qualitative Process Theory , 1984, Artif. Intell..

[2]  P.J.W. teHagen,et al.  Organization of design knowledge in an intelligent CAD environment , 1987 .

[3]  Richard Coyne,et al.  Logic models of design , 1988 .

[4]  Herbert A. Simon,et al.  The Structure of Ill-Structured Problems , 1977 .

[5]  J. Dekleer.  An assumption-based TMS , 1986 .

[6]  Jon Doyle.  Expert Systems and the "Myth" of Symbolic Reasoning , 1985, IEEE Transactions on Software Engineering.

[7]  Marvin Minsky,et al.  Computation : finite and infinite machines , 2016 .

[8]  René Jacquart,et al.  GERMINAL: Towards a general and integrated system for computer aided design , 1974, DAC '74.

[9]  John Lansdown,et al.  Graphics, Design and Artificial Intelligence , 1988 .

[10]  Robert A. Kowalski,et al.  Logic for problem solving , 1982, The computer science library : Artificial intelligence series.

[11]  Varol Akman,et al.  Knowledge engineering in design , 1988, Knowl. Based Syst..

[12]  B. Veth,et al.  An integrated data description language for coding design knowledge , 1989 .

[13]  Allen Newell,et al.  The Knowledge Level , 1989, Artif. Intell..

[14]  ten P.J.W. Hagen,et al.  Introduction to dialogue cells , 1987 .

[15]  Tetsuo Tomiyama,et al.  Representing knowledge in two distinct descriptions: Extensional vs. intensional , 1990, Artif. Intell. Eng..

[16]  Benjamin J. Kaipers,et al.  Qualitative Simulation , 1989, Artif. Intell..

[17]  Robert C. Moore.  The Role of Logic in Knowledge Representation and Commonsense Reasoning , 1982, AAAI.

[18]  Paul J. W. ten Hagen,et al.  Design Rules for a Cim System , 1986 .

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

[20]  Adele Goldberg,et al.  Smalltalk-80 - the interactive programming environment , 1984 .

[21]  Herbert A. Simon,et al.  The Science of Design: Creating the Artificial , 1988 .

[22]  Varol Akman,et al.  The Power of Physical Representations , 1989, AI Mag..

[23]  Jean-Paul Delahaye.  Formal methods in artificial intelligence , 1987 .

[24]  Olivier Raiman.  Order of magnitude reasoning , 1986, AAAI 1986.

[25]  Johan de Kleer,et al.  A Qualitative Physics Based on Confluences , 1984, Artif. Intell..

[26]  Johan de Kleer,et al.  Theories of Causal Ordering , 1986, Artif. Intell..

[27]  Daniel G. Bobrow,et al.  Object-Oriented Programming: Themes and Variations , 1989, AI Mag..

[28]  David C. Brown,et al.  Knowledge and Control for a Mechanical Design Expert System , 1986, Computer.

[29]  Leon Sterling,et al.  The Art of Prolog , 1987, IEEE Expert.

[30]  Dean Allemang,et al.  Exploring the No-Function-In-Structure principle , 1989, J. Exp. Theor. Artif. Intell..

[31]  Daniel G. Bobrow,et al.  Expert systems: perils and promise , 1986, CACM.

[32]  William F. Clocksin,et al.  Programming in Prolog , 1981, Springer Berlin Heidelberg.

[33]  Michael G. Dyer,et al.  EDISON: An engineering design invention system operating naively , 1986, Artif. Intell. Eng..

[34]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..

[35]  Johan de Kleer,et al.  Readings in qualitative reasoning about physical systems , 1990 .

[36]  J. Kleer.  Qualitative and Quantitative Knowledge in Classical Mechanics , 1975 .

[37]  Reid G. Simmons,et al.  Commonsense Arithmetic Reasoning , 1986, AAAI.

[38]  R. Carnap.  Meaning and necessity : a study in semantics and modal logic , 1948 .

[39]  Johan de Kleer,et al.  Extending the ATMS , 1986, Artif. Intell..

[40]  B. T. David,et al.  Multi-expert systems for CAD , 1989 .

[41]  Daniel G. Bobrow,et al.  Integrating Access-Oriented Programming into a Multiparadigm Environment , 1986, IEEE Software.

[42]  Shashi Shekhar,et al.  Software Development Support for AI Programs , 1987, Computer.

[43]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..

[44]  Ivan E. Sutherland,et al.  Sketchpad a Man-Machine Graphical Communication System , 1899, Outstanding Dissertations in the Computer Sciences.

[45]  Y. Shoham.  Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligence , 1987 .

[46]  Fred P. Brooks,et al.  The Mythical Man-Month , 1975, Reliable Software.

[47]  Peter Wegner.  Capital-Intensive Software Technology , 1984, IEEE Software.

[48]  Paul Veerkamp,et al.  Multiple worlds in an intelligent CAD system , 1990 .

[49]  Johan de Kleer,et al.  Problem Solving with the ATMS , 1986, Artif. Intell..

[50]  Daniel G. Bobrow,et al.  If Prolog is the Answer, What is the Question? or What it Takes to Support AI Programming Paradigms , 1985, IEEE Transactions on Software Engineering.

[51]  Hector J. Levesque,et al.  The Logic of Incomplete Knowledge Bases , 1982, On Conceptual Modelling.

[52]  Max J. Cresswell,et al.  A New Introduction to Modal Logic , 1998 .

[53]  Herbert A. Simon,et al.  Causality in Device Behavior , 1989, Artif. Intell..

[54]  John McCarthy,et al.  Programs with common sense , 1960 .

[55]  Kenneth D. Forbus.  Intelligent Computer-Aided Engineering , 1988, AI Mag..

[56]  David E. Kieras,et al.  The Role of a Mental Model in Learning to Operate a Device. , 1984 .

[57]  Tetsuo Tomiyama,et al.  Extended general design theory , 1986 .

[58]  Marvin Minsky,et al.  Semantic Information Processing , 1968 .