Engineering design knowledge representation based on logic and objects

Abstract This paper presents a hybrid framework to integrate first-order logic into the object-oriented paradigm for representing engineering design knowledge. The object-oriented nature of engineering design activities are analysed and details of the programming environment are provided.

[1]  Francis G. McCabe.  Logic and objects : language, application and implementation , 1989 .

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

[3]  Krzysztof R. Apt,et al.  Logic Programming , 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[4]  Bjarne Stroustrup,et al.  C++ Programming Language , 1986, IEEE Softw..

[5]  David Robson,et al.  Smalltalk-80: The Language and Its Implementation , 1983 .

[6]  William A. Kornfeld.  Equality for Prolog , 1983, IJCAI.

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

[8]  Drew McDermott,et al.  Introduction to artificial intelligence , 1986, Addison-Wesley series in computer science.

[9]  Varol Akman,et al.  IDDL: a language for intelligent interactive integrated CAD systems , 1989 .

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

[11]  Mark Chignell,et al.  Expert Systems For Experts , 1988 .

[12]  Brian W. Kernighan,et al.  The C Programming Language , 1978 .

[13]  Adewale Abiola Oki.  Primordial abilities in artificially intelligent systems for civil engineering design , 1990 .

[14]  A. S. Watson,et al.  A prolog-based object oriented engineering DBMS , 1991 .

[15]  Paul J. W. ten Hagen,et al.  Intelligent CAD Systems I: Theoretical and Methodological Aspects , 1988 .

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

[17]  Bruno Feijo.  Fundamental steps towards an intelligent CAD system in structural steel , 1988 .

[18]  Farhad Arbab,et al.  A paradigm for intelligent CAD , 1989 .

[19]  T. Tomiyama.  Object oriented programming paradigm for intelligent CAD systems , 1989 .

[20]  Gary S. Kahn,et al.  Prototyping: Tools and Motivations , 1989 .

[21]  Layman E. Allen,et al.  Computing power and legal reasoning , 1985 .

[22]  M. Carter.  Computer graphics: Principles and practice , 1997 .

[23]  Ai Kah Soh,et al.  KBase: a customizable tool for building Dbase-compatible knowledge-based systems , 1989 .

[24]  Gregory R. Miller,et al.  An object-oriented approach to structural analysis and design , 1991 .

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

[26]  James H. Garrett,et al.  An Object-Oriented Model for Building Design and Construction , 1989 .

[27]  Carlo Zaniolo,et al.  Object-Oriented Programming in Prolog , 1984, SLP.