crete stage of development. The “concreteness” comes from the fact that inference control is guided by analogies to prior similar situations. 11.4.3 The Formal Stage In the formal stage, as shown in Figure 11.7, an agent should be able to carry out arbitrarily complex inferences (constrained only by computational