Naive Problem Solving and Naive Mathematics (opens in new tab)

Naive Problem Solving and Naive Mathematics Chapman, David AI problem solvers have almost always been given a complete and correct axiomatization of their problem domain and of the operators available to change it. Here I discuss a paradigm for problem solving in which the problem solver initially is given only a list of available operators, with no indication as to the structure of the world or the behavior of the operators. Thus, to begin it is "blind" and can only stagger about in the worl...