AMORD: A Deductive Procedure System
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 Resea...
| Main Authors: | , , , , |
|---|---|
| Format: | Working Paper |
| Language: | en_US |
| Published: |
MIT Artificial Intelligence Laboratory
2008
|
| Online Access: | http://hdl.handle.net/1721.1/41983 |
| _version_ | 1826216646436454400 |
|---|---|
| author | Sussman, Gerald Jay Steele, Guy L. Jr. Rich, Charles Doyle, Jon de Kleer, Johan |
| author_facet | Sussman, Gerald Jay Steele, Guy L. Jr. Rich, Charles Doyle, Jon de Kleer, Johan |
| author_sort | Sussman, Gerald Jay |
| collection | MIT |
| 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. |
| first_indexed | 2024-09-23T16:50:28Z |
| format | Working Paper |
| id | mit-1721.1/41983 |
| institution | Massachusetts Institute of Technology |
| language | en_US |
| last_indexed | 2024-09-23T16:50:28Z |
| publishDate | 2008 |
| publisher | MIT Artificial Intelligence Laboratory |
| record_format | dspace |
| spelling | mit-1721.1/419832019-04-11T03:39:30Z AMORD: A Deductive Procedure System Sussman, Gerald Jay Steele, Guy L. Jr. Rich, Charles Doyle, Jon de Kleer, Johan 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. 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. MIT Artificial Intelligence Laboratory Department of Defense Advanced Research Projects Agency 2008-08-26T15:36:55Z 2008-08-26T15:36:55Z 1977-08 Working Paper http://hdl.handle.net/1721.1/41983 en_US MIT Artificial Intelligence Laboratory Working Papers, WP-151; application/pdf MIT Artificial Intelligence Laboratory |
| spellingShingle | Sussman, Gerald Jay Steele, Guy L. Jr. Rich, Charles Doyle, Jon de Kleer, Johan 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/41983 |
| work_keys_str_mv | AT sussmangeraldjay amordadeductiveproceduresystem AT steeleguyljr amordadeductiveproceduresystem AT richcharles amordadeductiveproceduresystem AT doylejon amordadeductiveproceduresystem AT dekleerjohan amordadeductiveproceduresystem |