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:


DOI: https://doi.org/10.1609/aimag.v4i2.394

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