Structured Planning and Debugging: A Linguistic Theory of Design

A unified theory of planning an 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 [Woods 1970] is a s...

Full description

Bibliographic Details
Main Authors: Goldstein, Ira P., Miller, Mark L.
Language:en_US
Published: 2004
Online Access:http://hdl.handle.net/1721.1/6262