of that schema causes fulfillment of the goal. This requires the introduction of Causallmpli- cationLinks, as defined in PLN. In the simplest case, a CausallmplicationLink is simply a PredictiveImplicationLink. One relatively simple implementation of the idea is as follows. Suppose we have a Goal Node G, whose satisf