Search
Now showing items 1-1 of 1
Naive Problem Solving and Naive Mathematics
(MIT Artificial Intelligence Laboratory, 1983-06)
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 ...