PLANNER

Planner was a programming language designed by Carl Hewitt at MIT first published in 1969. Hewitt (then a student of Marvin Minsky, Seymour Papert and Mike Paterson) championed the "procedural embedding of knowledge" in the form of high level procedural plans in contrast to the logical approach pioneered by John McCarthy who advocated expressing knowledge declaratively in mathematical logic for Artificial Intelligence. This raised a fundamental question: "What is the difference between the procedural and logical approaches?" It took several years to provide an answer to this question (see below).

Planner was the first language to feature procedural plans that were called by pattern-directed invocation using goals and assertions. A subset called Micro Planner was implemented by Gerry Sussman, Eugene Charniak and Terry Winograd and was used in Winograd's natural-language understanding program SHRDLU. This generated a great deal of excitement in the field of Artificial Intelligence. It also generated controversy because it proposed an alternative to the logic approach that had been one of the mainstay paradigms for AI.

Bruce Anderson at Edinburgh University implemented a subset of Planner and Julian Davies at Edinburgh essentially the whole language. At SRI, Jeff Rulifson Jan Derksen, and Richard Waldinger developed QA4 which built on the constructs in Planner and introduced a context mechanism to provide modularity for expressions in the data base. Bob Kowalski, who had been one of the principal members of the logic paradigm community, then adapted in collaboration with Alain Colmerauer some theorem proving ideas into a form similar to a subset of Micro Planner called Prolog. Indeed, Hewitt considers Prolog to be largely a reinvention of a subset of Micro Planner, e.g., Micro Planner (unlike Prolog) had the capability to use pattern-directed invocation of procedural plans from assertions as well as goals. But compare Kowalski's paper on the early history of logic programming. Using Prolog Kowalski hoped to save the logic paradigm as a viable approach to Artificial Intelligence.

In the meantime, Hewitt and his students at MIT had come to realize the limitations of the Planner approach and developed the Actor model of concurrent computation as a supplement. Kowalski's thesis was that that computation could be subsumed by deduction and quoted with approval "Computation is controlled deduction." which he attributed to Pat Hayes. Contrary to Kowalski and Hayes, Hewitt's thesis was that logical deduction was incapable of carrying out concurrent computation in open systems. However, his thesis is still controversial and the subject of current research. Note that the limitations of logic do not mean that logic is not an extremely valuable tool. Much later in 1981, Bill Kornfeld and Carl Hewitt contributed to pattern-directed invocation languages with the development of the Scientific Community Metaphor, which made strong use of logic within scientific theories.

The Actor model provided an answer to the question of the relationship between the procedural and logical approaches discussed above: It is a difference of semantics. The logical approach relies on mathematical model theory for its semantics whereas the procedural approach relies on the semantics of the Actor model. However, this answer is still controversial and further work remains to be done on characterizing the relationship between model theory and the Actor model.

Reference

See also: PLANNER, 1969, Actor model, Alain Colmerauer, Artificial Intelligence, Carl Hewitt, Computer language, Edinburgh University, Gerald Jay Sussman