A LIKELIHOOD CONTROL SYSTEM FOR USE WITH FORMAL PLANNING MODELS