On the Relationship Between Strong and Weak Problem Solvers

George W. Ernst, Ranan B. Banerji


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.

Full Text:


Copyright © 2016, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved.