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.

Full Text:

PDF


DOI: http://dx.doi.org/10.1609/aimag.v4i2.394

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