Engineering design knowledge representation based on logic and objects

被引：2
|
作者：
Bento, J
Feijo, B
Smith, DL
机构：
[1] UNIV LONDON, UNIV LONDON IMPERIAL COLL SCI TECHNOL & MED, EXPERT SYST LAB, LONDON SW3 2BU, ENGLAND
[2] PONTIFICIA UNIV CATOLICA RIO DE JANEIRO, ICAD INTELLIGENT CAD LAB, DEPT COMP SCI, BR-22453 RIO DE JANEIRO, BRAZIL
来源：
COMPUTERS & STRUCTURES | 1997年 / 63卷 / 05期
关键词：
D O I：
10.1016/S0045-7949(96)00247-7
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
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. (C) 1997 Elsevier Science Ltd.
引用
下载
收藏
页码：1015 / 1032
页数：18
相关论文
共 50 条
  • [41] The role of default logic in knowledge representation
    Delgrande, JP
    Schaub, T
    LOGIC-BASED ARTIFICIAL INTELLIGENCE, 2000, 597 : 107 - 126
  • [42] Fuzzy Predicate Logic for Knowledge Representation
    Reddy, P. Venkata Subba
    2013 INTERNATIONAL CONFERENCE ON FUZZY THEORY AND ITS APPLICATIONS (IFUZZY 2013), 2013, : 43 - 48
  • [43] CLKR: Conditional Logic and Knowledge Representation
    Beierle, Christoph
    Haldimann, Jonas
    Schwarzer, Leon
    KUNSTLICHE INTELLIGENZ, 2024, 38 (1-2): : 61 - 67
  • [44] LOGIC AND KNOWLEDGE REPRESENTATION IN PROLOG.
    Butrick, Richard
    Dr. Dobb's journal of software tools for the professional programmer, 1987, 12 (07): : 30 - 32
  • [45] Method of frame representation of moving objects for knowledge-based coding
    Kimoto, Tadahiko
    Yasuda, Yasuhiko
    Systems and Computers in Japan, 1990, 21 (07) : 63 - 74
  • [46] YMIR - A SHARABLE ONTOLOGY FOR THE FORMAL REPRESENTATION OF ENGINEERING-DESIGN KNOWLEDGE
    ALBERTS, LK
    FORMAL DESIGN METHODS FOR CAD, 1994, 18 : 3 - 32
  • [47] Deontic Relevant Logic in Knowledge-based Requirements Engineering
    Cheng, Jingde
    KNOWLEDGE-BASED SOFTWARE ENGINEERING, 2008, 180 : 97 - 102
  • [48] Selecting Predicate Logic for Knowledge Representation by Comparative Study of Knowledge Representation Schemes
    Ali, Amjad
    Khan, Mohammad Abid
    ICET: 2009 INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES, PROCEEDINGS, 2009, : 23 - 28
  • [49] Representation of Objects in Agent-Based Lighting Design Problem
    Sedziwy, Adam
    COMPLEX SYSTEMS AND DEPENDABILITY, 2012, 170 : 209 - 223
  • [50] An English to logic translator for ontology-based knowledge representation languages
    Pease, A
    Murray, W
    2003 INTERNATIONAL CONFERENCE ON NATURAL LANGUAGE PROCESSING AND KNOWLEDGE ENGINEERING, PROCEEDINGS, 2003, : 777 - 783
12345