|
In
contrast, functional predicates are assumed to be perceptual
predicates that have been developed as a result of understanding
and solving a particular problem - they are problem dependent.
For example, the functional predicate in the third row is ABOVE(X,Y).
This predicate is defined as true if 'a disk X that is
on the peg of disk Y and X is a larger disk than disk Y.
The
functional predicate in row 4, FREE(A,X), has a relatively complex
definition involving a universal quantifier. It is true 'if for
all disk Y, Y is on A implies Y is larger than disk X.'
Now
one could define hundreds of predicates over the problem solving
context. For example, one could define a predicate that is true
'if the first and third pegs are both empty or if one peg holds
an even number of disks at the same time as the other holds an
odd number of disks and the middle peg is empty.' This appears
to be a totally arbitrary predicate. However, one could probably
imagine some problem solving context where it could have functional
significance.
There
is a sense in which the problem solver sees the situation
in terms of the problem. This is an important observation that
is often overlooked. Recall the observations that we made in
discussing the nature of human chess expertise. Again, the experts
"see" the chess board differently. Similarly, there
is evidence that a radiologist "sees" the radiological
images differently than you and I.
|

Adapted from Simon,
Herbert A. "The functional equivalence of problem solving
skills." Cognitive Psychology, 1975, 7, 268-288. |