Structured Planning and Debugging: A Linguistic Approach to Problem Solving
Name
AI_WP_125.pdf
Description
Main article
Size
2.26 MB
Format
Adobe PDF
Checksum (MD5)
6399c4e7f43f381244ce7bdf6f3aa3e9
Author(s)
Miller, Mark L.
Goldstein, Ira P.
Date Issued
June 8, 1976
Publisher
MIT Artificial Intelligence Laboratory
Series/Report no.
Logo Working Paper, No. 55;
MIT Artificial Intelligence Laboratory Working Papers, WP-125;
Abstract
A structured approach to planning and debugging is obtained by using an Augmented Transition Network (ATN) to model the problem solving process. This proves to be a perspicuous representation for planning concepts including techniques of identification, decomposition and reformulation. It also provides an elegant theory of debugging, in which bugs are identified as errors in transitions between states in the ATN. Examples from the Blocks World and elementary graphics programming problems are used to illustrate the theory.
Description
This report describes research done at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. It was supported in part by the National Science Foundation under grant C40708X and in part by the Advanced Research Projects Agency of the Department of Defense under Office of Naval Research contract N00014-75-C-0643.
The views and conclusions contained in this document are those of the authors and should not be interpreted as necessarily representing the official policies, either expressed or implied, of the National Science Foundation or the United States Government.
Persistent DSpace Link
