Open AccessON THE RELATIONSHIP BETWEEN STRONG AND WEAK PROBLEM SOLVERS
Author(s) -
Ernst George W.,
Banerji Ranan B.
Publication year - 1983
Publication title -
ai magazine
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.597
H-Index - 79
eISSN - 2371-9621
pISSN - 0738-4602
DOI - 10.1609/aimag.v4i2.394
Subject(s) - problem solver , solver , context (archaeology) , interpreter , computation , computer science , mathematical optimization , boolean satisfiability problem , theoretical computer science , mathematics , algebra over a field , calculus (dental) , algorithm , programming language , pure mathematics , medicine , paleontology , dentistry , biology
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 some observations about the relationship between search strategy and problem formulation