• DocumentCode
    1593164
  • Title

    Expert systems as overlapping logical theories

  • Author

    Roach, David ; Berghel, Hal

  • Author_Institution
    Arkansas Univ., Little Rock, AR, USA
  • fYear
    1990
  • Firstpage
    164
  • Lastpage
    167
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Applied Computing, 1990., Proceedings of the 1990 Symposium on
  • Conference_Location
    Fayetteville, AR
  • Print_ISBN
    0-8186-2031-5
  • Type

    conf

  • DOI
    10.1109/SOAC.1990.82160
  • Filename
    82160
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1593164