MRS/NEOMYCIN: Representing Metacontrol in Predicate Calculus

This paper describes techniques for representing control knowledge in preaicate calculus. A hybrid system is described in which metarules for diagnostic problem solving and their interpreter (both supplied by the NEOMYCIN program) are expressed in a form of predicate calculus (supplied by MRS). Procedural attachment is used to access and execute the untranslated domain knowledge. A simple deliberation/action loop manages the system at the highest level. There are three metalevels of reasoning.