On the Relationship Between Strong and Weak Problem Solvers

  • George W. Ernst
  • Ranan B. Banerji

Abstract

The basic thesis put forth in this article is that a problem solver is essentially an interpreter that carries out computations implicit in the problem formulation. A good problem formulation gives rise to what is conventionally called a strong problem solver; poor formulations correspond to weak problem solvers. Knowledge-based systems are discussed in the context of this thesis. We also make observations about the relationship between search strategy and problem formulation.
Published
1983-06-15
Section
Articles