A knowledge based system for large-scale problem solving