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.


Expert System Classical Logic Production Rule Theorem Prover Inference Method 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


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