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

来源：

COMPUTER-AIDED DESIGN | 1990年 / 22卷 / 06期

关键词：

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 条

[1]

Akman V., 1988, Knowledge-Based Systems, V1, P67, DOI 10.1016/0950-7051(88)90001-9

[2]

AKMAN V, 1989, INTELLIGENT CAD SYST, V2

[3]

AKMAN V, 1989, INTELLIGENT CAD SYST, V2, P170

[4]

BOBROW D, 1986, COMMUN ACM, V2, P880

[5]

BOBROW D, 1985, IEEE T SOFTWARE ENG, V1, P1401

[6]

Bobrow D.G., 1975, REPRESENTATION UNDER

[7]

BOBROW DG, 1986, QUALITATIVE REASONIN

[8]

Brachman R. J., 1985, READINGS KNOWLEDGE R

[9]

Brooks F. P., 1975, MYTHICAL MAN MONTH

[10]

Brown D. C., 1986, IEEE EXPERT, V1, P92

← 1 2 3 4 5 6 7 8 →