Structured Planning and Debugging

The SPADE theory uses linguistic formalisms to model the program planning and debugging processes. The theory begins with a taxonomy of basic planning concepts covering strategies for identification, decomposition and reformulation. A handle is provided for recognizing interactions between goals and deriving a lincnr solution. A complementary taxonomy of rational bugs and associated repair techniques is also provided. SPA OK. introduces a new data structure to facilitate debugging -- the derivation tree of the program. SPADE generalizes recent work in Artificial Intelligence by Suasman and Sacerdoti on automatic programming, and extends The theory of program design developed by the Structured Programming movement. It provides a more structured information processing model of human problem solving than the production systems of Newell and Simon, and articulates the type of problem solving curriculum advocated by Papert's Logo Project.

[1]  G. Pólya,et al.  How to Solve It , 1945 .

[2]  William A. Woods,et al.  Computational Linguistics Transition Network Grammars for Natural Language Analysis , 2022 .

[3]  Martin Kay,et al.  The MIND System , 1970 .

[4]  Allen Newell,et al.  Preliminary Results with a System for Automatic Protocol Analysis , 1972 .

[5]  Edsger W. Dijkstra,et al.  Structured programming , 1972, A.P.I.C. Studies in data processing.

[6]  Seymour Papert,et al.  Teaching Children Thinking , 1972 .

[7]  Gerald J. Sussman,et al.  A Computational Model of Skill Acquisition , 1973 .

[8]  R. Brooks.  A Model Of Human Cognitive Behavior in Writing Code For Computer Programs , 1975, IJCAI.

[9]  Ann E. Robinson,et al.  System Integration and Control in a Speech Understanding System , 1975, CL.

[10]  Earl D. Sacerdoti,et al.  The Nonlinear Nature of Plans , 1975, IJCAI.

[11]  Gerald Jay Sussman,et al.  A Computer Model of Skill Acquisition , 1975 .

[12]  Terry Winograd,et al.  FRAME REPRESENTATIONS AND THE DECLARATIVE/PROCEDURAL CONTROVERSY , 1975 .

[13]  Roger C. Schank,et al.  Using Knowledge to Understand , 1975, TINLAP.

[14]  Victor Lesser,et al.  Organization of the Hearsay II speech understanding system , 1975 .

[15]  Mark L. Miller,et al.  Parsing Protocols Using Problem Solving Grammars , 1976 .

[16]  Mark L. Miller,et al.  Structured Planning and Debugging: A Linguistic Theory of Design. AI Memo 387. , 1976 .

[17]  Mark L. Miller,et al.  PAZATN: A Linguistic Approach to Automatic Analysis of Elementary Programming Protocols. AI Memo 388. , 1976 .

[18]  Allen Newell,et al.  PAS-II: An Interactive Task-Free Version of an Automatic Protocol Analysis System , 1973, IEEE Transactions on Computers.

[19]  Mark L. Miller,et al.  AI Based Personal Learning Environments: Directions for Long Term Research. AI Memo 384. , 1976 .

[20]  Mark L. Miller,et al.  SPADE: A Grammar Based Editor for Planning and Debugging Programs. AI Memo 386. , 1976 .

[21]  Robert A. Kowalski,et al.  The Semantics of Predicate Logic as a Programming Language , 1976, JACM.

[22]  Herbert A. Simon,et al.  Problem Solving in Semantically Rich Domains: An Example from Engineering Thermodynamics , 1977, Cogn. Sci..