AMORD: A Deductive Procedure System
Name
AI_WP_151.pdf
Description
Main article
Size
1.56 MB
Format
Adobe PDF
Checksum (MD5)
28a78d36fe2c7935d701e46966f43a78
Author(s)
Sussman, Gerald Jay
Steele, Guy L. Jr.
Rich, Charles
Doyle, Jon
de Kleer, Johan
Date Issued
August 1977
Publisher
MIT Artificial Intelligence Laboratory
Series/Report no.
MIT Artificial Intelligence Laboratory Working Papers, WP-151;
Abstract
We have implemented an interpreter for a rule-based system, AMORD, based on a non-chronological control structure and a system of automatically maintained data-dependencies. The purpose of this paper is tutorial. We wish to illustrate:
(1) The discipline of explicit control and dependencies,
(2) How to use AMORD, and
(3) One way to implement the mechanisms provided by AMORD.
This paper is organized into sections. The first section is a short "reference manual" describing the major features of AMORD. Next, we present some examples which illustrate the style of expression encouraged by AMORD. This style makes control information explicit in a rule-manipulable form, and depends on an understanding of the use of non-chronological justifications for program beliefs as a means for determining the current set of beliefs. The third section is a brief description of the Truth Maintenance System employed by AMORD for maintaining these justifications and program beliefs. The fourth section presents a completely annotated interpreter for AMORD, written in SCHEME.
Description
This research was conducted at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. Support for the Laboratory's artificial intelligence research is provided in part by the Advanced Research Projects Agency of the Department of Defense under Office of Naval Research contract number N00014-75-C-0643.
Persistent DSpace Link
