This section reviews the basic propose-and-revise problem-solving strategy, and then briefly presents how SALT guides knowledge acquisition using propose-and-revise in a role-limiting approach.