Constructive Solving of Raven's IQ Tests with Analogical Proportions
Analogical mapping by constraint satisfaction