Title :
Expert systems as overlapping logical theories
Author :
Roach, David ; Berghel, Hal
Author_Institution :
Arkansas Univ., Little Rock, AR, USA
Abstract :
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
Keywords :
expert systems; inference mechanisms; domain-specific rules; first-order theories; intrinsic interpreter; logic-based expert systems; logical theories; metalevel inference regimes; model-theoretic characterization; Control systems; Engines; Expert systems; Formal specifications; Logic; Toxicology;
Conference_Titel :
Applied Computing, 1990., Proceedings of the 1990 Symposium on
Conference_Location :
Fayetteville, AR
Print_ISBN :
0-8186-2031-5
DOI :
10.1109/SOAC.1990.82160
