Formal Logic For Expert Systems

  • Hugh McCabe
Conference paper
Part of the Workshops in Computing book series (WORKSHOPS COMP.)


The machinery of an expert system essentially consists of a representation language and an inference method (Luger and Stubblefield 1989). The representation language commonly used is that of production rules, simple if-then constructs which specify the conditions under which a conclusion can be said to follow. The inference method links sequences of these rules together by means of backward or forward chaining to extrapolate conclusions from the knowledge base.


Assure Hunt Glean 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Konolige, K. (1986). A Deduction Model of Belief. London: Pitman.MATHGoogle Scholar
  2. Luger, G.F., & Stubblefield, W.A. (1989). Artificial Intelligence and the Design of Expert Systems. Redwood City, CA: Benjamin/Cummings.MATHGoogle Scholar
  3. Manthey, R., & Bry, F. (1988). SATCHMO: a Theorem Prover in Prolog. Conference on Automated Deduction 1988.Google Scholar
  4. Ramsay, A.M., (1991). Generating Relevant Models. Journal of Automated Reasoning 7.Google Scholar

Copyright information

© British Computer Society 1993

Authors and Affiliations

  • Hugh McCabe
    • 1
  1. 1.Department of Computer ScienceUniversity College DublinDublinUK

Personalised recommendations