A FUNDAMENTAL AND THEORETICAL FRAMEWORK FOR AN INTELLIGENT CAD SYSTEM

被引:30
作者
AKMAN, V
TENHAGEN, PJW
TOMIYAMA, T
机构
[1] CTR MATH & COMP SCI CWI,DEPT INTERACT SYST,1098 SJ AMSTERDAM,NETHERLANDS
[2] UNIV TOKYO,FAC ENGN,DEPT PRECIS MACHINERY ENGN,BUNKYO KU,TOKYO 113,JAPAN
关键词
commonsense reasoning; design theory; intelligent CAD; knowledge representation; logic; logic programming; naive physics; object-oriented programming;
D O I
10.1016/0010-4485(90)90086-R
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
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. © 1990.
引用
收藏
页码:352 / 367
页数:16
相关论文
共 76 条
[51]  
RAIMAN O, 1986, AAAI 86, P100
[52]  
RAMAMOORTHY C, 1987, IEEE COMPUT, V2, P30
[53]  
SHOHAM Y, 1986, YALEUCSDRR507 YAL U
[54]  
SIMMONS R, 1986, AAAI 86, P118
[55]  
SIMON H, 1977, BOSTON STUDIES PHILO, V54, P304
[56]  
SIMON HA, 1979, SCI ARTIFICIAL, pCH3
[57]  
Stefik M., 1985, AI MAG, V6, P40, DOI DOI 10.1609/AIMAG.V6I4.508
[58]   INTEGRATING ACCESS-ORIENTED PROGRAMMING INTO A MULTIPARADIGM ENVIRONMENT [J].
STEFIK, MJ ;
BOBROW, DG ;
KAHN, KM .
IEEE SOFTWARE, 1986, 3 (01) :10-18
[59]  
STERLING L, 1986, ART PROLOG
[60]  
SUTHERLAND IE, 1963, SKETCHPAD MAN MACHIN, P329