Dependency-Directed Backtracking in Non-Deterministic Scheme
DownloadAITR-956.pdf (3.687Mb)
Metadata
Show full item recordAbstract
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.
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.
Date issued
1988-08Publisher
MIT Artificial Intelligence Laboratory
Series/Report no.
Technical Report;No. 956;MIT Artificial Intelligence Laboratory Working Papers;WP-956;