Separation of logical and calculation capabilities in a problem solving task
Résumé
The distinction between declarative and procedural knowledge is a well-accepted one. However, few models offer a consistent implementation of this distinction. We present such a system, based on a strict separation of logical and calculation capabilities, designed to model aspects of human problem solving behaviour. We have tested our approach on the Tower of Hanoi task by comparing the results provided by our model with the performance of novice subjects. We also compared these results with the performance of a few other computational models. These comparisons are quite promising. Our model has been designed to be simple and psychologically plausible. Its current implementation is still basic. We expect further improvement from the joint introduction of two separate learning abilities, a logical one and a procedural one.