Extensions to the Rule-Based Formalism for a Monitoring Task Lawrence M. Fagan, John C. Kunz, Edward A. Feigenbaum, and John J. Osborn