IMPLEMENTING A KNOWLEDGE-BASED LIBRARY INFORMATION-SYSTEM WITH TYPED HORN LOGIC

被引:1
|
作者
AITKACI, H
NASR, R
SEO, J
机构
[1] MICROELECTR & COMP TECHNOL CORP,AUSTIN,TX 78759
[2] UNIV TEXAS,DEPT COMP SCI,AUSTIN,TX 78712
关键词
D O I
10.1016/0306-4573(90)90029-2
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
This article discusses the implementation of a knowledge base for a library information system. The system was conceived using a typed logic programming language - LOGIN - where type inheritance is built in. The knowledge base is structured in a hierarchical taxonomy of library object classes where each class is represented in a frame style knowledge structure and inherits the properties of its parents, and where infrastructural inference rules have been established through typed Horn clauses. Also in this document, some programming techniques aimed at using the power of inheritance as taxonomic inference are discussed. © 1990.
引用
收藏
页码:249 / 268
页数:20
相关论文
共 50 条
  • [1] A KNOWLEDGE-BASED INFORMATION-SYSTEM
    BERTINO, E
    BOTTARELLI, S
    DAMIANI, M
    MARCADELLA, M
    MIGLIORATI, M
    RANDI, P
    IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 14 : 189 - 195
  • [2] LASSIE - A KNOWLEDGE-BASED SOFTWARE INFORMATION-SYSTEM
    DEVANBU, P
    BRACHMAN, RJ
    SELFRIDGE, PG
    BALLARD, BW
    COMMUNICATIONS OF THE ACM, 1991, 34 (05) : 34 - 49
  • [3] A KNOWLEDGE-BASED INFORMATION-SYSTEM FOR MONITORING DRUG LEVELS
    WIENER, F
    GROTH, T
    MORTIMER, O
    HALLQUIST, I
    RANE, A
    COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE, 1989, 29 (02) : 115 - 128
  • [4] IOIS - A KNOWLEDGE-BASED APPROACH TO AN INTEGRATED OFFICE INFORMATION-SYSTEM
    SHENG, ORL
    AMARAVADI, CS
    AIKEN, MW
    NUNAMAKER, JF
    DECISION SUPPORT SYSTEMS, 1992, 8 (03) : 269 - 286
  • [6] THE DEVELOPMENT OF A KNOWLEDGE-BASED GEOGRAPHICAL INFORMATION-SYSTEM FOR THE ZONING OF RURAL-AREAS
    CHEN, J
    NEWKIRK, RT
    DAVIDSON, G
    GONG, P
    ENVIRONMENT AND PLANNING B-PLANNING & DESIGN, 1994, 21 (02): : 179 - 190
  • [7] A KNOWLEDGE-BASED LOGIC DESIGN SYSTEM
    UEHARA, T
    IEEE DESIGN & TEST OF COMPUTERS, 1985, 2 (05): : 27 - 34
  • [8] THE COMMUNITY FOREST GEOGRAPHIC DECISION-SUPPORT SYSTEM - A KNOWLEDGE-BASED GEOGRAPHIC INFORMATION-SYSTEM
    BURKMAR, R
    BASDEN, A
    PETCH, J
    YIP, J
    AI APPLICATIONS, 1994, 8 (01): : 40 - 42
  • [9] DEVELOPMENT OF AN INTELLIGENT INTERFACE FOR ADDING SPATIAL OBJECTS TO A KNOWLEDGE-BASED GEOGRAPHIC INFORMATION-SYSTEM
    CAMPBELL, WJ
    GOETTSCHE, C
    1989 GODDARD CONFERENCE ON SPACE APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 1989, 3033 : 239 - 247
  • [10] Knowledge push in knowledge-based information system
    Nie, Guangli
    Zhang, Lingling
    Chen, Yibing
    Shi, Yong
    Journal of Computational Information Systems, 2011, 7 (04): : 1342 - 1349