Expert systems as overlapping logical theories

A model-theoretic characterization of the components of logic-based expert systems which employ pure metalevel inference regimes is discussed. The roles of the basic components of such systems in the underlying first-order theories are specified. This includes the domain-specific rules, metalevel inference engine, and intrinsic interpreter. Fragments of an actual expert system are used to motivate and illustrate the analysis.<>