Transfer of problem-solving strategy using Covlan

Psychological evidence suggests that humans use visual knowledge and reasoning in solving complex problems. We present Covlan, a visual knowledge representation language for representing visual knowledge and supporting visual reasoning. We describe Galatea, a computer program that uses Covlan for analogical transfer of problem-solving procedures from known analogs to new problems. We present the use of Galatea to model analogical visual problem solving by four human experimental participants, and describe one of the four cases in detail. The Galatea model of human problem solving suggests that problem-solving procedures can be effectively represented with Covlan.