MRS Manual. Multiple Representation System,

Abstract

MRS is a knowledge representation system intended for use by AI researchers in building expert systems. It offers a diverse repertory of commands for asserting and retrieving information, with various inference techniques (e.g. backward and forward chaining) and various search strategies (e.g. depth-first, breadth-first, and best-first search). The initial system includes a vocabulary of concepts and facts about logic, sets, mappings, arithmetic, and procedures.. Additional plug-in modules are available to handle contexts, default reasoning, and truth maintenance. There is a rudimentary compiler to eliminate needless meta-level processing and a meta-level consistency checker to protect the user from fata errors in making system modifications. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 01, 1981
Accession Number
ADA123256

Entities

People

  • David E. Smith
  • Michael R. Genesereth
  • Russell Greiner

Organizations

  • Stanford University

Tags

DTIC Thesaurus Topics

  • Arithmetic
  • Circuits
  • Computer Programming
  • Computer Science
  • Computers
  • Databases
  • Digital Circuits
  • Elephants
  • Expert Systems
  • Fungi
  • Language
  • Logic
  • Procedures (Computers)
  • Symbols
  • Universities
  • Vocabulary
  • Xor Gates

Readers

  • Applied Combinatorial Optimization and Logic Circuit Design.
  • Artificial Intelligence
  • Computer Science.

Technology Areas

  • AI & ML
  • AI & ML - DoD AI Strategy