Knowledge engineering in design

作者:

Highlights:

摘要

The authors present, in a unifying framework, the principles of the IIICAD system, a generic design apprentice currently under development at CWI. IIICAD incorporates three kinds of design knowledge. First, it has general knowledge about the stepwise nature of design based on a set-theoretic design theory. Second, it has domain-dependent knowledge belonging to the specific design areas where it may actually be used. Finally, it maintains knowledge about the previously designed objects; this is somewhat similar to software reuse. Furthermore, IIICAD uses AI techniques in the following areas: formalization of design processes, extensional versus intentional descriptions, modal and other non-standard logics as knowledge representation tools; commonsense reasoning about the physical world (naive physics), coupling symbolic and numerical computation; integration of object-oriented and logic programming paradigms, and development of a common base language for design.

论文关键词:artificial intelligence,deduction and theorem proving,knowledge representation formalisms and methods,computer-aided engineering and design,languages,non-standard logics,object-oriented programming,naive physics,extensional/intensional descriptions

论文评审过程:Available online 19 February 2003.

论文官网地址:https://doi.org/10.1016/0950-7051(88)90001-9