Man-computer problem solving