ining the conjuncts contained in the expression C, which embody the basic logic of forward-chaining rather than backward-chaining inference. 36.2.1 The Need for Adaptive Inference Control It is clear that in humans, inference control is all about context. We use different inference strategies in different contexts, and learning these