Implementing a knowledge-based library information system with typed horn logic

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. a Digital Equipment Corporation, Paris Research Lab., 85 avenue Victor Hugo, 92563 Rueil-Malmaison Cedex, France.
Publisher
Elsevier Limited
Issue Date
1990
Language
ENG
Citation

Information Processing and Management 26(2), v.26, no.2, pp.249 - 268

ISSN
0306-4573
DOI
10.1016/0306-4573(90)90029-2
URI
http://hdl.handle.net/10203/59993
Appears in Collection
CS-Journal Papers(저널논문)
Files in This Item
There are no files associated with this item.
  • Hit : 81
  • Download : 0
  • Cited 0 times in thomson ci

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0