Accession Number:

ADA123296

Title:

The Architecture of a Multiple Representation System (Draft). (MRS),

Descriptive Note:

Memorandum rept.

Corporate Author:

STANFORD UNIV CA DEPT OF COMPUTER SCIENCE

Personal Author(s):

Report Date:

1981-05-30

Pagination or Media Count:

23.0

Abstract:

In a broad sense, much of computer programming is simulation. On encodes facts about some aspect of the world and writes programs to answer questions using those facts. This is true whether one is a writing a complex numerical code or an inventory control program or an expert system to do medical diagnosis. In non-numerical programs the selection of a good data structure to encode facts particularly important and is often more difficult than writing the code that processes it. Over the years, two distinct approaches to representation have arisen, which might be called theory -building and model-building . The theory-building approach is typified by a growing number of knowledge representation systems e.g. KRL ref, KLONE ref, Prolog ref. UNITS ref. Most of these systems provide language in which the programmer encodes facts about the world, including in many cases parital information e.g. Arthur is Bertrams father or Allison is his mother. and quantification e.g. All apples are red . Most offer some general inference capabilities for reasoning about facts expressed within their language e.g. inheritance in the frame languages. In the vocabulary of formal logic, a set of such sentences is called a partial theory and, if the sentence are true in the world being described, that world is called a model of the theory. Author

Subject Categories:

  • Computer Programming and Software
  • Computer Hardware
  • Cybernetics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE