Very-High-Level Programming of Knowledge Representation Schemes

Abstract

This paper proposes building knowledge-based systems using a programming system based on a very-high-level language. It gives an overview of such a programming system, BC, and shows how BC can be used to implement knowledge representation features, providing as examples, automatic maintenance of inverse links and property inheritance. The specification language of BC can be extended to include a knowledge representation language by describing its knowledge representation features. This permits a knowledge-based program and its knowledge base to be written in the same very-high-level language which allows the knowledge to be more efficiently incorporated into the program as well as making the system as a whole easier to understand and extend.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 01, 1984
Accession Number
ADA264959

Entities

People

  • Stephen J. Westfold

Organizations

  • Kestrel Institute

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Compilers
  • Computations
  • Computer Languages
  • Computer Programming
  • Computer Science
  • Computers
  • Contracts
  • Databases
  • Electrical Engineering
  • Elephants
  • Engineering
  • High Level Languages
  • Knowledge Based Systems
  • Language
  • Military Research
  • Programming Languages

Fields of Study

  • Computer science

Readers

  • Artificial Intelligence