Naive Problem Solving and Naive Mathematics
Name
AI_WP_249.pdf
Description
Main article
Size
1.25 MB
Format
Adobe PDF
Checksum (MD5)
5c95761cbb2d71fcdf686ae645a9ad4e
Author(s)
Chapman, David
Date Issued
June 1983
Publisher
MIT Artificial Intelligence Laboratory
Series/Report no.
MIT Artificial Intelligence Laboratory Working Papers, WP-249
Abstract
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 world tripping over things until it begins to understand what is going on. Eventually it will learn enough to solve problems in the world as well as if it the world had been explained to it initially. I call this paradigm naive problem solving. The difficulty of adequately formalizing all but the most constrained domains makes naive problem solving desirable.
I have implemented a naive problem solver that learns to stack blocks and to use an elevator. It learns by finding instances of "naive mathematical cliches" which are common mental models that are likely to be useful in any domain.
Subjects
naive problem solving
naice mathematics
problem solving: planning
problem solving: semantic cliches
Persistent DSpace Link
