Structured Planning and Debugging. A Linguistic Theory of Design,
MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB
Pagination or Media Count:
A unified theory of planning and debugging is explored by designing a problem solving program called PATN. PATN uses an augmented transition network ATN to represent a broad range of planning techniques, including identification, decomposition, and reformulation. The ATN is a simple yet powerful formalism which has been effectively utilized in computational linguistics. PATNs plans may manifest rational bugs, which result from heuristically justifiable but incorrect arc transitions in the planning ATN. This aspect of the theory is developed by designing a complementary debugging module called DAPR, which would diagnose and repair the errors in PATNs annotated plans. The investigation is incomplete PATN has not yet been implemented. But sufficient detail is presented to provide a theoretical framework for reconceptualizing Sussmans HACKER research. Since a detailed study of planning and debugging techniques is a prerequisite for complete fulfillment of Dijkstras objectives of program reliability, readability, portability, and so on, the theory is called, Structured Planning and Debugging, to emphasize its potential role in this enterprise.
- Numerical Mathematics
- Computer Programming and Software
- Computer Systems