Themes in automatic problem solving
R. Fikes, Peter E. Hart, Benny Raphael · Computer · 1973
A major theme in artificial intelligence research has been the quest for methods for common-sense reasoning about actions and their effects. Such methods, when implemented as computer programs, are called automatic problem solvers, and are the subject of this papers.