FORMAL KNOWLEDGE IN KNOWLEDGE-BASED CAD

被引：1

作者：

OXMAN, RM

OXMAN, RE

机构：

[1] Faculty of Architecture and Town Planning, Technion Israel Institute of Technology

来源：

BUILDING AND ENVIRONMENT | 1991年 / 26卷 / 01期

关键词：

D O I：

10.1016/0360-1323(91)90037-C

中图分类号：

TU [建筑科学];

学科分类号：

0813 ;

摘要：

Current CAD systems are characterized by the use of geometrical models as a central representation. The paper identifies the limitations of this representation and the lack of other types of knowledge in design systems. Formal knowledge is identified as a significant class of knowledge which can be represented in design systems. The relevance of knowledge-based technology to CAD is discussed. An example of a class of high level formal knowledge in a knowledge-based design system is presented. © 1990.

引用

页码：35 / 40

页数：6

共 50 条

[1] KNOWLEDGE-BASED CAD
KATAJAMAKI, M
[J]. EXPERT SYSTEMS WITH APPLICATIONS, 1991, 3 (02) : 277 - 287
[2] Management of design knowledge for knowledge-based CAD
Nomaguchi, Yutaka
Shimomura, Yoshiki
[J]. TOOLS AND METHODS OF COMPETITIVE ENGINEERING Vols 1 and 2, 2004, : 1111 - 1112
[3] KNOWLEDGE-BASED CAD SYSTEMS
GANTZ, J
[J]. COMPUTER GRAPHICS WORLD, 1987, 10 (11) : 23 - 24
[4] A FORMAL MODEL OF KNOWLEDGE-BASED SYSTEMS
KALAS, I
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 281 : 170 - 181
[5] UNDERSTANDING KNOWLEDGE-BASED CAD/CAM
KASRAVI, K
[J]. COMPUTER-AIDED ENGINEERING, 1994, 13 (10): : 72 - &
[6] KNOWLEDGE-BASED EXPERT SYSTEMS FOR CAD
BANARESALCANTARA, R
SRIRAM, D
VENKATASUBRAMANIAN, V
WESTERBERG, A
RYCHENER, M
[J]. CHEMICAL ENGINEERING PROGRESS, 1985, 81 (09) : 25 - 30
[7] FORMAL AND KNOWLEDGE-BASED METHODS IN DECISION TECHNOLOGY
FOX, J
[J]. BULLETIN OF THE BRITISH PSYCHOLOGICAL SOCIETY, 1984, 37 (FEB): : A11 - A11
[8] FORMAL AND KNOWLEDGE-BASED METHODS IN DECISION TECHNOLOGY
FOX, J
[J]. ACTA PSYCHOLOGICA, 1984, 56 (1-3) : 303 - 331
[9] The use of knowledge-based and formal methods for simulation
Pranevicius, H
[J]. ESM'99 - MODELLING AND SIMULATION: A TOOL FOR THE NEXT MILLENNIUM, VOL II, 1999, : 78 - 82
[10] A FORMAL MODEL FOR KNOWLEDGE-BASED SYSTEMS VERIFICATION
LAITA, LM
COUTO, J
DELEDESMA, L
MARGARIT, AF
[J]. INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 1994, 9 (09) : 769 - 786

← 1 2 3 4 5 →