AMORD: A Deductive Procedure System
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 to serve as a reference manual and as an implementation tutorial. We wish to illustrate: (1)...
| Main Authors: | , , , , |
|---|---|
| Language: | en_US |
| Published: |
2004
|
| Online Access: | http://hdl.handle.net/1721.1/5746 |
| _version_ | 1826202139626569728 |
|---|---|
| author | Kleer, Johan de Doyle, Jon Rich, Charles Steele, Guy L., Jr. Sussman, Gerald Jay |
| author_facet | Kleer, Johan de Doyle, Jon Rich, Charles Steele, Guy L., Jr. Sussman, Gerald Jay |
| author_sort | Kleer, Johan de |
| collection | MIT |
| description | 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 to serve as a reference manual and as an implementation 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 complete annotated interpreter for AMORD, written in MacLISP. |
| first_indexed | 2024-09-23T12:02:29Z |
| id | mit-1721.1/5746 |
| institution | Massachusetts Institute of Technology |
| language | en_US |
| last_indexed | 2024-09-23T12:02:29Z |
| publishDate | 2004 |
| record_format | dspace |
| spelling | mit-1721.1/57462019-04-11T04:54:24Z AMORD: A Deductive Procedure System Kleer, Johan de Doyle, Jon Rich, Charles Steele, Guy L., Jr. Sussman, Gerald Jay 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 to serve as a reference manual and as an implementation 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 complete annotated interpreter for AMORD, written in MacLISP. 2004-10-01T20:33:45Z 2004-10-01T20:33:45Z 1978-01-01 AIM-435 http://hdl.handle.net/1721.1/5746 en_US AIM-435 47 p. 12779678 bytes 8929690 bytes application/postscript application/pdf application/postscript application/pdf |
| spellingShingle | Kleer, Johan de Doyle, Jon Rich, Charles Steele, Guy L., Jr. Sussman, Gerald Jay AMORD: A Deductive Procedure System |
| title | AMORD: A Deductive Procedure System |
| title_full | AMORD: A Deductive Procedure System |
| title_fullStr | AMORD: A Deductive Procedure System |
| title_full_unstemmed | AMORD: A Deductive Procedure System |
| title_short | AMORD: A Deductive Procedure System |
| title_sort | amord a deductive procedure system |
| url | http://hdl.handle.net/1721.1/5746 |
| work_keys_str_mv | AT kleerjohande amordadeductiveproceduresystem AT doylejon amordadeductiveproceduresystem AT richcharles amordadeductiveproceduresystem AT steeleguyljr amordadeductiveproceduresystem AT sussmangeraldjay amordadeductiveproceduresystem |