Dependency-Directed Backtracking in Non-Deterministic Scheme
This is a greatly revised version of a thesis submitted to the Massachusetts Institute of Technology Department of Electrical Engineering and Computer Science on January 2, 1987, in partial fulfillment of the requirements for the degree of Master of Science.
| Main Author: | |
|---|---|
| Format: | Working Paper |
| Language: | en_US |
| Published: |
MIT Artificial Intelligence Laboratory
2009
|
| Online Access: | http://hdl.handle.net/1721.1/46712 |
| _version_ | 1826197521581473792 |
|---|---|
| author | Zabih, Ramin |
| author_facet | Zabih, Ramin |
| author_sort | Zabih, Ramin |
| collection | MIT |
| description | This is a greatly revised version of a thesis submitted to the Massachusetts Institute of Technology Department of Electrical Engineering and Computer Science on January 2, 1987, in partial fulfillment of the requirements for the degree of Master of Science. |
| first_indexed | 2024-09-23T10:48:56Z |
| format | Working Paper |
| id | mit-1721.1/46712 |
| institution | Massachusetts Institute of Technology |
| language | en_US |
| last_indexed | 2024-09-23T10:48:56Z |
| publishDate | 2009 |
| publisher | MIT Artificial Intelligence Laboratory |
| record_format | dspace |
| spelling | mit-1721.1/467122019-04-11T00:37:04Z Dependency-Directed Backtracking in Non-Deterministic Scheme Zabih, Ramin This is a greatly revised version of a thesis submitted to the Massachusetts Institute of Technology Department of Electrical Engineering and Computer Science on January 2, 1987, in partial fulfillment of the requirements for the degree of Master of Science. Non-deterministic LISP can be used to describe a search problem without specifying the method used to solve the problem. We show that SCHEMER, a non-deterministic dialect of SCHEME, can support dependency-directed backtracking as well as chronological backtracking. Full code for a working SCHEMER interpreter that provides dependency-directed backtracking is included. MIT Artificial Intelligence Laboratory 2009-09-14T03:49:15Z 2009-09-14T03:49:15Z 1988-08 Working Paper http://hdl.handle.net/1721.1/46712 en_US Technical Report;No. 956; MIT Artificial Intelligence Laboratory Working Papers;WP-956; application/pdf MIT Artificial Intelligence Laboratory |
| spellingShingle | Zabih, Ramin Dependency-Directed Backtracking in Non-Deterministic Scheme |
| title | Dependency-Directed Backtracking in Non-Deterministic Scheme |
| title_full | Dependency-Directed Backtracking in Non-Deterministic Scheme |
| title_fullStr | Dependency-Directed Backtracking in Non-Deterministic Scheme |
| title_full_unstemmed | Dependency-Directed Backtracking in Non-Deterministic Scheme |
| title_short | Dependency-Directed Backtracking in Non-Deterministic Scheme |
| title_sort | dependency directed backtracking in non deterministic scheme |
| url | http://hdl.handle.net/1721.1/46712 |
| work_keys_str_mv | AT zabihramin dependencydirectedbacktrackinginnondeterministicscheme |